Что такое ссылочные и значимые типы в C#? В чём разница? Зачем разделение на стек и кучу? Как очищается стек?

В C# типы делятся на значимые (value types) и ссылочные (reference types).

• Значимые типы хранят данные непосредственно. Примеры: int, double, struct. При присваивании копируется значение.
• Ссылочные типы хранят ссылку на область памяти в куче, где лежит объект. Примеры: class, string, массивы. При присваивании копируется ссылка, а не сам объект.

Разница:

• Значимые типы обычно хранятся в стеке (если локальные переменные), что быстро и эффективно.
• Ссылочные типы хранятся в куче, доступ к ним медленнее, но они позволяют создавать сложные структуры и изменяемые объекты.

Зачем разделение на стек и кучу:

• Стек — быстрое выделение и освобождение памяти, работает по принципу LIFO, подходит для временных данных.
• Куча — динамическое выделение памяти для объектов с неопределённым временем жизни.

Как очищается стек: Стек очищается автоматически при выходе из области видимости функции или блока — память просто «сдвигается» назад, без необходимости явного освобождения.

Пример:

int a = 5; // 'a' хранится в стеке
MyClass obj = new MyClass(); // 'obj' — ссылка в стеке, объект в куче

Таким образом, разделение обеспечивает баланс между производительностью и гибкостью управления памятью.