類型(Types)

---

本頁包含內容：

• 類型注解(Type Annotation)
• 類型標識符(Type Identifier)
• 元組類型(Tuple Type)
• 函數類型(Function Type)
• 數組類型(Array Type)
• 可選類型(Optional Type)
• 隱式解析可選類型(Implicitly Unwrapped Optional Type)
• 協議合成類型(Protocol Composition Type)
• 元類型(Metatype Type)
• 類型繼承子句(Type Inheritance Clause)
• 類型推斷(Type Inference)

Swift 語言存在兩種類型：命名型類型和複合型類型。命名型類型是指定義時可以給定名字的類型。命名型類型包括類、結構體、枚舉和協議。比如，一個用戶定義的類MyClass的實例擁有類型MyClass。除了用戶定義的命名型類型，Swift 標準庫也定義了很多常用的命名型類型，包括那些表示數組、字典和可選值的類型。

那些通常被其它語言認為是基本或初級的數據型類型(Data types)——比如表示數字、字符和字符串——實際上就是命名型類型，Swift 標準庫是使用結構體定義和實現它們的。因為它們是命名型類型，因此你可以按照“擴展和擴展聲明”章節裡討論的那樣，聲明一個擴展來增加它們的行為以適應你程序的需求。

複合型類型是冇有名字的類型，它由 Swift 本身定義。Swift 存在兩種複合型類型：函數類型和元組類型。一個複合型類型可以包含命名型類型和其它複合型類型。例如，元組類型(Int, (Int, Int))包含兩個元素：第一個是命名型類型Int，第二個是另一個複合型類型(Int, Int).

本節討論 Swift 語言本身定義的類型，並描述 Swift 中的類型推斷行為。

類型語法
類型 → 數組類型 | 函數類型 | 類型標識 | 元組類型 | 可選類型 | 隱式解析可選類型 | 協議合成類型 |元型類型