泛型类的类型化数组

debugcn 发表于 Dev

她

考虑以下简化的协议/类层次结构

protocol P {
}

class A: P {
}

class B: P {
}

class C<T: P> {
}

我想创建该类实例的类型化数组C。但是，自动类型推断似乎不起作用。当我做

let objs = [C<A>(), C<B>()]
let obj = objs[0]

objs和obj是类型[AnyObject]和AnyObject分别。我本来希望像

let objs:[C<P>] = [C<A>(), C<B>()]

工作，但它不会与错误编译

Using 'P' as a concrete type conforming to protocol 'P' is not supported

这样就完全省略了通用类型

let objs:[C] = [C<A>(), C<B>()]

在编译时产生不同的错误

Cannot convert value of type 'NSArray' to specified type '[C]'

有什么办法可以创建C类型比特定的实例数组[AnyObject]？

林太郎

考虑以下代码：

// DOES NOT WORK!!

protocol P {
    var name: String { get }
}

class A: P {
    var name = "A"
}

class B: P {
    var name = "B"
}

class C<T: P> {
    var val: T
    init(val: T) {
        self.val = val
    }
}

let objs: [C<P>] = [ C<A>(A()) ]

let firstObj: C<P> = obj[0]
firstObj.val = B()

在这种情况下，firstObj实际上是一个C<A>实例。但firstObj.val必须接受，B()因为firstObj.val受限制P并B符合P。你知道这是非法的。这就是为什么您不能投射C<A>为C<P>

要解决此问题，例如，您可以在周围创建一些包装器C：

protocol P {
    var name: String { get }
}

class A: P {
    var name = "A"
}

class B: P {
    var name = "B"
}

class C<T: P> {
    var val: T
    init(_ val: T) {
        self.val = val
    }
}

/// Type erasing wrapper around C that has accessor for `C.val`
struct AnyC {

    let _val: () -> P
    var val: P { return _val() }

    init<T>(_ c: C<T>) {
        _val = { return c.val }
    }
}

let objs:[AnyC] = [
    AnyC( C<A>(A()) ),
    AnyC( C<B>(B()) ),
]
objs[0].val.name // -> "A"
objs[1].val.name // -> "B"

本文收集自互联网，转载请注明来源。

如有侵权，请联系[email protected] 删除。