· 第27頁

1 type safelanguage

本頁的主要內容是說swift語言是“類型檢查”的安全型編程語言。意思是賦值語句的左值和右值的類型要一致，左值聲明是string型變量那麽等號的右值就該是個用雙引號引起來的字符串。而不能是整形或者浮點數據。

編譯器在編譯代碼時會檢查賦值語句的左值和右值。假設類型不匹配。編譯器報錯，即要做數據的安全檢查，保證數據的一致性。

2 type inferencelanguage

swift編譯時會檢查數據類型的一致性，但不是說在定義常量和變量時一定要說明變量或者常量的類型。能夠不說明類型，由於swift

swift語言的編譯器會根據常量或變量的初始化賦值語句自己主動判斷出這個常量或者變量應該屬於那種數據類型。

eg1 : let s1 = "www.chinagame.me"

這條語句swift會根據賦值語句的左值"www.chinagame.me",判斷出s1常量的類型是string型的。

這樣swift程序開發人員就不是必需一定像以下這樣去定義s1常量了。

let s1 : String = "www.chinagame.me"

在type inference機制下

let s1 = "www.chinagame.me"

和let s1 : String = "www.chinagame.me"聲明s1為常量等價。

關鍵詞： type check 、 type safe languagge、 type inference

《The Swift Programming Language》的筆記-第27頁