Что хранится в стеке?

Что хранится в стеке (stack) в C# и .NET?

В контексте C# и .NET, стек (stack) — это область памяти, используемая для хранения значимых типов (value types), ссылок на объекты в куче (heap) и данных вызовов методов, включая локальные переменные и управление потоком выполнения. Это критически важная часть архитектуры Common Language Runtime (CLR), обеспечивающая эффективное управление памятью и выполнение программ.

Основные категории данных, хранящихся в стеке

1. Значимые типы (Value Types)

Все значимые типы (например, int, double, bool, struct, enum) хранятся в стеке, если они объявлены как локальные переменные метода или как параметры метода. Однако если они являются частью ссылочного типа (например, поля класса), то хранятся в куче (heap) вместе с объектом.

void ExampleMethod()
{
    int number = 42; // Хранится в стеке
    DateTime date = DateTime.Now; // DateTime — структура, хранится в стеке
    MyStruct myStruct = new MyStruct(); // Экземпляр структуры — в стеке
}

2. Ссылки на объекты в куче

Для ссылочных типов (например, class, interface, delegate, string, array) в стеке хранится ссылка (указатель/адрес) на фактический объект, который размещается в управляемой куче (managed heap). Сами объекты (содержащие поля, свойства и т.д.) хранятся в куче.

void ExampleMethod()
{
    string name = "Alice"; // Ссылка 'name' хранится в стеке, строка "Alice" — в куче
    List<int> numbers = new List<int>(); // Ссылка 'numbers' — в стеке, объект списка — в куче
}

3. Данные вызовов методов: стек вызовов (Call Stack)

Каждый вызов метода создает в стеке фрейм стека (stack frame), который содержит:

• Локальные переменные метода (как значимые, так и ссылки).
• Параметры метода, переданные по значению.
• Адрес возврата — место, куда вернуться после завершения метода.
• Другие служебные данные, например, информацию об обработке исключений.

void Main()
{
    int a = 5;
    int b = 10;
    int result = Sum(a, b); // При вызове Sum создается новый фрейм стека
}

int Sum(int x, int y) // Параметры x и y хранятся в стеке (копии значений a и b)
{
    int temp = x + y; // Локальная переменная temp хранится в стеке
    return temp;
}

4. Указатели на объекты для замыканий и асинхронных методов

В некоторых сценариях, например, при использовании лямбда-выражений или асинхронных методов (async/await), в стеке могут храниться дополнительные служебные данные, включая ссылки на захваченные переменные (через механизм замыканий), хотя сами захваченные переменные часто перемещаются в кучу.

Ключевые особенности стека в .NET

• Автоматическое управление: Распределение и освобождение памяти в стеке происходит автоматически при входе и выходе из метода (по принципу LIFO — Last In, First Out).
• Быстрый доступ: Операции со стеком очень быстрые, так как это просто перемещение указателя стека.
• Ограниченный размер: Размер стека обычно фиксирован (например, 1 МБ для потоков в .NET). Превышение лимита приводит к StackOverflowException (часто из-за бесконечной рекурсии).
• Потоковая изоляция: Каждый поток имеет свой собственный стек, что обеспечивает безопасность в многопоточных сценариях.

Пример, иллюстрирующий распределение памяти

public class Person // Ссылочный тип, хранится в куче
{
    public string Name; // Ссылка на строку (куча), сама строка — в куче
    public int Age;     // Значимый тип, хранится в куче внутри объекта Person
}

public void Process()
{
    int counter = 0;                // Значимый тип, хранится в стеке
    Person person = new Person();   // Ссылка 'person' — в стеке, объект Person — в куче
    person.Name = "John";           // Строка "John" — в куче
    person.Age = 30;                // Значение 30 хранится в куче внутри объекта Person
}

Отличие стека от кучи (Heap)

• Стек: Быстрый, автоматически управляется, хранит локальные переменные и управление вызовами, размер ограничен.
• Куча: Динамически управляется сборщиком мусора (GC), хранит объекты ссылочных типов, размер ограничен лишь доступной памятью, доступ медленнее.

В итоге, стек в .NET — это высокоэффективная область памяти, предназначенная для хранения кратковременных данных, связанных с выполнением методов, что делает его фундаментальным для производительности и управления памятью в приложениях на C#.