请考虑以下代码: protocol JSONParserType { associatedtype Element}// MARK: - Entitiesstruct Item {}// MARK: - Parsersstruct OuterParserT: JSONParserType where T.Element == Item: JSONParserType { typealias Element = Item let innerPar
protocol JSONParserType { associatedtype Element } // MARK: - Entities struct Item {} // MARK: - Parsers struct OuterParser<T: JSONParserType where T.Element == Item>: JSONParserType { typealias Element = Item let innerParser: T init(innerParser: T = InnerParser()) { self.innerParser = innerParser } } struct InnerParser: JSONParserType { typealias Element = Item }
OuterParser有一个子解析器,应该被约束到一个特定的类型.不幸的是,在初始化程序中(或在属性定义本身中)提供默认值会导致编译器抛出“类型为’InnerParser’的默认参数值’无法转换为类型’T’”.
如果我删除默认值赋值并只是实例化显式提供InnerParser的OuterParser,一切都很好.
let outerParser = OuterParser(innerParser: InnerParser())
我的问题是,提供实际满足约束的默认值的方法不起作用的原因是什么.
问题是T的实际类型不是由类定义的 – 它是由使用该类的代码定义的.因此,在您在类中执行任何操作(在实例或静态级别)之前,将对其进行定义.因此,您无法将InnerParser分配给T,因为T已经被该点定义为给定类型,这可能不是InnerParser.例如,让我们考虑你有另一个解析器结构:
struct AnotherParser: JSONParserType { typealias Element = Item }
我们假设你当前的代码编译.现在考虑一下当你这样做时会发生什么:
let parser = OuterParser<AnotherParser>()
您已将泛型类型定义为AnotherParser – 但初始化程序将尝试将InnerParser分配给您的属性(现在类型为AnotherParser).这些类型不匹配,因此无法工作.
遵循相同的逻辑,此实现也将不起作用:
struct OuterParser<T: JSONParserType where T.Element == Item>: JSONParserType { typealias Element = Item let innerParser: T init() { self.innerParser = InnerParser() } init(innerParser: T) { self.innerParser = innerParser } }
因为不能保证泛型类型T与InnerParser的类型相同.当然,你可以强制转发为T – 但如果类型不兼容,这只会让你的代码崩溃.
不幸的是,这个问题没有真正干净的解决方案.我认为最好的选择可能是创建两个工厂方法来创建OuterParser实例.
enum Parser { static func createParser() -> OuterParser<InnerParser> { return OuterParser(innerParser:InnerParser()) } static func createParser<T>(innerParser:T) -> OuterParser<T> { return OuterParser(innerParser:innerParser) } }
let innerParser = Parser.createParser() // OuterParser<InnerParser> let anotherParser = Parser.createParser(AnotherParser()) // OuterParser<AnotherParser>
我们在这里使用无壳枚举来避免使用额外函数污染全局命名空间.
虽然这不是很快,但出于这个原因,我也建议我们重新思考你如何定义解析器的逻辑.