Расскажи, как выделяется память на стеке и в куче. Всегда ли значимые типы размещаются на стеке?

В C# память на стеке выделяется очень быстро и просто: при вызове метода для локальных переменных выделяется блок памяти на стеке, который освобождается при выходе из метода. Стек работает по принципу LIFO.

Куча — это область памяти для объектов ссылочных типов и некоторых значимых типов, которые не помещаются в стек (например, большие структуры или объекты, размещённые внутри классов). Куча управляется сборщиком мусора.

Значимые типы (struct) обычно размещаются на стеке, если они являются локальными переменными или параметрами метода. Но если значимый тип является полем ссылочного типа (класса) или находится внутри замыкания, он размещается в куче.

Пример:

struct Point { public int X, Y; }

void Method() {
    Point p = new Point(); // p на стеке
    var obj = new Wrapper { P = p }; // obj на куче, p внутри obj тоже на куче
}

class Wrapper {
    public Point P;
}

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