Swift中的值类型和参照类型

在Swift中，类型分为两类：第一种是值类型，该类型的每一个实例持有数据的副本，而且该副本对于每一个实例来讲是独一无二的一份，好比结构体（struct）、枚举（enum）、元组（tuple）都是值类型。第二种是参照类型，该类型的实例共享数据惟一的一份副本（在native层面说的话，就是该类型的每一个实例都指向内存中的同一个地址），好比类（class）就是参照类型。在这篇文章中，咱们将深刻探讨值类型和参照类型的使用价值，以及如何在某种场景下选择正确的类型。

它们有什么不一样？

值类型最基本的特色就是复制，这影响到它的赋值、初始化、传参等操做。来看看下面的代码示例：

// 值类型示例
struct S { var data: Int = -1 }
var a = S()
var b = a                       // a复制一份，并将副本赋值给了b
a.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赋值给y
x.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中写出更加有可预测性的代码。

本文首发地址：Swift中的值类型和参照类型