泛型类和子类的数组

Question

我很难理解泛型。我想要的是拥有一组泛型类，每个类都有自己的关联类型，并相应地调用一个函数。它看起来像这样：

class SomeGenericClass<U> {
    func addCallback(callback: (U)->() ) { ... }
}

var array: [SomeGenericClass] // compile error

最后一行产生了一个错误，所以我发现我需要一个超类。我尝试过这样的事情：

class SuperClass {
    func addCallback<V>(callback: (V)->() ) { ... }
}

class SomeGenericClass<U> {
    func addCallback<V: U>(callback: (V)->() ) { ... } // compile error
}

var array: [SuperClass] // no compile error

这会产生错误Type 'V' constrained to non-protocol, non-class type 'U'。

基本上我希望能够做到：

array.append(SomeGenericClass<UIImage>()) // array[0]
array.append(SomeGenericClass<Int>()) // array[1]

// Since array[0] is effectively of type SomeGenericClass<UIImage>, the compiler should understand that the close added if of type (UIImage)->(), and therefore that value is of type UIImage
array[0].addCallback { value in
   someImageView.image = value
}

在这种情况下使用超类是正确的方法吗？应该如何实现？

Answer 1

我通过将数组成员存储在他们自己的变量中来解决这个问题。也就是说，而不是像这样定义我的数组：

lazy var array: [SuperClass] = [
    SomeGenericClass<UIImage>(),
    SomeGenericClass<Int>(),
    //etc...
]

我是这样定义的：

lazy var genericFirst: SomeGenericClass<UIImage> = SomeGenericClass<UIImage>()
lazy var genericSecond: SomeGenericClass<Int> = SomeGenericClass<Int>()
// etc...

lazy var array: [SuperClass] = [
    genericFirst,
    genericSecond,
    //etc...
]

这样，我可以像这样访问我想要的泛型：

genericFirst.addCallback { value in
    // value is indeed of type UIImage
    someImageView.image = value
}