Сборка мусора для оболочек ValueType
Цитата из Ссылка MSDN для класса ValueType
In cases where it is necessary for a value type to behave like an object, a wrapper that makes the value type look like a reference object is allocated on the heap, and the value type's value is copied into it. The wrapper is marked so the system knows that it contains a value type.
Это означает, что когда я кодирую «integerVariable.ToString ();» созданный объект-оболочка позволяет использовать этот метод, а также все остальные методы System.Object.
Is this understanding correct?
How are these objects different from the 'regular' objects?
Is the Garbage Collection different for such object? If yes, how?
Заранее спасибо.
Ответы 2
Да, это понимание правильное.
Эти объекты ничем не отличаются от «обычных» объектов в CLR.
Поскольку эти объекты (также называемые «ящиками», поскольку они обертывают типы значений), такие же, как и любой другой объект, сборщик мусора тоже такой же.
@Marc, а зачем создавать бокс, если метод не переопределен?
@Munish - потому что это единственный способ вызвать метод object.Blah (). Если известно, что он переопределен структурой, вы можете использовать статический вызов, что является наиболее правильным способом сделать это.
Обертка - это «коробка»; повторная сборка мусора из ящиков - существует разница нет в том, что касается сборщика мусора. Коробка собирается с теми же правилами и обращением, что и любой другой объект.
однако, если тип значения переопределяет метод (например, ToString()), нет необходимости помещать его в коробку для вызова метода. Следовательно, типы-значения должны (как правило) переопределять как можно больше методов object ;-p
Вы можете увидеть разницу в IL (через отражатель) - так для C#:
static int GetInteger() {return 123;}
static string TestToString() {
int i = GetInteger(); // to prove no cheating
return i.ToString();
}
static Type TestGetType() {
int i = GetInteger(); // to prove no cheating
return i.GetType();
}
У нас есть ИЛ:
.method private hidebysig static string TestToString() cil managed
{
.maxstack 1
.locals init (
[0] int32 i)
L_0000: call int32 Program::GetInteger()
L_0005: stloc.0
L_0006: ldloca.s i
L_0008: call instance string [mscorlib]System.Int32::ToString()
L_000d: ret
}
.method private hidebysig static class [mscorlib]System.Type TestGetType() cil managed
{
.maxstack 1
.locals init (
[0] int32 i)
L_0000: call int32 Program::GetInteger()
L_0005: stloc.0
L_0006: ldloc.0
L_0007: box int32
L_000c: call instance class [mscorlib]System.Type [mscorlib]System.Object::GetType()
L_0011: ret
}
Обратите внимание, что ToString() не включает коробку, но GetType() использует L_0007 (поскольку он не (не может быть) переопределен)
Не совсем правильно; вызов ToString () не создает поле, если метод переопределен, что обычно и происходит.