转载

iOS swift中值类型与引用类型的不同

iOS swift中值类型与引用类型的不同这些内容是每一种编程语言的基础。我们大部分人从C语言开始编程，如果你还记得通过值调用与引用调用的函数，你也许就清楚它们的区别到底是什么。让我们看看苹果是怎么回答的吧

就像标题所说，swift中一个类型可以归入到下面两个分类中

值类型
引用类型

最基本的定义：

值类型-每个实例都拥有其数据的一份副本。当被赋值给一个变量或常量，或传递给一个函数时候，它会建立一份新的副本。

引用类型—所有实例共享一个数据副本。当被赋值给一个变量或常量，或传递给一个函数时候，一个引用类型一旦被初始化，会返回一个指向已存在实例的引用。

让我们看一些编码

考虑下面的代码

iOS swift中值类型与引用类型的不同

引用类型

上面的类Home并没有进行任何初始化。存储的特性roomCount有一个默认值2。现在，看看第一个叫peterVilla的实例，他会有一个值为2的roomCount。

现在建立一个新的叫johnVilla的对象，并把这个对象按照上面的代码赋值。你觉得johnVilla的roomCount值会是多少呢？他会和peterVilla的roomCount值一样吗？是的，它是2。

现在把johnVilla的roomCount值变为5，之后打出它们的roomCount值，两者都给出了5。

iOS swift中值类型与引用类型的不同

原因：

类(class)是一个引用类型，复制一个引用，即表示建立一个共享的实例。复制之后，两个变量都使用数据中同一份实例。所以修改第二个变量中的数据同样会影响第一个。

注意：类是一个引用类型，意味着类中的变量不会存储实例，而是一个向内存(堆)中存储该实例位置的引用。

问题：如果我们把上面代码中的var变成let会怎么样？

回答：什么都不会变。像下面这样运行的话：

let peterVilla = Home()
let johnVilla = peterVilla

对输出结果不会有任何影响。roomCount还会是5，为什么？？

因为类是引用对象，let与var唯一的区别就是再赋值给同样类型下不同类的能力。let与var并不会影响同一个类中改变一个变量的能力。

但是，看看下面的代码

iOS swift中值类型与引用类型的不同

上面的代码就不言自明了。

简单考虑：一旦我们创建一个HOME，然后给它一个let常数，我们就只能改变roomCount。所以这里因为它是不可变的(let)，John无法升级他的房子。我们不能创建一个新的HOME或改变它，let会对我们生气的。你现在应该明白了！

如果johnVilla是一个var呢？

如果如果johnVilla是一个var，那么它是可变的，他就可以改变他的房屋，无论多少次都可以。看看下面的代码吧：

iOS swift中值类型与引用类型的不同

如果Home是一个结构(struct)呢？

考虑下面的代码，其中Home是一个struct

iOS swift中值类型与引用类型的不同

这里Home是一个结构，johnVilla成为一个let常数，我们无法改变roomCount，就像上部分我们在类中一样。

这是因为结构是一个值类型，在结构中用let会让这个对象变为常数。它将不可改变或再赋值。一个用var创建的结构可以改变它的变量。

所以对johnVilla再赋值也会失败。

let peterVilla = Home()
let johnVilla = peterVilla
johnVilla = Home()
//error: cannot assign to value: ‘johnVilla’ is a ‘let’ constant

注意：所以，对于值类型，如果我们想对对象再赋值或改变对象中的变量，它需要被声明为可变的(‘var’)。

iOS swift中值类型与引用类型的不同

上面的代码很简单，它涵盖了各方面比如再赋值或者改变成员变量。尽管我们在第44行把peterVilla赋值给johnVilla，johnVilla是一个独立的实例，拥有独自的peterVilla的数据副本。

这就是说，struct并不是swift中唯一的值类型，class也不是唯一的引用类型。下面是一些例子：

iOS swift中值类型与引用类型的不同

Swift把一个引用类型看成一个类，这和Objective-C中很像。Objective-C中一切继承于NSObject都被按照引用类型存储。

我们什么时候选择值类型而不用引用类型？

来源：Apple Docs

如果你想建立一个新类型，你要怎么决定选哪一种呢？当你用Cocoa的时候，很多APIs期望NSObject的子类，所以你不得不采用类。对于其他情况，这里有一些参考：

以下时候使用值类型：

想要用==比较实例数据。一个双等号(==)用于比较值。
你想复制来建立独立数据。
数据要在多线程的代码中使用，那么你就不用担心数据会被其他线程改变。

以下时候使用引用类型(比如一个类)：

想要用===比较实例一致性。===会检查两个对象是否完全一致，包括存储数据的内存地址。
你想要创建用于共享，可改变的数据。

引用类型和值类型在内存中怎么存储？

值类型-在栈内存中存储
引用类型-在托管堆内存中存储

栈与堆的不同！

像前面说的，引用类型实例存在堆中，值类型实例比如结构存在于一个称为栈的内存区域中。如果值类型实例是一个类的一部分，值会和类一起存在堆中。

栈被用于静态存储分配，栈用于动态存储分配，它们都存在计算机的RAM中。

栈被CPU紧密管理并优化，当一个函数创建一个变量，栈会存储这个变量，并在函数退出时候被毁掉。被分配到栈的变量直接存储在内存上，访问这段内存非常快。当一个函数或者方法调用另一个函数，另一个函数再依次调用其他函数等等，直到最后一个函数返回它的值之前，其他所有函数都会保持暂停执行。

栈总是按照LIFO顺序保留，最新保留的区块总是会下一个释放。这使得跟踪记录栈非常简单，释放一个栈上的区块不过是调整一个指针。因为栈非常组织有序，所以它快捷高效。

系统使用堆存储被其他对象引用的数据，堆是一大片内存，系统可以从中请求并动态分配内存区块。堆并不会像栈一样自动毁掉它的对象，需要外部工作来处理这些。在苹果设备中ARC就做这个工作。引用数量会被ARC追踪，当它变为0时对象会被释放。因此整个过程(分配，追踪引用，释放)会比栈要慢。所以值类型要快于引用类型。

这些就是全部内容，希望你喜欢！

正文到此结束