В каких случаях массив хранит объект, а в каких — ссылку?

Question

Массив хранит значение, если его элементы являются value type, и ссылку, если элементы — reference type. Для структур и enum в массиве лежат сами значения. Для классов в массиве лежат ссылки на объекты в куче. Это влияет на поведение при изменении элементов и на производительность. Массив при этом всегда остаётся value type.

YeaHub · Accepted Answer

Поведение массива напрямую зависит не от самого массива, а от типа элементов, которые в нём хранятся.Когда массив хранит значениеЕсли элементы массива — value type:structenumбазовые типы (Int, Bool, Double)то в буфере массива хранятся сами значения.Особенности:при копировании массива копируются значения (через Copy-on-Write)изменение элемента не влияет на другие копии массиваповедение полностью предсказуемоПример:struct Point {
    var x: Int
}

var a = [Point(x: 1)]
var b = a
b[0].x = 10
// a[0].x всё ещё 1
Когда массив хранит ссылкуЕсли элементы массива — reference type (class):в буфере массива лежат ссылки на объектысами объекты живут в heapОсобенности:копирование массива копирует ссылкиизменение объекта видно через все ссылкисемантика элементов — ссылочнаяПример:class User {
    var name: String
    init(name: String) { self.name = name }
}

var a = [User(name: "Alex")]
var b = a
b[0].name = "Bob"
// a[0].name тоже "Bob"
Почему это важно пониматьОт этого зависит:ожидаемое поведение при измененияхвероятность побочных эффектовархитектурные решенияработа с потокамиВыводМассив всегда value type, но его элементы могут быть как значениями, так и ссылками. Это ключевое отличие, которое часто становится источником неожиданных багов.