Swift协议扩展中required初始化器报错的解决方案咨询

问题背景 #

我正在为应用中的一批对象添加功能，为确保每个类都符合规范，创建了定义该功能要求的协议：

protocol Shrinkable {
    var name: String { get }
    func makeEnlargedVersion() -> EnlargedObject
}

该协议运行正常，但我想在其中添加接收EnlargedObject并创建新对象的init方法。为了代码整洁，我希望将协议一致性放在扩展中，修改后的协议如下：

protocol Shrinkable {
    var name: String { get }
    func makeEnlargedVersion() -> EnlargedObject
    init(enlargedObject: EnlargedObject)
}

我的实现代码如下：

class WaterBottle {
    var size: Int
}

extension WaterBottle: Shrinkable {
   var name: String {
        return "Spring Water"
   }
   
    required init(enlargedObject: EnlargedObject) {
        
    }
}

此时出现错误：'required' initializer must be declared directly in class 'TestObject' (not in an extension)

我希望所有协议一致性代码都能放在扩展中，请问有解决办法吗？

解决办法 #

Swift 语法明确要求，required 初始化器必须直接定义在类的主定义体内，不能放在扩展中。不过可以通过以下几种方式平衡代码整洁性和语法要求：

1. 类主定义声明空实现，扩展中写具体逻辑 #

在类的主代码里只声明required初始化器的签名，把具体实现放在协议扩展中，这样大部分协议相关代码仍然集中在扩展里：

class WaterBottle {
    var size: Int
    
    // 仅在类主定义中声明required初始化器，满足语法要求
    required init(enlargedObject: EnlargedObject) {
        self.size = 0 // 必须给存储属性赋初始值，避免编译报错
    }
}

extension WaterBottle: Shrinkable {
    var name: String {
        return "Spring Water"
    }
    
    func makeEnlargedVersion() -> EnlargedObject {
        // 补充makeEnlargedVersion的业务逻辑
        return EnlargedObject()
    }
    
    // 在扩展中实现初始化器的具体逻辑
    required init(enlargedObject: EnlargedObject) {
        self.size = enlargedObject.correspondingSize // 示例：从EnlargedObject获取对应尺寸
    }
}

2. 无继承场景下移除required修饰符 #

如果确定WaterBottle不会被其他类继承，可以直接去掉required关键字，这样就能在扩展中实现协议要求的初始化器：

class WaterBottle {
    var size: Int
}

extension WaterBottle: Shrinkable {
    var name: String {
        return "Spring Water"
    }
    
    func makeEnlargedVersion() -> EnlargedObject {
        return EnlargedObject()
    }
    
    init(enlargedObject: EnlargedObject) {
        self.size = enlargedObject.correspondingSize
    }
}

注意：如果后续需要继承该类，子类必须手动实现这个初始化器，否则会触发编译错误。

3. 协议扩展提供默认实现（限存储属性有默认值的场景） #

如果init(enlargedObject:)的逻辑可以通用，且类的所有存储属性都有默认值，可以在协议扩展中提供默认实现，这样类无需自己实现该初始化器：

protocol Shrinkable {
    var name: String { get }
    func makeEnlargedVersion() -> EnlargedObject
    init(enlargedObject: EnlargedObject)
}

extension Shrinkable {
    init(enlargedObject: EnlargedObject) {
        self.init() // 依赖类的默认初始化器
    }
}

class WaterBottle {
    var size: Int = 0 // 给存储属性设置默认值，确保默认初始化器可用
}

extension WaterBottle: Shrinkable {
    var name: String {
        return "Spring Water"
    }
    
    func makeEnlargedVersion() -> EnlargedObject {
        return EnlargedObject()
    }
}

这种方式的局限性是默认实现只能调用类的默认初始化器，无法针对每个类做定制化的初始化逻辑。

内容的提问来源于stack exchange，提问作者Will