略有不同的泛型数组

Question

我有一个采用泛型类型的类，它必须继承自类WorldObject：

class WorldObjectsProvider<WorldObjectType: WorldObject> 

这个类将创建类WorldObjectType 的对象并在一个函数中返回它们。现在我想创建一个此类类的数组（WorldObjectsProvider），但我希望这个数组能够保留许多不同类型的泛型类WorldObjectsProvider，例如：

class TestObject: WorldObject { }
let providers: [WorldObjectsProvider<WorldObject>] = [WorldObjectsProvider<WorldObject>(), WorldObjectsProvider<TestObject>()]

总的来说，我认为这是可能的，因为所有泛型类型都应该继承自 WorldObject。这可以通过返回所有值作为对基类WorldObject 的引用来实现。但我想这对于泛型来说可能太多了。有没有办法创建这样的数组？

Answer 1

Swift 泛型类型在其泛型参数方面是不变的，这意味着 MyGeneric<A> 与 MyGeneric<B> 不兼容，即使 A: B 也是如此。

话虽如此，如果您需要使用两个不同的泛型，则需要两个泛型的共同点。类型橡皮擦是可能的解决方案之一：

struct AnyProvider<T: WorldObject> {
    init<U: WorldObject>(_ provider: WorldObjectsProvider<U>) { }
}

let providers: [AnyProvider<WorldObject>] = [AnyProvider(WorldObjectsProvider<WorldObject>()), AnyProvider(WorldObjectsProvider<TestObject>())]

这将允许您在同一个集合中使用多种类型的泛型，前提是它们具有共同点。缺点是类型擦除器可能必须模仿和转发原始类型的所有公共方法。

例如，如果原始提供者有一个func someProviderMethod() 方法，那么AnyProvider 也必须声明它：

struct AnyProvider<T: WorldObject> {
    private let _someProviderMethod: () -> Void

    init<U: WorldObject>(_ provider: WorldObjectsProvider<U>) {
        _someProviderMethod = provider.someProviderMethod
    }

    func someProviderMethod() {
        _someProviderMethod()
    }
}