Swift协议继承和通用函数

Question

考虑以下游乐场:

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"调用正确的初始值设定项？

Answer 1

这听起来像是一个编译器错误，原因很简单：它makerB是一个B类型变量，但它被分配了一个A. 这应该是不可能的，事实上，如果您尝试打印（更一般地说是访问变量another_stored的属性makerB），则会引发运行时异常，并且我不会期待其他任何事情。

这是因为 ifB是 的子类A，不能将 的实例A分配给B类型的变量（反之亦然）。

不过，将类型变量分配A给类型变量B是可能的，但仅限于以下条件：

• 完成从Ato 的显式向下转换（否则编译器应该出错）B
• 变量引用的实例A实际上是 的实例B（否则应引发运行时异常）

请注意，编译器不仅无法调用正确的初始值设定项 - 它还调用了另一个类的初始值设定项