本頁包含內(nèi)容:
Swift 語言存在兩種類型:命名型類型和復(fù)合型類型。命名型類型是指定義時可以給定名字的類型。命名型類型包括類、結(jié)構(gòu)體、枚舉和協(xié)議。比如,一個用戶定義的類MyClass的實例擁有類型MyClass。除了用戶定義的命名型類型,Swift 標(biāo)準(zhǔn)庫也定義了很多常用的命名型類型,包括那些表示數(shù)組、字典和可選值的類型。
那些通常被其它語言認(rèn)為是基本或初級的數(shù)據(jù)型類型(Data types)——比如表示數(shù)字、字符和字符串——實際上就是命名型類型,Swift 標(biāo)準(zhǔn)庫是使用結(jié)構(gòu)體定義和實現(xiàn)它們的。因為它們是命名型類型,因此你可以按照“擴(kuò)展和擴(kuò)展聲明”章節(jié)里討論的那樣,聲明一個擴(kuò)展來增加它們的行為以適應(yīng)你程序的需求。
復(fù)合型類型是沒有名字的類型,它由 Swift 本身定義。Swift 存在兩種復(fù)合型類型:函數(shù)類型和元組類型。一個復(fù)合型類型可以包含命名型類型和其它復(fù)合型類型。例如,元組類型(Int, (Int, Int))包含兩個元素:第一個是命名型類型Int,第二個是另一個復(fù)合型類型(Int, Int).
本節(jié)討論 Swift 語言本身定義的類型,并描述 Swift 中的類型推斷行為。
類型語法
類型 → 數(shù)組類型 | 函數(shù)類型 | 類型標(biāo)識 | 元組類型 | 可選類型 | 隱式解析可選類型 | 協(xié)議合成類型 |元型類型