Читая про упаковку/распаковку на Википедии,
Распаковка ссылочного типа в значимый подразумевает, что это должно быть выполнено явно. При этом, необходимо во-первых, сначала удостовериться, что тип упакованного объекта по ссылке соответствует исходному, а во-вторых, скопировать поля данных упакованного объекта в новую переменную данного типа. Как правило, проверку соответствия типов осуществляют с помощью механизма генерирования и обработки исключений, после чего копирование переносит внутренние данные (поля) объекта из «кучи» в стек выполняемого приложения, где хранятся его локальные переменные. Последовательность конкретных действий сводится к следующим шагам:
если служебный указатель на упакованный значимый тип имеет значение null, то генерируется исключение NullReferenceException,
если упакованный объект не соответствует требуемому типу, то выбрасывается исключение InvalidCastException.
наткнулся на то, что тут говорят:
1. если служебный указатель на упакованный значимый тип имеет значение null, то генерируется исключение NullReferenceException.
Я правильно понимаю, что под "Служебный указатель на упакованный значимый тип", следует понимать "Указатель на объект-тип (TypeObjectPointer)"? И если я прав, разве TypeObjectPointer может быть когда либо равным null?