Swift Type Inference Not Working（Xcode 7.1.1）

Question

這是我在StackOverflow上的第一個問題，所以請對我輕鬆點。

我一直在努力讓Swift調用適當的泛型重載。

假設我有以下協議 -

protocol MyProtocol { } 

而且我有以下的通用方法 -

func foo<T>() -> T 

func foo<T: MyProtocol>() -> T 

人們預計，隨着T符合MyProtocol返回類型調用foo()將調用適當的過載。

let bar: MyProtocol = foo() 

上面的代碼實際上在運行期間調用下面的函數和Cmd的+點擊IDE導航到錯誤的過載，以及。

func foo<T>() -> T 

出於某種原因，我不能得到這個在Xcode 7.1.1正常工作。

我是否錯過了一些完全基礎的東西，或者這是另一個Swift怪癖？

編輯

添加的這種行爲在行動按馬特的請求的示例。

protocol MyProtocol { } 

class MyProtoClass : MyProtocol { } 

class Bar { 

    func foo<T>(value: T) { 
     print("T is Generic") 
    } 

    func foo(value: MyProtocol) { 
     print("T conforms to MyProtocol") 
    } 
} 

class MyClass<T> { 

    var value: T 
    init(value: T) { self.value = value } 
    var b = Bar() 

    func print() { 
     b.foo(value) 
    } 
} 

MyClass<MyProtocol>(value: MyProtoClass()).print() 
MyClass<String>(value: "").print() 

將上面的代碼複製並粘貼到Swift命令行應用程序中，並執行以下輸出。

T is Generic 
T is Generic 

Answer 1

好了，我要在這裏回答我的問題。

經過一番調查後，似乎Swift希望你實現一個帶泛型參數類型約束的擴展。

extension MyClass where T : MyProtocol { 
    func print() { 
     b.foo(value) 
    } 
} 

我知道這並不能真正解決問題，但它是足夠的足以讓我在我的現實世界中的用例周圍的工作。

上面的示例看起來像下面這樣。

protocol MyProtocol { } 

class MyProtoClass : MyProtocol { } 

class Bar { 

    func foo<T>(value: T) { 
     print("T is Generic") 
    } 

    func foo(value: MyProtocol) { 
     print("T conforms to MyProtocol") 
    } 
} 

class MyClass<T> { 

    var value: T 
    init(value: T) { self.value = value } 
    var b = Bar() 

    func print() { 
     b.foo(value) 
    } 
} 

extension MyClass where T : MyProtocol { 

    func print() { 
     b.foo(value) 
    } 
} 

MyClass<MyProtoClass>(value: MyProtoClass()).print() 
MyClass<String>(value: "").print() 

Answer 2

我覺得這裏的問題是，協議中的泛型（一般在SWIFT）不工作，你希望他們的方式。他們不是一流的類型。我知道這很模糊......但是這樣看，如果您消除foo的func foo<T>(value: T)版本，則您的代碼甚至不會編譯。換句話說，Swift不會選擇foo並選擇錯誤;它的意思是b.foo(a1.value)不會撥打func foo<T: MyProtocol>(value: T)。

我有一個模糊的感覺，這是涉及到我這裏的問題：

Protocol doesn't conform to itself?