В каком случае значимый тип хранится в куче

Хранение значимых типов (Value Types) в куче в Unity/C#

В C# значимые типы (структуры, примитивные типы) по умолчанию хранятся в стеке, что обеспечивает высокую производительность. Однако существует несколько ключевых случаев, когда они размещаются в куче:

1. Упаковка (Boxing)

Наиболее частый случай — упаковка, когда значимый тип преобразуется в ссылочный (например, в object или интерфейс). При этом в куче создаётся новый объект, куда копируется значение.

int health = 100; // Значение в стеке
object boxedHealth = health; // Упаковка: значение копируется в кучу

2. Явное выделение в управляемой куче

Использование ключевого слова new для структур не всегда означает выделение в куче, но есть исключения:

// Массив структур хранится в куче
Vector3[] points = new Vector3[10]; // Весь массив и его элементы — в куче

// Поля классов
class Player {
    private Vector3 position; // Поле position хранится в куче внутри экземпляра Player
}

3. Захват переменных в замыканиях и лямбда-выражениях

Когда значимая переменная захватывается анонимным методом или лямбдой, она может быть перемещена в кучу.

int enemyCount = 5; // Изначально в стеке
Action action = () => {
    Debug.Log(enemyCount); // enemyCount захватывается и может разместиться в куче
};

4. Использование в async методах

Локальные переменные в асинхронных методах хранятся в состоянии машины состояний, которое размещается в куче.

async Task ProcessDamage() {
    int damage = 25; // Эта переменная окажется в куче из-за async
    await Task.Delay(100);
    // damage сохраняется в состоянии между await
}

5. Поля в ссылочных типах

Когда структура является полем класса, она хранится в куче вместе с экземпляром этого класса.

public class GameObjectData {
    public Vector3 Position; // Position хранится в куче как часть GameObjectData
}

6. Коллекции из пространства имён System.Collections

Некоторые коллекции (например, ArrayList) хранят элементы как object, вызывая упаковку.

ArrayList list = new ArrayList();
list.Add(42); // Упаковка int в object, значение в куче

Практические последствия для Unity-разработчика

• Производительность: Упаковка создает мусор, что провоцирует сборку мусора (Garbage Collection). В реальном времени (например, в Update()) это недопустимо.
• Оптимизация: Избегайте упаковки в критических участках кода. Используйте обобщённые коллекции (List<T>, Dictionary<TKey, TValue>).
• Пример плохой практики:

void Update() {
    // ПЛОХО: Упаковка каждый кадр → мусор
    object currentHealth = player.Health;
}

• Пример хорошей практики:

void Update() {
    // ХОРОШО: Без упаковки, если health — значимый тип
    int currentHealth = player.Health;
    // Или используйте обобщённые коллекции
    List<int> healthValues = new List<int>();
    healthValues.Add(currentHealth); // Без упаковки
}

Вывод: Значимые типы в C# хранятся в куче при упаковке, захвате замыканиями, размещении в качестве полей классов или элементов массивов. Понимание этих механизмов критически важно для оптимизации производительности в Unity, особенно для мобильных платформ и VR/AR-приложений, где частые сборки мусора недопустимы.