Swift中带默认参数初始化器为何无法满足协议一致性？

示例代码 #

protocol EmptyInitializable {
    init()
}

@propertyWrapper
struct PropertyWrapper: EmptyInitializable {
    let wrappedValue: Int
    
    init(_ wrappedValue: Int = 0) {
        self.wrappedValue = wrappedValue
    }
}

// 此扩展看起来冗余
extension PropertyWrapper {
    public init() {
        wrappedValue = 0
    }
}

技术疑问 #

上述代码中，PropertyWrapper结构体已实现带有默认参数的初始化器init(_ wrappedValue: Int = 0)，且声明遵循EmptyInitializable协议，为何仍需添加底部的冗余扩展来实现无参初始化器init()？编译器为何无法自动识别该结构体已满足协议的要求？另外，我记得类似场景在之前的Swift版本中是可以正常工作的。

解答 #

1. 初始化器签名的严格匹配要求
   Swift对协议要求的初始化器有严格的签名匹配规则：带默认参数的init(_ wrappedValue: Int = 0)本质上还是一个带单个参数的初始化器，只是参数有默认值，它的签名和协议要求的无参init()并不完全一致。编译器不会把带默认参数的初始化器自动等同于无参初始化器，因此不会认为你已经满足了协议的要求。

2. 属性包装器的特殊处理逻辑
   对于@propertyWrapper标记的类型，Swift编译器有额外的处理逻辑，会进一步限制初始化器的推断行为。即使普通结构体偶尔有宽松推断的可能，属性包装器也必须显式实现协议要求的无参初始化器，才能通过一致性检查。

3. 版本差异的原因
   你记忆中的旧版本（大致Swift 5.0及更早）确实存在对初始化器协议一致性的宽松推断——当时编译器会把带默认参数的初始化器视为满足无参初始化器的协议要求。但后续Swift版本（尤其是引入属性包装器后）为了避免歧义、提升类型系统的严谨性，收紧了这一规则，要求初始化器的签名必须完全匹配协议的要求。

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