Когда стек вызовов (call stack) увеличивается?

Стек вызовов увеличивается ("растёт вверх") при каждом вызове метода, функции или конструктора. В этот момент в стек помещается новый стек-фрейм (кадр), который содержит:

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

Пример на C#:

void Main()
{
    int a = 5; // Локальная переменная Main в стеке
    int result = Calculate(a); // 1. Вызов Calculate -> стек РАСТЁТ
    Console.WriteLine(result);
}

int Calculate(int x) // 2. Новый фрейм для Calculate: аргумент x, адрес возврата
{
    int y = x * 2; // 3. Локальная переменная y добавляется в текущий фрейм
    return y;      // 4. При возврате фрейм Calculate удаляется -> стек УМЕНЬШАЕТСЯ
}

Критические последствия:

• Ограниченный размер: Стек обычно небольшой (1-8 МБ в зависимости от ОС и настроек).
• StackOverflowException: Возникает при слишком глубокой рекурсии или бесконечном вызове методов, когда стек исчерпывает отведённую память.
• Значимые vs ссылочные типы: struct (int, DateTime, пользовательский struct) хранятся в стеке, если они являются локальными переменными. Объекты ссылочных типов (class) создаются в куче (heap), а в стеке хранится лишь ссылка на них.