Значимые и ссылочные типы

В основе системы типов C# лежит один вопрос: где живут данные и что происходит при присваивании. Значимые типы (struct, int, bool, enum) хранят значение на месте и копируются целиком; ссылочные типы (class, string, массивы) живут в куче, а переменная держит ссылку — присваивание копирует ссылку, и обе переменные делят один объект. Это различие определяет поведение присваивания, передачи в метод, сравнения и производительности.

Ошибки здесь редко про синтаксис — они про модель памяти. struct, переданный в метод, копируется, поэтому изменения не видны вызывающему; мутабельный struct в свойстве или коллекции меняет копию, а не оригинал; присваивание значимого типа к object молча упаковывает его в кучу и нагружает сборщик мусора; as на non-nullable значимом типе — ошибка компиляции. Ниже — каждый механизм по слоям.

Карта темы

• Значимые типы — хранят данные на месте (стек или внутри контейнера), а присваивание копирует всё значение.
• Ссылочные типы — живут в куче, переменная держит ссылку, присваивание копирует ссылку и объект остаётся общим.
• Семантика struct — struct против class, отсутствие наследования и ловушки мутабельных структур.
• Упаковка и распаковка — оборачивание значимого типа в object в куче и его цена для сборщика мусора.
• Проверка типов — is, as и pattern matching для проверки типа во время выполнения.

Частые ошибки и ловушки

Значение для собеседований

Различие значимых и ссылочных типов — один из самых частых вопросов на C#-интервью, потому что от него зависит буквально всё поведение присваивания. Кандидат, который объясняет его через «значимый копируется целиком, ссылочный делит объект через ссылку» и тут же приводит следствие для передачи в метод, показывает рабочую модель памяти, а не заученный факт.

Что обычно проверяют:

• Где хранится значимый тип и почему «всегда на стеке» — неточность (поле класса лежит в куче).
• Что копирует присваивание: значение целиком (value) против ссылки (reference).
• struct против class — наследование, null, семантика копирования.
• Что такое упаковка/распаковка и почему это неявное выделение в куче.
• Разница is и as и почему as не работает с non-nullable значимыми типами.

Типичный неверный ответ: «Значимые типы на стеке, ссылочные в куче — вот и вся разница». Это открывает разговор о том, что значимый тип как поле класса живёт в куче, что суть — в семантике копирования, а не в месте хранения, и что именно она объясняет поведение методов, коллекций и упаковки.