Как CLR знает тип предмета в штучной упаковке?

Question

Когда тип значения помещается в коробку, он помещается внутри ссылочного объекта нетипизированного. Итак, что здесь вызывает недопустимое исключение?

long l = 1; 
object obj = (object)l; 
double d = (double)obj; 

Answer 1

Нет, это не помещено в нетипизированный объект. Для каждого типа значений в CLR имеется тип ссылочного типа. Таким образом, вы бы что-то вроде:

public class BoxedInt32 // Not the actual name 
{ 
    private readonly int value; 
    public BoxedInt32(int value) 
    { 
     this.value = value; 
    } 
} 

Это коробочный тип непосредственно не доступен в C#, хотя в C++/CLI. Очевидно, что он знает оригинальный тип. Поэтому в C# у вас должен быть тип компиляции object для переменной, но это не значит, что это фактический тип объекта.

Для получения более подробной информации см. ECMA CLI spec или CLR via C#.

Answer 2

Ответ Джона Скита охватывает причину; как и для как получить вокруг него, вот что вы должны сделать:

long l = 1; 
object obj = (object)l; 
double d = (double)(long)obj; 

Причиной двойного броска это; когда .NET распаковывает эту переменную, она знает, как ее можно удалить в тип, из которого она была помещена в коробку (long в вашем примере.) После того, как вы распаковали ее, и у вас есть правильный long примитив, вы можете затем перевести его на double или любой другой тип, отлитый от long.

Answer 3

Я отвечу на ваш вопрос здесь:

http://blogs.msdn.com/ericlippert/archive/2009/03/19/representation-and-identity.aspx