c# - 为什么显式实现的接口(interface)方法是用 callvirt 调用的，而隐式实现的不是？

Question

为什么编译器生成一个 callvirt 指令用于调用显式实现的接口(interface)方法和一个 call 用于调用 < em>implicilty 在以下代码中实现了接口(interface)方法？

编译器是开启了优化的 mono 的 mcs 4.2.2。

public interface ITest
{
  void ExplicitInterfaceMethod();
  void ImplicitInterfaceMethod();
}

public sealed class Test : ITest
{
  void ITest.ExplicitInterfaceMethod()
  { }

  public void ImplicitInterfaceMethod()
  { }

  public void InstanceMethod()
  { }

  public void CallTest()
  {
    ((ITest) this).ExplicitInterfaceMethod();
    // IL_0000:  ldarg.0 
    // IL_0001:  callvirt instance void class ITest::ExplicitInterfaceMethod()

    this.ImplicitInterfaceMethod();
    // IL_0006:  ldarg.0 
    // IL_0007:  call instance void class Test::ImplicitInterfaceMethod()

    InstanceMethod();
    // IL_000c:  ldarg.0 
    // IL_000d:  call instance void class Test::InstanceMethod()
  }
}

到目前为止我发现了什么:

• callvirt 用于“可为空的接收器”，因为它在向方法发出跳转之前执行空检查。看起来 this 可能为空。 ( Call and Callvirt )
• call 如果编译器可以证明接收者是非空的，则使用。
• 关闭优化可能会产生更多的 callvirt 来帮助调试器。 (因此我编译时启用了优化。)

在这种情况下，在我看来 this 总是非空的，否则我们无论如何都不会在封闭方法中结束。

mono 是否错过了此处的优化？或者 this 是否有可能变为 null？

如果以某种方式涉及终结器，我可以想象这种情况，但这里不是这种情况。并且如果 this 在这里变成null 是可能的，那么使用call 不是错误的吗> 完全没有？

编辑

根据@jonathon-chase 的回答和对问题的评论，我现在提炼出一个可行的理论:接口(interface)上的方法必须是虚拟的，因为一般来说，你不能静态地确定实现类型提供“普通”或虚拟/抽象实现。要确保在通过接口(interface) callvirt 调用时实现类型层次结构上的虚方法可以正常工作，这是可行的方法。 (请参阅我对通过接口(interface)调用隐式方法的问题的评论)。

关于潜在的优化:

在我的示例中，我有一个sealed 类型，并且我只在我自己的 继承层次结构中调用。编译器可以静态地确定 1) 实现是非虚拟的，2) 它是在 this 引用上调用的，以及 3) 由于 sealed 关键字；所以虚拟实现是不可能存在的。我认为在这种情况下可以使用 call，但我也看到与此分析所需的大量工作相比，其好处可以忽略不计。

Answer 1

看起来接口(interface)方法是作为虚拟方法实现的，因此显式实现被覆盖了虚拟方法实现。我越想越觉得显式实现实际上是虚拟重载似乎更有意义。

我还没有检查单声道编译器，但这是在 csc 中使用/target:library/optimize+ 后 ildasm.exe 的转储。如您所见，接口(interface)方法在接口(interface)上声明的地方是虚拟的。将类型转换为接口(interface)时，我们为该方法提供虚拟重载似乎是有意义的，而不是在同一类上隐式声明的方法。仍然会喜欢一个比我更有见识的人。

使用的代码:

using System;

public interface ITest
{
  void TestMethod();
}

public class Test : ITest
{
  void ITest.TestMethod()
  {
    Console.WriteLine("I am Test");
  }

  void TestMethod()
  {
    Console.WriteLine("I am other test");
  }
}

IL 输出:

.class interface public abstract auto ansi ITest
{
  .method public hidebysig newslot abstract virtual 
          instance void  TestMethod() cil managed
  {
  } // end of method ITest::TestMethod

} // end of class ITest

.class public auto ansi beforefieldinit Test
       extends [mscorlib]System.Object
       implements ITest
{
  .method private hidebysig newslot virtual final 
          instance void  ITest.TestMethod() cil managed
  {
    .override ITest::TestMethod
    // Code size       11 (0xb)
    .maxstack  8
    IL_0000:  ldstr      "I am Test"
    IL_0005:  call       void [mscorlib]System.Console::WriteLine(string)
    IL_000a:  ret
  } // end of method Test::ITest.TestMethod

  .method private hidebysig instance void 
          TestMethod() cil managed
  {
    // Code size       11 (0xb)
    .maxstack  8
    IL_0000:  ldstr      "I am other test"
    IL_0005:  call       void [mscorlib]System.Console::WriteLine(string)
    IL_000a:  ret
  } // end of method Test::TestMethod