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

標籤：安全   infer   語句   target   左值   定義   jsb   mod   check   

·        第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

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