C# 如何处理调用结构上的接口方法？

Question

考虑：

interface I { void M(); }
struct S: I { public void M() {} }
// in Main:
S s;
I i = s;
s.M();
i.M();

Main 的 IL：

.maxstack 1
.entrypoint
.locals init (
    [0] valuetype S s,
    [1] class I i
)

IL_0000: nop
IL_0001: ldloc.0
IL_0002: box S
IL_0007: stloc.1
IL_0008: ldloca.s s
IL_000a: call instance void S::M()
IL_000f: nop
IL_0010: ldloc.1
IL_0011: callvirt instance void I::M()
IL_0016: nop
IL_0017: ret

首先 (IL_000a)，S::M() 以 this 的值类型调用。接下来（IL_0011），用引用（盒装）类型调用。

这是如何工作的？

我可以想到三种方法：

两个版本的I::M被编译，用于value/ref类型。在 vtable 中，它存储一个用于 ref 类型的，但静态调度的调用使用一个用于值类型的。 这很难看且不太可能，但有可能。
在 vtable 中，它存储了一个 "wrapper" 方法，该方法拆箱 this，然后调用实际方法。 这听起来效率很低，因为所有方法的参数都必须通过两次调用来复制。
在 callvirt 中有特殊的逻辑检查这一点。 效率更低：所有 callvirt 都会受到（轻微）惩罚。

Answer 1

简短的回答是，在方法本身中，struct 的值总是通过指针访问。这意味着该方法不会像 struct 作为普通参数传递一样运行，它更像是 ref 参数。这也意味着该方法不知道它是否在盒装值上运行。

长答案：

首先，如果我编译你的代码，那么s.M();不会生成任何代码。 JIT 编译器足够智能，可以内联方法，内联一个空方法不会产生任何代码。所以，我所做的是在 S.M 上应用 [MethodImpl(MethodImplOptions.NoInlining)] 来避免这种情况。

现在，这是您的方法生成的本机代码（省略函数序言和结尾）：

// initialize s in register AX
xor         eax,eax  
// move s from register AX to stack (SP+28h)
mov         qword ptr [rsp+28h],rax  
// load pointer to MethodTable for S to register CX
mov         rcx,7FFDB00C5B08h  
// allocate memory for i on heap
call        JIT_TrialAllocSFastMP_InlineGetThread (07FFE0F824C10h)  
// copy contents of s from stack to register C
movsx       rcx,byte ptr [rsp+28h]  
// copy from register CX to heap
mov         byte ptr [rax+8],cl  
// copy pointer to i from register AX to register SI
mov         rsi,rax  
// load address to c on stack to register CX
lea         rcx,[rsp+28h]  
// call S::M
call        00007FFDB01D00C8  
// copy pointer to i from register SI to register CX
mov         rcx,rsi  
// move address of stub for I::M to register 11
mov         r11,7FFDB00D0020h  
// ???
cmp         dword ptr [rcx],ecx  
// call stub for I::M
call        qword ptr [r11]

在这两种情况下，call 最终调用相同的代码（这只是一条 ret 指令）。第一次，CX寄存器指向栈分配的s（上面代码中的SP+28h），第二次指向堆分配的i（AX+8就在调用堆分配函数）。

C# 如何处理调用结构上的接口方法？

How does C# handle calling an interface method on a struct?

.net

c#

struct

cil

interface