主要体现在类型安全、运行安全、内存安全等方面

Swift是静态语言

静态语言编写的程序，在编译完成后就已确定，不能再拓展更改，相对于动态语言来说，虽然缺失了一些灵活性，但是更加安全。
但是Swift也可以用OC的运行时特性。

Swift有完善的类型诊断(OC类型诊断较弱)

任何变量，都必须有确定的类型，且类型一旦确定，不可更改:

对于不明确指定类型的变量，变量声明时必须进行初始化；

 //会报错Type annotation missing in pattern
//var a1

var a = "12"

// 会报错Cannot assign value of type 'Int' to type 'String'
//a = 12

而OC中一个引用类型变量，可以指向任意的其他类型变量，比如一个声明为NSString的变量，赋值一个NSNubmer的对象，编译器不会报错，但是实际运行过程中，由于这个变量的声明时NSString类型，所以只能通过NSString类型提供的方法进行访问操作，但变量实际指向的对象是NSNumber类型，NSString类型的方法是找不到的，所以会发生异常，
尤其是网络数据解析的时候，经常可能碰到，解析出一个NSNull对象，被赋值给一个NSString变量

2、可选性的定义，使得开发者必须去考虑空的情况

在OC中，任何变量的声明，可以不赋初值，对应基础数据类型，如int，会有默认值0，对于引用类型变量，则默认值为nil
引用类型中，对nil进行任何方法访问，都是不会报错的
但是在Swift中，如果一个变量，不是可选性，那么一定是有值的，而且类型确定，通过它的类型去访问不会有问题。
但是如果一个变量，是可选性，那么它可能是nil，可能是没有值
对于可选性变量的访问，Swift提供了多种解包方式，必须用这些解包方式直接或者间接的解包后，去访问它的属性或方法，
这提供了一种机制，如果是nil，则不会继续访问，不是nil，才会访问

附常用解包方式：
（1）! 强制解包，如果为空，则会崩溃
（2）? 解包
（3）?? 解包，通常用来提供默认值
（4）if let解包
（5）guard let解包
（6）自动解包：变量声明时，如 var test: String!，这样在使用的时候，就会自动解包(与?修饰的区别是，?修饰的还需要手动解包)，但是需要注意的是，我们需确保这个变量，在使用的时候，不是为nil的

Swift中有明确的初始化机制(非可选型变量)

前面说到，一个不明确类型的变量，必须声明时初始化
但是对于一个显示声明类型的变量，要看它所在位置；
1、全局变量、局部变量(函数中)
必须声明的同时，进行初始化
2、成员变量(struct或class的属性)
（1）可以在声明的同时，进行初始化赋初值
（2）如果声明时不赋初值，那么要在构造器中进行初始化赋初值

Swift注重值类型，降低了内存泄漏的风险

在Swift中，常用的内建数据类型，如Array、Dictionary、Set等，都设计为值类型，由此可见Swift对值类型的注重，并且还提供了值类型写时复制机制，优化了值类型的内存管理。
值类型存储在栈中，没有引用计数，由系统管理内存，很大程度是降低了开发者编码内存泄漏的风险。
引用类型存储在堆中，虽然有ARC机制，但是开发者对依旧其内存管理的干预较大，一定程度上增加了内存泄漏的风险。

Swift闭包类型的明确划分，也一定程度上降低了内存泄漏的风险

Swift中对闭包有较为明确的区分，有专属的关键字。
非逃逸闭包，是生命周期同方法的作用域一致的闭包，当方法调用结束，闭包就被释放，同时闭包所捕获的实例或引用也会被释放。
逃逸闭包，也就是闭包的生命周期逃逸出方法的作用域，这个时候就要注意其捕获的实例是否会导致内存泄漏问题。Swift通过这两个关键字提醒开发者注意内存泄漏问题。