Когда происходит боксинг в .NET?

Когда происходит боксинг в .NET?

• контекст: JavaScript — типы данных
• боксинг — автоматическая упаковка примитивного значения в объект
• выполняется при обращении к методам примитивов: строк, чисел и логических значений
• на короткое время создаётся объект-обёртка (String, Number, Boolean)
• после вызова метода объект удаляется, а исходное значение остаётся примитивом
• благодаря этому примитивы можно использовать подобно объектам, вызывая их методы
• механизм упрощает работу с примитивными значениями в JavaScript и других языках, например в C#

Развёрнутый ответ

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

Боксинг (boxing) — это преобразование значения типа значения (value type) в объектную оболочку. В .NET таким объектом становится экземпляр типа System.Object. Иными словами, примитивное значение, например int, помещается в объект, чтобы его можно было использовать вместе со ссылочными типами. Упаковка выполняется автоматически во время компиляции или выполнения, если value type требуется передать как object или interface.

Основные моменты

• Когда выполняется боксинг: при присваивании value type переменной типа object либо интерфейсу. Например, в этом случае значение object obj = 123; упаковывается в объект как int.
• Техническая сторона: CLR резервирует область в управляемой куче и копирует туда значение, после чего оно используется через ссылку на объект.
• Преимущества и затраты: боксинг позволяет применять value type там, где ожидается объект, однако требует дополнительных ресурсов — выделения памяти и последующей работы сборщика мусора.
• Анбоксинг (unboxing): операция, обратная упаковке: значение извлекается из объекта, при этом выполняется проверка соответствия типа.

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

В прикладном коде боксинг желательно сводить к минимуму, прежде всего в часто выполняемых участках. Он может возникать, например, при работе с коллекциями без дженериков (ArrayList) или с non-generic interface. Начиная с .NET 2.0, дженерики заметно сокращают потребность в боксинге, поскольку позволяют работать с типами значений без упаковки.