Где хранится структура?

Ответ на вопрос о хранении структур в C#

В контексте Unity и C# под термином «структура» (struct) подразумевается тип значения (value type), что является ключевым для понимания механизма её хранения в памяти. Ответ зависит от контекста объявления и использования структуры.

1. Хранение на стеке (Stack) - основной случай

По умолчанию экземпляры структур хранятся на стеке (stack), в отличие от классов (ссылочных типов), которые хранятся в куче (heap). Это касается локальных переменных и полей, являющихся структурными типами.

Пример хранения локальной переменной-структуры на стеке:

void MyMethod()
{
    // Переменная 'position' размещается на стеке
    Vector3 position = new Vector3(1f, 2f, 3f);
    // ... использование переменной
} // При выходе из метода память на стеке автоматически освобождается

2. Хранение внутри классов (в куче)

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

Пример структуры как поля класса:

public class Player
{
    // Поле 'stats' хранится внутри экземпляра класса Player в куче
    public PlayerStats stats;
}

public struct PlayerStats
{
    public int health;
    public int mana;
}

// Использование:
Player player = new Player(); // Объект создаётся в куче
player.stats.health = 100; // Структура PlayerStats находится внутри этого объекта

3. Особенности хранения структур в массивах

При создании массива структур, весь массив (включая все его элементы) выделяется в непрерывном блоке памяти. Элементы массива структур хранятся непосредственно в массиве, а не как ссылки на объекты в куче.

Пример массива структур:

// Создание массива из 10 структур Point
Point[] points = new Point[10];
// Весь массив выделяется в куче, но каждый элемент Point хранится внутри массива как значение

public struct Point
{
    public int X, Y;
}

4. Упаковка (Boxing) - хранение в куче как объекта

Структура может быть перемещена в кучу через процесс упаковки (boxing). Это происходит, когда экземпляр структуры приводится к типу object или интерфейсу, который она реализует.

Пример упаковки структуры:

public struct Score
{
    public int value;
}

Score score = new Score { value = 100 };
// Упаковка: структура копируется в кучу, создаётся объект-обёртка
object boxedScore = score; // Происходит упаковка, выделение памяти в куче

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

• Производительность: Хранение на стеке обычно быстрее, так как выделение и освобождение памяти происходит эффективнее, нет нагрузки на сборщик мусора (Garbage Collector).
• Копирование: При передаче структуры в метод или присваивании происходит полное копирование всех полей, что может быть накладным для больших структур.
• Иммутабельность: Рекомендуется проектировать структуры как неизменяемые (immutable) для избежания неочевидного поведения.
• Unity-специфика: Многие типы Unity (Vector3, Quaternion, Color, Rect) являются структурами для оптимизации производительности при частых математических вычислениях.

Ключевой вывод: Структура по умолчанию хранится там, где объявлена её переменная: на стеке для локальных переменных, в куче как часть объекта-владельца для полей классов. Это фундаментальное отличие от классов, которые всегда размещаются в куче. Понимание этого различия критически важно для написания производительного кода в Unity.