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

標籤：ios8   中遊學院   chinaswift.me   swift開發   swift教程   

·        第27頁

 

1 type safelanguage

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

     編譯器在編譯代碼時會檢查賦值語句的左值和右值，如果類型不符，編譯器報錯，即要做資料的安全檢查，保證資料的一致性。

2 type inferencelanguage

     swift編譯時間會檢查資料類型的一致性，但不是說在定義常量和變數時一定要說明變數或者常量的類型，可以不說明類型，因為swift有一種機制叫type inference語言。

     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