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

ios swift中值类型与引用类型的不同。

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

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

值类型 引用类型

最基本的定义：

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

让我们看一些编码

考虑下面的代码

引用类型

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

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

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

原因：

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

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

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

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

let petervilla = home()
let johnvilla = petervilla

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

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

但是，看看下面的代码

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

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

如果johnvilla是一个var呢？

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

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

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

这里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’)。

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

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

swift把一个引用类型看成一个类，这和objective-c中很像。objective-c中一切继承于nsobject都被按照引用类型存储。

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

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

以下时候使用值类型：

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

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

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

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

值类型-在栈内存中存储

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

栈与堆的不同！

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

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

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

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

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