对值类型调用方法是否会导致 .NET 中装箱？

Question

我刚刚参与了 Stack Overflow 问题.NET 中的所有内容都是对象吗？< /a>。

一位发帖者（在已接受答案的评论中）似乎认为对值类型执行方法调用会导致装箱。 他向我指出装箱和拆箱（C# 编程指南），它没有准确指定我们正在描述的用例。

我不是一个相信单一来源的人，所以我只是想获得有关该问题的进一步反馈。 我的直觉是没有拳击，但我的直觉确实很糟糕。 ：D

进一步详细说明：

我使用的示例是：

int x = 5;
string s = x.ToString(); // Boxing??

如果所讨论的结构覆盖从对象继承的方法（如此处接受的答案所述），则装箱不会发生。

但是，如果结构体不重写该方法，则会先执行“约束”CIL 命令到 callvirt。 根据文档，操作码。约束场，这会导致装箱：

如果 thisType 是值类型并且 thisType 没有实现方法 然后 ptr 被取消引用、装箱，并且 作为“this”指针传递给 callvirt方法指令。

Answer 1

这是您的代码的 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

所以本例中的答案是否定的。

Answer 2

在您给出的情况下，答案是否定的，正如底座指出的那样。

但是，如果您通过接口指针调用方法，则会出现这种情况。

考虑代码：

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 

Answer 3

@ggf31316

“我相信调用 ToString，
等于和 Gethashcode 结果为
如果结构没有，则进行拳击
重写方法。”

我已经为你检查了 ToString。Int32 确实覆盖了 ToString，所以我创建了一个不覆盖 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

现在，尽管没有发生拳击调用，如果您检查 < a href="http://msdn.microsoft.com/en-us/library/system.reflection.emit.opcodes.constrained.aspx" rel="nofollow noreferrer">有关 constrained + 调用 virt 的文档，你会发现它表明拳击确实发生了oOo

引用：

如果 thisType 是值类型并且
thisType 没有实现方法
然后 ptr 被取消引用、装箱，并且
作为“this”指针传递给
callvirt方法指令。

Answer 4

我相信，如果结构不重写方法，调用 ToString、Equals 和 Gethashcode 会导致装箱。