-
静态语言
Swift是一门静态语言，用静态语言编写的程序的行为在编译完成后就已经确定，在运行时不能修改和拓展。这样虽然损失一些灵活性，但是会更加安全。
注意：Swift可以通过继承自NSObject来获得动态性支持。
Swift是类型安全型语言。编译器会对实例类型进行检查，不匹配的话就会编译错误。比如不能将Int类型的变量赋值给String类型的变量；不能将一个可选值赋值给一个非可选值的变量。编译器类型检查可以帮助开发者尽可能早的发现问题。
-
可选类型（Optionals）
Swift明确引入了可选类型的概念。可选类型表示一个变量所指向的实例可能存在，也可能不存在，Swift把这种可选类型的变量叫做可选值。
在获取可选值的内容时，语法机制会保证开发者注意到其内容不存在的情况，以提醒开发者去处理值缺省的情况。
内容不存在时，用nil表示，OC里也可以使用nil表示内容不存在，但是仅限于对象类型，基础数据类型和结构则不能使用nil；Swift里所有类型都可使用nil。OC的nil是一个空指针，Swift的nil是一种语言特性。
-
初始化
Swift构造器可以保证所有非可选类型的属性都能被初始化，这样在后续使用中确保非可选类型属性都有值。
-
值类型
Swift将字符串、数组、字典这些类型都设计成值类型，对应的在OC中则是引用类型。值类型存储在栈上，没有引用计数，由操作系统管理内存，没有内存泄漏的风险；引用类型则是放在堆上，需要开发者管理内存。
Swift值类型引入写时复制技术，使得共享实例的变量在发生修改时会先执行复制，这样共享实例的变量之间的修改都是独立的；引用类型无论在赋值时还是修改时，都是直接访问操作共享的实例对象，变量的修改会影响共用同一个实例的其他变量。
-
逃逸/非逃逸闭包
Swift通过escaping 和 nonescaping 来明确区分作为方法参数的闭包的类型。非逃逸闭包，是生命周期同方法的作用域一致的闭包，当方法调用结束，闭包就被释放，同时闭包所捕获的实例或引用也会被释放。逃逸闭包，也就是闭包的生命周期逃逸出方法的作用域，这个时候就要注意其捕获的实例是否会导致内存泄漏问题。Swift通过这两个关键字提醒开发者注意内存泄漏问题。
