Когда оператор использования упаковывает свой аргумент, когда это - структура?

Это дубликат Если моя структура реализует IDisposable, будет ли она помещена в коробку при использовании в операторе using?

ОБНОВЛЕНИЕ: Этот вопрос был темой моего блога в марте 2011 г. . Спасибо за отличный вопрос!

Ответ Эндрю Хейра правильный; Я просто хотел добавить интересную дополнительную заметку. Оптимизация, которую мы проводим, - использование ограниченного callvirt для пропуска бокса, когда это возможно, - фактически, строго говоря, является нарушением спецификации C #. В спецификации указано, что блок finally, который мы генерируем для ресурса типа значения, следующий:

     finally 
     {
         ((IDisposable)resource).Dispose();
     }

, который явно является преобразованием упаковки для типа значения. Можно строить надуманные сценарии, в которых видно отсутствие бокса в реализации.

(Спасибо Владимиру Решетникову за указание мне на это нарушение спецификации.

Методы экземпляра для типа значения принимают параметр this в качестве своего первого аргумента, аналогично тому, как это делают методы экземпляра для ссылочных типов. Однако параметр в этом случае является управляемым указателем на данные объекта, а не ссылкой на упакованный объект. Вы можете найти его в памяти следующим образом:

Unboxed object:
-----------------------------------------
|              DATA                     |
-----------------------------------------
 ^ managed pointer to struct

Boxed object:
------------------------------------------------------------
| GC/Object header |              [Boxed] DATA             |
------------------------------------------------------------
                    ^ The 'unbox' opcode gives a managed pointer to the boxed data
 ^ A *reference* to any instance of a reference type or boxed object, points here

DATA одинаковы в обоих случаях¹.

Методы экземпляра для типа значения ожидают управляемый указатель на данные , в частности , поэтому упаковка предметов не требуется. Как вы видите выше, код операции с ограничениями используется перед вызовом. Он сообщает среде выполнения, что следующая инструкция callvirt получает управляемый указатель на структуру ConsoleApplication2.Disposable вместо ссылки на объект, которую она обычно получает. При этом JIT может разрешить запечатанную перегрузку Dispose () , реализованную структурой, и вызвать ее напрямую, не упаковывая объект. Без префикса с ограничениями объект, переданный команде callvirt , должен был бы быть ссылкой на объект, поскольку стандартная процедура динамического разрешения виртуального вызова основана на том факте, что GC / Object заголовок всегда в ожидаемом месте - и да, это заставит упаковывать типы значений.

¹ Мы продолжим и пока проигнорируем Nullable .