背景
Swift的類型系統(tǒng)意在幫助開發(fā)者在編譯期間構(gòu)建 穩(wěn)定健壯的代碼脓钾。但類型系統(tǒng)有時(shí)會(huì)給我們帶來一些阻礙尼夺，當(dāng)然也正是因?yàn)檫@些"阻礙"绍些，才有了穩(wěn)定柬批。
協(xié)議中的關(guān)聯(lián)類型
下面是一個(gè)比較經(jīng)典的情況
Collection協(xié)議因?yàn)槎x了associatedtype 揭糕，無法直接作為參數(shù)或者返回值
protocol Collection : Sequence {
associatedtype Element
}
至于為什么有associatedtype Element就無法作為參數(shù)或者返回值，作為編譯檢查嚴(yán)格的Swift這里還是可以理解的著角，因?yàn)楫?dāng)我們使用這個(gè)關(guān)聯(lián)類型的協(xié)議的時(shí)候，Element具體類型是什么編譯器無法得知奄容，在調(diào)用對(duì)應(yīng)方法時(shí)候也就沒有了檢查(無法確定類型)，這是不被允許的昂勒。例如：
func test(c: Collection) {
c.first? // 編譯器該怎么定義這個(gè)類型是什么呢?
}
將Collection作為函數(shù)返回值同理
func test() -> Collection {
}
test().first? // 這到底是個(gè)什么類型
協(xié)議中的Self
Self作為參數(shù) 不可行
除了協(xié)議中的關(guān)聯(lián)類型associatedtype舟铜，還有一種情況也會(huì)讓協(xié)議無法作為參數(shù)和返回值
func test(l: Equatable, r: Equatable) -> Bool {
return l == r
}
Equatable的定義中有Self相關(guān)的函數(shù)
protocol Equatable {
static func == (lhs: Self, rhs: Self) -> Bool
}
這個(gè)也是比較容易理解的。雖然test函數(shù)中的l r都是Equatable谆刨，但是==要求判斷的是同一種具體類型，而這里的test函數(shù)可以傳入任何兩種類型
Self作為返回值 可行
但如果是這種協(xié)議痊夭，它是能作為函數(shù)的返回值的
protocol Copyable {
func copy() -> Self
}
帶有associatedtype的協(xié)議，不管這個(gè)type作為協(xié)議中的函數(shù)還是返回值都無法直接在其他函數(shù)中使用
帶有Self的協(xié)議虹曙，如果Self用作參數(shù)迫横，無法在其他函數(shù)中直接使用矾踱，如果Self作為返回值，可以在其他函數(shù)中直接使用
那么將Self作為參數(shù)和返回值為啥會(huì)有區(qū)別呢?
聯(lián)系前面編譯檢查嚴(yán)格的例子介返，這種協(xié)議在作為參數(shù)的時(shí)候沃斤，可能會(huì)直接調(diào)用到關(guān)于Self的函數(shù)而讓編譯器不知所措，而作為返回值衡瓶，我們無法直接使用到關(guān)于Self這個(gè)類型的地方，而是相當(dāng)于返回了一個(gè)具體的協(xié)議哮针，編譯器并不會(huì)覺得模棱兩可
