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”调用正确的初始化程序？

- Måns Severin

---

一旦在 init 函数前面添加了 "required" 修饰符，它对我起作用了。 - user965972

Answer 1

这看起来像是编译器的一个bug，因为有一个简单的原因：makerB是一个B类型的变量，但它被赋值了一个A的实例。这不应该是可能的，事实上，如果你尝试打印，更一般地访问makerB变量的another_stored属性，就会引发运行时异常，我也不会期望其他结果。

这是因为如果B是A的子类，那么就不能将一个A的实例分配给B类型的变量（而反过来是可以的）。

虽然将一个A类型的变量分配给B类型的变量是可能的，但只有在以下情况下才能实现：

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

请注意，编译器并没有仅仅未能调用正确的初始化程序——它调用了另一个类的初始化程序。

- Antonio