Всегда ли value-типы размещаются на стеке?

Миф “value-типы всегда на стеке” — одно из самых распространённых упрощений в Swift.

От чего зависит размещение

Компилятор анализирует:

• время жизни значения

• область видимости

• способ передачи

• необходимость захвата

Этот процесс называется escape analysis.

Примеры, когда value-типы уходят в кучу

1. Захват замыканием

   • escaping closure

   • асинхронные операции

2. Возврат из функции

   • если значение живёт дольше вызова

3. Хранение внутри reference-типа

   • поле класса

   • свойство объекта

4. Использование через протокол

   • existential containers

   • dynamic dispatch

Почему это не проблема

Даже при размещении в куче:

• value-семантика сохраняется

• копирование контролируется компилятором

• используется copy-on-write

Практический смысл

Разработчику важно:

• не пытаться “оптимизировать вручную”

• понимать, что value-типы — это про семантику, а не про стек

Краткий вывод

Value-типы не гарантируют размещение на стеке. Они гарантируют поведение копирования, а не конкретную область памяти.