Swift函數中的泛型和協議一致性

Question

我剛剛讀了布倫特·西蒙（Brent Simmon）關於他與Swift在一起的問題的文章 ，我認為我的答案是：通用協議一致性。

他遇到的問題是他有一個符合Equatable的協議Value 。 他還有另一個協議Smashable ，它需要函數valueBySmashingOtherValue 。 他有一個結構Bar ，實際上符合Smashable和Value 。

在采用通用類型T的后續函數中，返回Bar 。 Swift類型系統抱怨'Bar' is not convertible to 'T' 。

這是我認為可行的方法：

protocol Value: Equatable { }

protocol Smashable {
    func valueBySmashing​OtherValue​<T: Value, Smashable>(value: T) -> T
}

struct Bar: Smashable, Value {
    func valueBySmashing​OtherValue​<T: Value, Smashable>(value: T) -> T {
        return value;
    }
}

func ==(lhs: Bar, rhs: Bar) -> Bool {
    return false
}

struct Foo {
    func valueBySmashing​OtherValue​<T: Value, Smashable>(value: T) -> T {
        return Bar()
    }
}

使通用類型T符合Value和Smashable 。 Bar實際上確實符合這些要求，因此您返回它時，類型系統應該沒問題。

但事實並非如此。 為什么？

Answer 1

盡管Bar確實符合Value和Smashable但它並不是唯一滿足這些條件的類型。 我可以創建一個新類型（使用最新的Swift語法）：

struct NotBar: Smashable, Value {
    func valueBySmashing​OtherValue​<T:Value where T:Smashable>(value: T) -> T {
        return value;
    }
}
func ==(lhs: NotBar, rhs: NotBar) -> Bool {
    return true
}

如果我將NotBar的實例NotBar給Foo.valueBySmashing​OtherValue ，那么我期望得到一個NotBar作為回報。 編譯器知道這一點，因此不允許您返回Bar 。