Swift:无法识别泛型的类型协议(protocol)

Question

长期倾听者，第一次来访者。

我收到以下错误:

Cannot convert value of type MyClass<Model<A>, OtherClass> to expected argument type MyClass<Protocol, OtherClass>

尽管 MyClass<T>符合 Protocol

我附上了一个可以在 Playgrounds 中运行的片段，它类似于我实际想要实现的目标。

protocol DisplayProtocol {
    var value: String { get }
}

class DataBundle<T: CustomStringConvertible>: DisplayProtocol {
    var data: T
    var value: String {
        return data.description
    }

    init(data: T) {
        self.data = data
    }
}

class Mapper<DisplayProtocol, Data> {
    // ...
}

class MapperViewModel<Data> {
    let mapper: Mapper<DisplayProtocol, Data>

    init(mapper: Mapper<DisplayProtocol, Data>) {
        self.mapper = mapper
    }
}

let dataBundle = DataBundle<Int>(data: 100)
let mapper = Mapper<DataBundle<Int>, Bool>()
let viewModel = MapperViewModel<Bool>(mapper: mapper) // <- This fails w/error

这是预期的行为吗？如果是的话，感觉就像是违反了允许我拥有 DisplayProtocol 的契约(Contract)。作为 Mapper 中的一种类型.

Answer 1

这是因为 Swift 泛型在参数方面是不变的。因此 MyClass<B>与 MyClass<A> 不兼容即使B与 A 兼容(子类、协议(protocol)一致性等)。所以是的，不幸的是，这种行为是预期的。

在您的特定情况下，如果您想保留当前架构，您可能需要使用具有关联类型和类型删除器的协议(protocol)。