斯威夫特协议继承和泛型函数
问题描述:
考虑下面的游乐场:斯威夫特协议继承和泛型函数
import Foundation
protocol StringInitable {
init(string:String)
}
class A : StringInitable {
var stored:String
required init (string:String) {
stored = string
}
}
class B : A /*, StringInitable */ {
var another_stored:String
required init (string:String) {
another_stored = "B-store"
super.init(string: string)
}
}
func maker<T:StringInitable>(string:String) -> T {
return T(string: string)
}
let instanceA = A(string: "test-maker-A")
let instanceB = B(string: "test-maker-B")
let makerA:A = maker("test-maker-A")
let makerB:B = maker("test-maker-B")
let typeInstanceA = _stdlib_getTypeName(instanceA)
let typeMakerA = _stdlib_getTypeName(makerA)
let typeInstanceB = _stdlib_getTypeName(instanceB)
let typeMakerB = _stdlib_getTypeName(makerB)
从编译器似乎已经推断出正确的类型,但未能调用正确的初始化结果。为什么我必须在B类中显式实现StringInitable(通过删除B类定义中的注释来测试)才能让泛型函数“maker”调用正确的初始化方法?
答
由于一个简单的原因,这听起来像是一个编译器错误:makerB
是B
类型的变量,但它被分配了一个A
的实例。这不应该是可能的,而事实上,如果你尝试打印,并更广泛地访问时,makerB
变量的another_stored
性能,运行时异常升高,而我也不会别的不指望。
这是因为如果是B
的A
一个亚类中,A
的实例不能被分配给B
类型的变量(而相对的是可能的)。
分配A
类型的变量,以B
类型的变量是可能的,虽然,但仅在这些条件下:
- 从
A
到B
明确低垂完成(编译器应该否则误差) - 由
A
变量引用的实例实际上是B
的实例(否则应该提出运行时异常)
注意,编译器不只是无法调用正确的初始化 - 它被称为另一个类
它为我的初始化一旦我在初始化函数前面加了“需要”符。 – user965972 2015-06-06 19:45:01