Swift協議聲明

協議聲明

一個協議聲明爲你的程序引入一個命名了的協議類型。協議聲明使用 protocol 關鍵詞來進行聲明並有下面這樣的形式：

protocol protocol name: inherited protocols {
protocol member declarations
}  

協議的主體包含零或多個協議成員聲明，這些成員描述了任何採用該協議必須滿足的一致性要求。特別的，一個協議可以聲明必須實現某些屬性、方法、初始化程序及下標腳本的一致性類型。協議也可以聲明專用種類的類型別名，叫做關聯類型，它可以指定協議的不同聲明之間的關係。協議成員聲明會在下面的詳情裏進行討論。

協議類型可以從很多其它協議那繼承。當一個協議類型從其它協議那繼承的時候，來自其它協議的所有要求就集合了，而且從當前協議繼承的任何類型必須符合所有的這些要求。對於如何使用協議繼承的例子，查看協議繼承

注意：
你也可以使用協議合成類型集合多個協議的一致性要求，詳情參見協議合成類型和協議合成  

你可以通過採用在類型的擴展聲明中的協議來爲之前聲明的類型添加協議一致性。在擴展中你必須實現所有采用協議的要求。如果該類型已經實現了所有的要求，你可以讓這個擴展聲明的主題留空。

默認地，符合某一個協議的類型必須實現所有聲明在協議中的屬性、方法和下標腳本。也就是說，你可以用optional屬性標註這些協議成員聲明以指定它們的一致性類型實現是可選的。optional屬性僅僅可以用於使用objc屬性標記過的協議。這樣的結果就是僅僅類類型可以採用並符合包含可選成員要求的協議。更多關於如何使用optional屬性的信息及如何訪問可選協議成員的指導——比如當你不能肯定是否一致性的類型實現了它們——參見可選協議要求

爲了限制協議的採用僅僅針對類類型，需要使用class_protocol屬性標記整個協議聲明。任意繼承自標記有class_protocol屬性協議的協議都可以智能地僅能被類類型採用。

注意：
如果協議已經用object屬性標記了，class_protocol屬性就隱性地應用於該協議；沒有必要再明確地使用class_protocol屬性來標記該協議了。  

協議是命名的類型，因此它們可以以另一個命名類型出現在你代碼的所有地方，就像協議類型裏討論的那樣。然而你不能構造一個協議的實例，因爲協議實際上不提供它們指定的要求的實現。

你可以使用協議來聲明一個類的代理的方法或者應該實現的結構，就像委託(代理)模式描述的那樣。

協議(Protocol)聲明語法
協議聲明 → 特性(Attributes)列表 可選 protocol 協議名 類型繼承子句 可選 協議主體
協議名 → 標識符
協議主體 → { 協議成員聲明(Declarations)列表 可選 }
協議成員聲明 → 協議屬性聲明
協議成員聲明 → 協議方法聲明
協議成員聲明 → 協議構造器聲明
協議成員聲明 → 協議附屬腳本聲明
協議成員聲明 → 協議關聯類型聲明
協議成員聲明(Declarations)列表 → 協議成員聲明 協議成員聲明(Declarations)列表 可選  

協議屬性聲明

協議聲明瞭一致性類型必須在協議聲明的主體裏通過引入一個協議屬性聲明來實現一個屬性。協議屬性聲明有一種特殊的類型聲明形式：

var property name: type { get set }

同其它協議成員聲明一樣，這些屬性聲明僅僅針對符合該協議的類型聲明瞭getter和setter要求。結果就是你不需要在協議裏它被聲明的地方實現getter和setter。

getter和setter要求可以通過一致性類型以各種方式滿足。如果屬性聲明包含get和set關鍵詞，一致性類型就可以用可讀寫(實現了getter和setter)的存儲型變量屬性或計算型屬性，但是屬性不能以常量屬性或只讀計算型屬性實現。如果屬性聲明僅僅包含get關鍵詞的話，它可以作爲任意類型的屬性被實現。比如說實現了協議的屬性要求的一致性類型，參見屬性要求

更多參見變量聲明

協議屬性聲明語法
協議屬性聲明 → 變量聲明頭(Head) 變量名 類型註解 getter-setter關鍵字(Keyword)塊  

協議方法聲明

協議聲明瞭一致性類型必須在協議聲明的主體裏通過引入一個協議方法聲明來實現一個方法. 協議方法聲明和函數方法聲明有着相同的形式，包含如下兩條規則：它們不包括函數體，你不能在類的聲明內爲它們的 參數提供初始值.舉例來說，符合的類型執行協議必需的方法。參見必需方法一節。

使用關鍵字class可以在協議聲明中聲明一個類或必需的靜態方法。執行這些方法的類也用關鍵字class聲明。 相反的，執行這些方法的結構體必須以關鍵字static聲明。如果你想使用擴展方法，在擴展類時使用class關鍵字， 在擴展結構體時使用static關鍵字。

更多請參閱函數聲明。

協議方法聲明語法
協議方法聲明 → 函數頭 函數名 泛型參數子句 可選 函數簽名(Signature)

協議構造器聲明

協議聲明瞭一致性類型必須在協議聲明的主體裏通過引入一個協議構造器聲明來實現一個構造器。協議構造器聲明 除了不包含構造器體外，和構造器聲明有着相同的形式，

更多請參閱構造器聲明。

協議構造器聲明語法
協議構造器聲明 → 構造器頭(Head) 泛型參數子句 可選 參數子句  

協議下標腳本聲明

協議聲明瞭一致性類型必須在協議聲明的主體裏通過引入一個協議下標腳本聲明來實現一個下標腳本。協議屬性聲明 對下標腳本聲明有一個特殊的形式：

subscript (parameters) -> return type { get set }

下標腳本聲明只爲和協議一致的類型聲明瞭必需的最小數量的的getter和setter。如果下標腳本申明包含get和set關鍵字， 一致的類型也必須有一個getter和setter語句。如果下標腳本聲明值包含get關鍵字，一致的類型必須至少包含一個 getter語句，可以選擇是否包含setter語句。

更多參閱下標腳本聲明。

協議附屬腳本聲明語法
協議附屬腳本聲明 → 附屬腳本頭(Head) 附屬腳本結果(Result) getter-setter關鍵字(Keyword)塊  

協議相關類型聲明

協議聲明相關類型使用關鍵字typealias。相關類型爲作爲協議聲明的一部分的類型提供了一個別名。相關類型和參數 語句中的類型參數很相似，但是它們在聲明的協議中包含self關鍵字。在這些語句中，self指代和協議一致的可能的類型。 獲得更多信息和例子，查看相關類型或類型別名聲明。

協議關聯類型聲明語法
協議關聯類型聲明 → 類型別名頭(Head) 類型繼承子句 可選 類型別名賦值 可選