协议扩展返回默认值遇报错,寻求合理解决方案
问题解决思路
错误原因分析
你遇到的Missing argument for parameter 'from' in call错误,根源在于协议继承了Codable:编译器不会为遵循Codable的结构体自动生成无参初始化器,当你调用Self()时,编译器会尝试匹配Codable要求的init(from: Decoder)初始化器,但这个方法需要传入Decoder参数,因此报错。
而如果在扩展中写无参init(),若不小心写成self.init()就会触发无限递归——因为扩展的init()会调用自身,形成循环。
可行解决方案
方案1:直接使用成员初始化器创建默认实例
由于你的协议已经定义了所有存储属性(text、num、value),遵循协议的结构体必然会被编译器自动生成对应的成员初始化器init(text:num:value:)。直接用这个初始化器传入默认值即可,无需依赖无参初始化器:
public protocol MyFunStructProtocol: Codable { associatedtype T var text: String { get set } var num: Int { get set } var value: T { get set } static var fallback: T { get } } extension MyFunStructProtocol { static func defaultValue() -> Self { // 直接调用自动生成的成员初始化器 return Self(text: "fallback", num: 55, value: Self.fallback) } }
方案2:在协议中添加无参初始化器要求
如果更倾向于使用无参初始化器的方式,可以在协议中显式要求init(),这样遵循协议的结构体要么自己实现,要么在所有存储属性都有默认值的情况下由编译器自动生成:
public protocol MyFunStructProtocol: Codable { associatedtype T var text: String { get set } var num: Int { get set } var value: T { get set } static var fallback: T { get } init() // 添加无参初始化器要求 } extension MyFunStructProtocol { static func defaultValue() -> Self { var instance = Self() instance.text = "fallback" instance.num = 55 instance.value = Self.fallback return instance } } // 示例结构体实现(编译器自动生成init(),因为所有属性有默认值) struct MyStruct: MyFunStructProtocol { typealias T = Bool var text: String = "" var num: Int = 0 var value: Bool = false static var fallback: Bool { false } }
注意:如果结构体的存储属性没有默认值,你需要手动实现init()来完成所有属性的初始化,避免编译错误。
内容的提问来源于stack exchange,提问作者mergesort
相关产品推荐
相关产品推荐

