-
靜態(tài)語言
Swift是一門靜態(tài)語言，用靜態(tài)語言編寫的程序的行為在編譯完成后就已經(jīng)確定，在運行時不能修改和拓展。這樣雖然損失一些靈活性，但是會更加安全。
注意：Swift可以通過繼承自NSObject來獲得動態(tài)性支持。
Swift是類型安全型語言。編譯器會對實例類型進行檢查，不匹配的話就會編譯錯誤。比如不能將Int類型的變量賦值給String類型的變量；不能將一個可選值賦值給一個非可選值的變量。編譯器類型檢查可以幫助開發(fā)者盡可能早的發(fā)現(xiàn)問題。
-
可選類型（Optionals）
Swift明確引入了可選類型的概念?？蛇x類型表示一個變量所指向的實例可能存在，也可能不存在，Swift把這種可選類型的變量叫做可選值。
在獲取可選值的內容時，語法機制會保證開發(fā)者注意到其內容不存在的情況，以提醒開發(fā)者去處理值缺省的情況。
內容不存在時，用nil表示，OC里也可以使用nil表示內容不存在，但是僅限于對象類型，基礎數(shù)據(jù)類型和結構則不能使用nil；Swift里所有類型都可使用nil。OC的nil是一個空指針，Swift的nil是一種語言特性。
-
初始化
Swift構造器可以保證所有非可選類型的屬性都能被初始化，這樣在后續(xù)使用中確保非可選類型屬性都有值。
-
值類型
Swift將字符串、數(shù)組、字典這些類型都設計成值類型，對應的在OC中則是引用類型。值類型存儲在棧上，沒有引用計數(shù)，由操作系統(tǒng)管理內存，沒有內存泄漏的風險；引用類型則是放在堆上，需要開發(fā)者管理內存。
Swift值類型引入寫時復制技術，使得共享實例的變量在發(fā)生修改時會先執(zhí)行復制，這樣共享實例的變量之間的修改都是獨立的；引用類型無論在賦值時還是修改時，都是直接訪問操作共享的實例對象，變量的修改會影響共用同一個實例的其他變量。
-
逃逸/非逃逸閉包
Swift通過escaping 和 nonescaping 來明確區(qū)分作為方法參數(shù)的閉包的類型。非逃逸閉包，是生命周期同方法的作用域一致的閉包，當方法調用結束，閉包就被釋放，同時閉包所捕獲的實例或引用也會被釋放。逃逸閉包，也就是閉包的生命周期逃逸出方法的作用域，這個時候就要注意其捕獲的實例是否會導致內存泄漏問題。Swift通過這兩個關鍵字提醒開發(fā)者注意內存泄漏問題。
