Я просто участвовал в вопросе Является ли все в .NET объектом?.
И один плакат (в комментариях к принятому ответу), казалось, думал, что выполнение вызова метода по типу значения приводит к боксу. Он указал мне на "Бокс и Unboxing" (Руководство по программированию на С#), в котором точно не указан пример использования, который мы описываем.
Я не доверяю ни одному источнику, поэтому я просто хотел получить дополнительную информацию по этому вопросу. Моя интуиция заключается в том, что нет бокса, но моя интуиция действительно сосать.: D
Дальнейшая разработка:
В качестве примера я использовал:
int x = 5;
string s = x.ToString(); // Boxing??
Бокс не возникает, если рассматриваемая структура переопределяет метод, унаследованный от объекта, как утверждает принятый ответ.
Однако, если структура не переопределяет метод, перед вызовом callvirt выполняется команда "constrain" CIL. Согласно документации, OpCodes.Constrained Field, , это приведет к боксу:
Если этот тип является типом значения и thisType не реализует метод то ptr разыменовывается, помещается в коробку и передается как указатель 'this' на callvirt.
Здесь IL для вашего кода:
L_0001: ldc.i4.5 // get a 5 on the stack
L_0002: stloc.0 // store into x
L_0003: ldloca.s x // get the address of x on the stack
L_0005: call instance string [mscorlib]System.Int32::ToString() // ToString
L_000a: stloc.1 // store in s
Таким образом, ответ в этом случае отсутствует.
В случае, если вы дали ответ, нет, как указал цоколь.
Однако, если вы вызовете метод с помощью указателя интерфейса.
Рассмотрим код:
interface IZot
{
int F();
}
struct Zot : IZot
{
public int F()
{
return 123;
}
}
Тогда
Zot z = new Zot();
z.F();
Влияет ли не в бокс:
.locals init (
[0] valuetype ConsoleApplication1.Zot z)
L_0000: nop
L_0001: ldloca.s z
L_0003: initobj ConsoleApplication1.Zot
L_0009: ldloca.s z
L_000b: call instance int32 ConsoleApplication1.Zot::F()
L_0010: pop
L_0011: ret
Однако это делает:
IZot z = new Zot();
z.F();
.locals init (
[0] class ConsoleApplication1.IZot z,
[1] valuetype ConsoleApplication1.Zot CS$0$0000)
L_0000: nop
L_0001: ldloca.s CS$0$0000
L_0003: initobj ConsoleApplication1.Zot
L_0009: ldloc.1
L_000a: box ConsoleApplication1.Zot
L_000f: stloc.0
L_0010: ldloc.0
L_0011: callvirt instance int32 ConsoleApplication1.IZot::F()
L_0016: pop
"Я считаю, что вызов ToString, Равные и Gethashcode приводят к бокс, если структура не переопределить методы.
Я проверил ToString для вас. Int32 переопределяет ToString, поэтому я создал структуру, которая этого не делает. Я использовал .NET Reflector, чтобы гарантировать, что структура не была каким-то образом магически переопределяющим ToString(), и это не так.
Итак, код был таким:
using System;
namespace ConsoleApplication29
{
class Program
{
static void Main(string[] args)
{
MyStruct ms = new MyStruct(5);
string s = ms.ToString();
Console.WriteLine(s);
}
}
struct MyStruct
{
private int m_SomeInt;
public MyStruct(int someInt)
{
m_SomeInt = someInt;
}
public int SomeInt
{
get
{
return m_SomeInt;
}
}
}
}
И MSIL (через ILDASM) для основного метода:
IL_0000: ldloca.s ms
IL_0002: ldc.i4.5
IL_0003: call instance void ConsoleApplication29.MyStruct::.ctor(int32)
IL_0008: ldloca.s ms
IL_000a: constrained. ConsoleApplication29.MyStruct
IL_0010: callvirt instance string [mscorlib]System.Object::ToString()
IL_0015: stloc.1
IL_0016: ldloc.1
IL_0017: call void [mscorlib]System.Console::WriteLine(string)
IL_001c: ret
Теперь, несмотря на отсутствие бокс-звонка, если вы проверите документацию о принудительном + вызове virt, вы обнаружите, что это состояние что бокс имеет место. ööö
Цитата:
Если этот тип является типом значения и thisType не реализует метод то ptr разыменовывается, помещается в коробку и передается как указатель 'this' на callvirt.
Я считаю, что вызов ToString, Equals и Gethashcode приводит к боксу, если структура не переопределяет методы.