Swift 是一门新的编程语言,用于编写 iOS 和 OS X 应用程序。Swift 结合了 C 和 Objective-C 的优点并且不受C兼容性的限制。
Swift 使用安全的编程模式并添加了很多新特性,这将使编程更简单,扩展性更强,也更有趣。Swift 支持 Cocoa 和 Cocoa Touch 框架。Swift 的开发从很久之前就开始了。为了给 Swift 打好基础,苹果公司改进了编译器,调试器和框架结构,让 Swift 使用自动引用计数(Automatic Reference Counting, ARC)来简化内存管理。Objective-C 开发者对于 Swift 并不会感到陌生。它采用了 Objective-C 的命名参数以及动态对象模型,可以无缝对接到现有的 Cocoa 框架,并且可以兼容 Objective-C 代码。在此基础之上,Swift 还有许多新特性,支持面向过程编程和面向对象编程。
Swift 对于初学者来说也很简单。Swift是一门既满足工业标准又像脚本语言一样充满表现力和趣味的编程语言。Swift支持代码预览,这个革命性的特性可以允许程序员在不编译和运行应用程序的前提下运行 Swift 代码并实时查看结果。Swift 将现代编程语言的精华和苹果工程师文化的智慧结合了起来。编译器对性能进行了优化,编程语言对开发进行了优化,两者互不干扰,鱼与熊掌兼得。Swift 既可以用于开发“hello, world”这样的小程序,也可以用于开发一个完整的操作系统。所有的这些特性让 Swift 对于开发者和苹果来说都是一项值得的投资。用 Swift 编写 iOS 和 OS X 应用将是一场美妙的体验,Swift 之后也会不断开发新特性和兼容性。Swift 提供了C和Objective-C的所有基础数据类型,包含整数Int,浮点数Double、Float,布尔值 Bool 以及String 字符串。同时Swift也提供了两种强大的集合数据类型,包括 Array(数组)和Dictionary(字典)。和C一样,Swift使用变量来储存和访问数值。Swift也支持数值不能改变的变量,这在C中我们称为常量,但在Swift中常量将会更加强大。当变量值不需要改变的时候,可以使用常量,这会使得代码更加安全和简洁。另外,Swift引入了在Objective-C中没有的一些高级数据类型,例如tuples(元组),可以使你创建和传递一组数值。Swift还引入了可选项类型(Optionals),用于处理变量值不存在的情况。可选项的意思有两种:一是变量是存在的,例如等于X,二是变量值根本不存在。
Optionals类似于Objective-C中指向nil的指针,但是适用于所有的数据类型,而非仅仅局限于类,Optionals 相比于Objective-C中nil指针更加安全和简明,并且也是Swift诸多最强大功能的核心。Swift是一门类型安全的语言,Optionals就是代表。Swift能帮助你在类型安全的环境下工作,如果你的代码中需要使用String类型,Swift的安全机制能阻止你错误的将Int值传递过来,这使你在开发阶段就能及时发现并修正问题
Swift中的值类型和引用类型
在Swift中,类型分为两类:第一种是值类型,该类型的每个实例持有数据的副本,并且该副本对于每个实例来说是独一无二的一份,比如结构体(struct)、枚举(enum)、元组(tuple)都是值类型。第二种是引用类型,该类型的实例共享数据唯一的一份副本(在native层面说的话,就是该类型的每个实例都指向内存中的同一个地址),比如类(class)就是引用类型。在这篇文章中,我们将深入探讨值类型和引用类型的使用价值,以及如何在某种场景下选择正确的类型。
它们有什么不同?
值类型最基本的特点就是复制,这影响到它的赋值、初始化、传参等操作。来看看下面的代码示例:
// 值类型示例struct S { var data: Int = -1 }var a = S()var b = a // a复制一份,并将副本赋值给了ba.data = 42 // a的数据改变了,但是b的并没有改变println("\(a.data), \(b.data)") // prints "42, -1"
引用类型的复制行为其实是隐式的创建了一个共享的实例,作为原始类型的引用。下面的例子中,两个变量都会引用唯一的那个共享实例的数据,所当改变这两个变量中任何一个的数据,都会同样作用于原始类型的数据:
// 引用类型示例class C { var data: Int = -1 }var x = C()var y = x // 将x赋值给yx.data = 42 // 修改了x的数据,其实是修改了引用数据,那么y的数据也会改变 println("(x.data), (y.data)") // prints "42, 42"
Mutation在安全性中的角色
选择值类型的一个很重要的原因是可以让你比较容易的理解和掌控你的代码。如果你使用值类型,那么都是唯一的数据值、类型的副本在和你打交道,你对数据的修改只作用于数据所属的类型实例,所以你可以不用担心因为你在某个地方对数据的修改而影响到其他地方的数据。这在多线程环境中非常有用,因为在多线程下,不同的线程有可能会在你不知情的情况下改变数据。发生这种Bug后,调试起来就非常困难。
因为值类型和引用类型的表象区别就在于当你修改类型实例的数据时,它们对原始类型数据的处理方式不同。但是有一种情况,值类型和引用类型的处理方式却又相似,那就是当类型实例的数据为只读的时候。在不存在修改的情况下,值类型和引用类型就没什么区别了。
你可能会觉得这一点很有用,假如说一个class是完全不能被重定义的,那么就比较符合使用Cocoa的NSObject对象的一些习惯,并能很好的保持原本的语义。今天,在Swift你可以通过定义不可改变的存储属性来创建一个不可重定义的类,这样可以避免暴露出的API被修改。事实上,许多普通的Cocoa框架里的类,比如NSURL,都被定义成了不可重定义的类。尽管如此,Swift目前还不提供任何机制像结构体(struct)和枚举(enum)一样去强制使一个class成为不可重定义的类(比如像子类)。
如何选择正确的类型?
如果你想创建一个新类型,那么你应该选择值类型还是引用类型呢?当你使用Cocoa框架时,很多API都是NSObject的子类,那么你就必须要使用引用类型,也就是class。在其他情况下,这里有一些指导建议你可以参考:
使用值类型的情形:
使用==运算符比较实例数据的时候。
你想单独复制一份实例数据的时候。
当在多线程环境下操作数据的时候。
使用引用类型(比如class)的情形:
当使用===运算符判断两个对象是否引用同一个对象实例的时候。
当上下文需要创建一个共享的、可变的对象时。
在Swift中,Array、String、Dictionary都是值类型。它们的使用方式类似C语言中得int,每一个实例都有一份数据。你不需要进行显示的复制操作去防止数据在你不知情的情况下被修改。更重要的是,你可以跨线程进行传参而不需要考虑同步的问题,因为传递值类型很安全。秉着高安全性的精神,这种类型划分模式能帮助你在Swift中写出更加有可预测性的代码。