В каком случае память лоцируется на стеке

Стек vs Куча в Unity/C#

В Unity и C# память логируется на стеке (stack) в строго определенных случаях, поскольку C# является управляемым языком со сборкой мусора для кучи (heap). Понимание этого различия критически важно для оптимизации производительности, особенно в геймдеве, где часто создаются и уничтожаются тысячи объектов.

Когда память выделяется на стеке?

Память на стеке выделяется для значимых типов (value types) и указателей на ссылочные типы, но только при определенных условиях локализации:

1. Локальные переменные значимых типов внутри методов

• Объявленные внутри метода (включая параметры метода).
• Живут только в контексте выполнения этого метода.

void ProcessDamage()
{
    int damage = 10;           // int - value type, выделяется на стеке
    float multiplier = 1.5f;   // float - value type, на стеке
    Vector3 position;          // Vector3 - struct (value type), на стеке
    position = Vector3.zero;
    // При выходе из метода эта память со стека автоматически освобождается
}

2. Локальные переменные значимых типов в итераторах и циклах

• Переменная, объявленная в теле цикла, создается и уничтожается на стеке для каждой итерации.

for (int i = 0; i < 10; i++) // 'i' размещается на стеке для каждой итерации
{
    float tempResult = i * 1.5f; // 'tempResult' также на стеке
}
// После выхода из цикла память для этих переменных освобождается

3. Поля значимых типов внутри других значимых типов (struct)

• Если структура (struct) сама размещена на стеке (как локальная переменная), то все ее поля-значимые типы также будут находиться в стековой памяти.

public struct CharacterStats // Value type
{
    public int Health; // Будет на стеке, если экземпляр CharacterStats на стеке
    public float Speed;
}

void Update()
{
    CharacterStats stats; // Экземпляр структуры на стеке
    stats.Health = 100;   // Поле Health также находится в стековой памяти
}

Ключевые исключения и важные уточнения

• Структура (struct) НЕ всегда на стеке. Если она является полем класса (ссылочного типа) или упакована (boxed), то она будет размещена в куче (heap) вместе с объектом класса.

  public class Character // Reference type
  {
      public CharacterStats Stats; // Поле Stats лежит в КУЧЕ, внутри объекта Character
  }
  

• Упаковка (Boxing) — это процесс помещения значимого типа в кучу. Это происходит автоматически, когда value type присваивается переменной типа object или передается в метод, ожидающий object.

  int health = 100; // health на стеке
  object obj = health; // УПАКОВКА! Создается новый объект в куче, значение копируется туда.
  

• Ссылочные типы (class, interface, delegate, string, массивы) всегда выделяются в куче, даже если их ссылочная переменная (указатель) находится на стеке.

  void Spawn()
  {
      GameObject enemy = new GameObject(); // 1. Сам объект GameObject - в КУЧЕ.
                                           // 2. Локальная переменная `enemy` (ССЫЛКА на объект) - на СТЕКЕ.
  }
  

Почему это важно в Unity?

1. Производительность: Выделение и освобождение памяти на стеке невероятно быстрое (просто сдвиг указателя стека). Частое выделение в куче (например, в Update()) может приводить к просадкам FPS из-за работы сборщика мусора (Garbage Collector, GC).
2. Оптимизация: Осознанное использование структур для небольших, короткоживущих данных (например, Vector3, RaycastHit, кастомные struct для расчета урона) позволяет минимизировать аллокации в куче и снижать нагрузку на GC.
3. Копирование: Значимые типы на стеке копируются по значению. Изменение копии не затрагивает оригинал, что важно понимать при передаче структур в методы.

Итог: В C# под управлением Unity память гарантированно лоцируется на стеке только для локальных переменных, являющихся значимыми типами (int, float, bool, struct) и объявленных внутри методов, циклов или как параметры методов. Все остальные сценарии ведут к аллокациям в управляемой куче, что требует внимания со стороны разработчика для сохранения высокой производительности игры.