ios - 通用对象的约束扩展与类型不匹配

Question

我正在尝试对受泛型类型约束的泛型类进行扩展。这是我认为应该有效的代码的简化:

struct Thing<T> {
    var value: T
}

struct ContainsStringThing {
    var stringThing: Thing<String>
}

extension Thing where T == String {                           // <-- Error location
    func containedStringThing() -> ContainsStringThing {
        return ContainsStringThing(stringThing: value)
    }
}

但是，我收到以下错误消息:

Same-type requirement makes generic Parameter 'T' non-generic

我搜索了解决此问题的方法并找到了使用协议(protocol)而不是类型来约束扩展的建议:link to article .这样做之后我得到了这个:

protocol StringProtocol { }

struct Thing<T> {
    var value: T
}

struct ContainsStringThing {
    var stringThing: Thing<StringProtocol>
}

extension Thing where T: StringProtocol {
    func containedStringThing() -> ContainsStringThing {
        return ContainsStringThing(stringThing: self)         // <-- Error location
    }
}

现在它确实让我限制了扩展，但它显示了不同的错误消息:

Cannot convert value of type 'Thing<T>' to expected argument type 'Thing<StringProtocol>'

基本上现在它知道 T符合协议(protocol) StringProtocol本身，但在引用整个对象时它并不知道 Thing<T> .

对此是否有任何解决方法，或者我应该将其作为进化提案提交给 swift 邮件列表？

注意:所有代码都是在 playground 上测试的，你可以直接复制粘贴试试。

Answer 1

作为变通方法，您可以使用 self 的值创建一个新的 Thing 实例。

extension Thing where T: StringProtocol {
    func containedStringThing() -> ContainsStringThing {
        return ContainsStringThing(stringThing: Thing<StringProtocol>(value: self.value))
    }
}

在 Swift 2.2 中，这样的扩展约束意味着 containedStringThing() 函数将可用于值类型符合 StringProtocol 的 Thing 实例。

如果 Swift 编译器可以将 self.value 的类型推断为 StringProtocol 就好了。在这种情况下你可以写 ContainsStringThing(stringThing: self)代替 ContainsStringThing(stringThing: Thing<StringProtocol>(value: self.value)) .你绝对应该填写一份提案。