ios - Swift 泛型和向上转型

Question

我有一个关于 Swift 中的泛型的快速问题。问题是我试图存储一个将泛型作为参数的变量，但无法将其转换为受限制的类型。最好用一个简短的例子来解释:

class Foo { }

class Thing<T: Foo> {
    func produceBar() -> Bar {
        return Bar(aThing: self as! Thing<Foo>)
    }
}

class Bar {
    var thing: Thing<Foo>

    init(var aThing: Thing<Foo>) {
        self.thing = aThing
    }
}

上面的代码产生错误:"Cast from Thing<T> to unrelated type Thing<Foo> always fails"

它不应该永远失败吗，因为 T 被限制为 Foo 的子类？我一定是误解了泛型在 Swift 中的工作方式，非常感谢任何指导或帮助!

Answer 1

Swift 泛型不是协变的。也就是说，正是错误所说:你不能自动说出 Basket<Apple>是一种 Basket<Fruit>即使Apple是一种 Fruit .这是有充分理由的。

考虑以下代码:

class Fruit {}
class Apple: Fruit {}
class Orange: Fruit {}

class Basket<T: Fruit> {
    private var items: [T]
    func add(item: T) {
        items.append(item)
    }
    init() {}
}

func addItem<T: Fruit>(var basket: Basket<T>, item: T) {
    basket.add(item)
}

let basket:Basket<Apple> = Basket()

addItem(basket as Basket<Fruit>, Orange())

如果 Basket<Apple> 这将是合法代码被认为是 Basket<Fruit> ，我将被允许在一篮子苹果中添加一个橙子。