请考虑以下代码:
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>
我们在这里使用无壳枚举来避免使用额外函数污染全局命名空间.
虽然这不是很快,但出于这个原因,我也建议我们重新思考你如何定义解析器的逻辑.