在 Swift 中将 SomeType<Protocol> 转换为 SomeType<ProtocolImpl>

Question

我目前正在 Swift 中使用泛型进行试验，但在将某些类型（例如 SomeType<Protocol> 转换为 SomeType<ProtocolImpl>）时遇到了一些问题。所以基本上我有一些类型，它接受一个作为协议处理的泛型参数，稍后将其转换为更具体的类型。我的问题是，如果这不可能吗？

/// 'dict' is of type [String: SomeType<Protocol>]
if let element = dict["str"], // 'element' here is of type SomeType<Protocol>
   let castedElement = element as? SomeType<ProtocolImpl> { // This is always false
    return castedElement // Here I want to return castedElement with type SomeType<ProtocolImpl>
}

有什么办法可以让这个演员工作？我已经在为我的问题寻找另一种解决方案，但我仍然对是否有办法以某种方式完成这项工作感兴趣。

编辑：因为@jtbandes 想要一个可以粘贴到某处的示例，所以在这里：

class SomeType<T> {
    let value: T

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

protocol Protocol {}

class ProtocolImpl: Protocol {}

var dict: [String: SomeType<Protocol>] = ["str": SomeType(value: ProtocolImpl())]

if let element = dict["str"],
   let castedElement = element as? SomeType<ProtocolImpl> {
    print(castedElement.value) // I want to get here
}

Answer 1

长话短说，Swift 中的泛型不是协变的，这意味着SomeType< ProtocolImpl> 是不可转换的SomeType<Protocol>，即使ProtocolImpl 符合Protocol。因此，您的问题的直接答案是：这在 Swift 中目前是不可能的。

但是，您可能会问自己，为什么首先需要沮丧。当您将实例存储在容器中时，多态行为可能更适合。您可以将需要访问的功能声明为协议的一部分，并且通过协议接口进行访问。这样你就不需要知道哪个是底层的具体实现，这是使用协议的主要原因之一。

Answer 2

我很难从这个问题中说出你想要达到的目标。不过，也许以下内容会对您有所帮助。

class SomeType<T>: Protocol { // Maybe SomeType IS your ProtoImpl?
    let value: T

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

protocol Protocol {}

//class ProtocolImpl: Protocol {}

//var dict: [String: SomeType<Protocol>] = ["str": SomeType(value: ProtocolImpl())]
var dict: [String: Protocol] = ["str1": SomeType<String>(value: "Some Type"),
                                "str2": SomeType<Int>(value: 1)
                            ]

if let castedElement = dict["str1"] as? SomeType<String> {
    print(castedElement.value) // --> "Some Type"
}

if let castedElement = dict["str2"] as? SomeType<Int> {
    print(castedElement.value) // --> "1"
}