考虑以下游乐场:
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
。这应该是不可能的,事实上,如果您尝试打印,更一般地说是访问,another_stored
的财产makerB
变量,会引发运行时异常,我不会期待其他任何事情。
那是因为如果B
是一个子类A
,一个实例A
不能分配给变量B
类型(反之亦然)。
分配一个变量A
类型为变量B
type 是可能的,但仅在以下条件下:
- 明显的沮丧
A
to B
完成(否则编译器应该出错)
- 引用的实例
A
变量实际上是一个实例B
(否则应引发运行时异常)
请注意,编译器不仅无法调用正确的初始值设定项 - 它还调用了另一个类的初始值设定项
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)