Swift 的类型分为值类型引用类型两种,值类型在传递和赋值时将进行复制,而引用类型则只会使用引用对象的一个“指向”。Swift 中的structenum 定义的类型是值类型,使用class 定义的为引用类型。很有意思的是,Swift 中的所有的内建类型都是值类型,不仅包括了传统意义上的IntBool 这些,甚至连StringArrayDictionary 都是值类型的。这在程序设计上绝对算得上一个令人震撼的改动,因为据我所知现在流行的编程语言中,像数组和字典这样的类型,几乎清一色都是引用类型。

那么使用值类型有什么好处呢?相较于传统的引用类型,值类型的一个显而易见的优势就是减少了堆上内存分配回收的次数。首先我们需要知道,Swift 的值类型,特别是数组和字典这样的容器,在内存管理上经过了精心的设计。值类型的一个特点是在传递赋值时要进行复制,每次复制肯定会产生额外开销,但是在Swift 中这个消耗控制在了最小范围内,在没有必要复制的时候,值类型的复制都是不会发生的。也就是说,对于简单的赋值参数的传递等普通操作,虽然我们可能用不同的名字来回设置和传递值类型,但是在内存上它们都是同一块内容。比如下面这样的代码:

func test(arr: [Int]) {
    for i in arr {
        print(i)
    }
}

var a = [1, 2, 3]
var b = a
let c = b
test(arr: a)

这么折腾一圈下来,只在第一句a 初始化赋值时发生了内存分配,而之后bc 甚至传递到test 方法内的arr,和最开始的a物理内存上都是同一个东西。而且这个a 还只在栈空间上,于是这个过程对于数组来说,只发生了指针移动,而完全没有堆内存分配释放的问题,这样的运行效率可以说极高

值类型被复制的时机是值类型的内容发生了改变时,比如下面b 中有加入了一个数,此时值复制就是必须的了:

var a = [1, 2, 3]
var b = a
b.append(5)
// 此时 a 和 b 的内存地址不再相同

值类型在复制时,会将存储在其中的值类型一并进行复制,而对其中的引用类型,则只复制一份引用。这是合理的行为,因为我们不希望引用类型莫名其妙的引用到了我们设定以外其他对象:

class MyObject {
    var num = 0
}

var myObject = MyObject()
let a = [myObject]
var b = a
        
b.append(myObject)
        
myObject.num = 100
        
print(b[0].num) // 100
print(b[1].num) // 100

// myObject 的改动同时影响了 b[0] 和 b[1]

虽然将数组和字典设计为值类型最大的考虑是为了线程安全,但是这样的设计在存储的元素或条目数量较少时,给我们带来了另一个优点,那就是非常高效,因为“一旦赋值就不太会变化”这种使用情景在Cocoa 框架中是占绝大多数的,这有效减少内存分配回收。但是在少数情况下,我们显然也可能会在数组或者字典中存储非常多的东西,并且还要对其中的内容进行添加或者删除。在这是,Swift 内建的值类型容器类型在每次操作时都需要复制一遍,即使是存储的都是引用类型,在复制时我们还是需要存储大量的引用,这个开销就变得不可忽视了。幸好我们还有Cocoa 中的引用类型容器类来对应这种情况,那就是NSMutableArrayNSMutableDictionary

所以,在使用数组和字典时的最佳实践应该是,按照具体的数据规模和操作特点来决定到时是使用值类型的容器还是引用类型的容器。在需要处理大量数据并且频繁操作(增减)其中元素时,选择NSMutableArrayNSMutableDictionary 会更好,而对于容器内条目小而容器本身数目多的情况,应该使用Swift 语言内建的ArrayDictionary