Swift中数组添加实例的机制及[Car]()语法含义解析

一、[Car]()的含义解析 #

在Swift里，[Car]是元素类型为Car的数组类型的写法，后面的()是调用这个数组类型的默认构造器，用来创建一个空的、专门存储Car实例的数组对象。

你代码里的var cars = [Car]()完全等价于：

var cars: [Car] = [Car].init()

只不过Swift提供了[Car]()这种简洁语法，省去了显式写.init()的步骤。如果只写[Car]，那仅仅是一个类型标识，不是可以使用的数组实例，必须加()才能得到可操作的空数组。

二、Swift数组添加实例的工作原理 #

当你通过cars.append(someCar)或者cars += [anotherCar]给数组添加Car实例时，背后的运行逻辑是这样的：

• 容量检查与扩容：Swift数组是动态可变的，添加元素前会先检查当前数组的剩余容量是否足够容纳新元素。如果剩余空间不足，会自动分配一块更大的内存（通常是当前容量的2倍，具体倍数可能因Swift版本或元素类型略有调整），把原数组的元素复制到新内存后，释放旧内存空间。
• 元素存储逻辑：因为Car是类（属于引用类型），数组会把Car实例的引用地址存储在连续的内存区域中；如果数组存储的是值类型（比如结构体、枚举），则会存储元素的完整副本。
• 内部状态更新：数组内部维护着count属性，用来记录当前实际存储的元素数量，添加元素后这个值会同步加1。
• 内存管理机制：对于类实例，数组会持有这些实例的强引用，只要数组本身还存在，里面的Car实例就不会被ARC（自动引用计数）机制自动回收。

举个实际使用的例子：

class Car {
    let name: String
    init(name: String) {
        self.name = name
    }
}

let model = CarModel()
let myCar = Car(name: "Tesla")
model.cars.append(myCar)

执行append时，数组会完成上述一系列操作，最终把myCar的引用加入数组，此时数组的count从0变为1，直到这个元素被移除或者数组被销毁，myCar的引用都不会被释放。

内容的提问来源于stack exchange，提问作者rebooting89