这些内容是每一种编程语言的基础。我们大部分人从C语言开始编程,如果你还记得通过值调用与引用调用的函数,你也许就清楚它们的区别到底是什么。让我们看看苹果是怎么回答的吧
就像标题所说,swift中一个类型可以归入到下面两个分类中
- 值类型
- 引用类型
最基本的定义:
值类型-每个实例都拥有其数据的一份副本。当被赋值给一个变量或常量,或传递给一个函数时候,它会建立一份新的副本。
有需要关于iOS学习的视频与资料的扫码关注下列公众号:
让我们看一些编码
考虑下面的代码
引用类型
上面的类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时对象会被释放。因此整个过程(分配,追踪引用,释放)会比栈要慢。所以值类型要快于引用类型。
这些就是全部内容,希望你喜欢!