Что такое boxing и unboxing в .NET и зачем они нужны на практике?

Упаковка (boxing) и распаковка (unboxing) в .NET

• тема: управление памятью и типами в .NET
• упаковка: преобразование значения типа-значения (value type) в ссылочный тип (object или интерфейс)
• как это работает: для значения создаётся объект в управляемой куче, после чего значение копируется внутрь него
• распаковка: обратная операция, при которой значение извлекается из объекта и преобразуется обратно в тип-значение
• используется для совместимости value types с API, рассчитанными на ссылочные типы, например с коллекциями без обобщений
• упаковка требует значительных ресурсов, поскольку связана с выделением памяти в куче и копированием значения
• при распаковке необходимо проверить соответствие типов и обеспечить безопасность операции
• оптимизация: в современных версиях .NET накладные расходы снижены, однако boxing/unboxing всё равно рекомендуется сводить к минимуму

Итог: boxing и unboxing позволяют применять типы-значения в контекстах, где ожидаются объекты, обеспечивая совместимость типов, но при этом могут снижать производительность.

Подробный ответ

Основной ответ

Упаковкой (boxing) в .NET называют преобразование значения типа-значения (value type), например int или struct, в объект ссылочного типа (reference type). Для этого в куче создаётся объект, а исходное значение копируется в него. Распаковка (unboxing) выполняет обратное преобразование: значение извлекается из объекта и возвращается к типу-значению. Благодаря этим операциям value types можно использовать там, где код работает с объектами, например при передаче value type в метод, принимающий object.

Ключевые моменты

• Value types, включая int, bool и struct, размещаются в стеке и обладают фиксированным размером, тогда как reference types хранятся в управляемой куче.
• Во время boxing в куче создаётся новый объект, поэтому операция считается сравнительно затратной по времени и памяти. В производительном коде её следует по возможности избегать.
• Для unboxing требуется точное совпадение типов; при его отсутствии возникает исключение InvalidCastException.
• Начиная с .NET 2.0, после появления обобщений (generics), boxing применяется реже: generics позволяют напрямую работать с value types, не выполняя упаковку.

Практический контекст

В старых проектах упаковка часто возникала при использовании классических коллекций (ArrayList) до выхода .NET 2.0, поскольку такие коллекции могли хранить только объекты. Обобщённые коллекции (List<T>) устраняют это ограничение и уменьшают расходы на boxing/unboxing, что особенно важно для производительных приложений. Поэтому сокращение boxing/unboxing является значимой задачей при профилировании .NET-приложений.