在 IL 中对空引用调用实例方法

Question

在 IL 中可以对空引用调用实例方法是否正确？ 有没有例子可以证明这一点..？

Answer 1

是的，这是可能的，只要该方法不使用 this 即可，因为 CLR 不会对 call 指令进行 null 检查。

您必须手动修改 IL，因为 C# 编译器几乎总是生成 callvirt 指令¹。

有关详细信息和示例，请参阅此博客文章：

在空引用上调用实例方法

示例

.method private hidebysig static void  Main(string[] args) cil managed
{
    .entrypoint
    // Code size       18 (0x12)
    .maxstack  1
    .locals init ([0] class SomeClass o, [1] string hello)
    IL_0000:  nop
    IL_0001:  ldnull
    IL_0002:  stloc.0
    IL_0003:  ldloc.0
    IL_0004:  call       instance string SomeClass::GetHello()
    IL_0009:  stloc.1
    IL_000a:  ldloc.1
    IL_000b:  call       void [mscorlib]System.Console::WriteLine(string)
    IL_0010:  nop
    IL_0011:  ret
} 

¹实际上是 C# 编译器发出 的原因callvirt 即使在简单的 call 指令就足以防止在空引用上调用实例方法的情况下。通过编译器的这种行为，用户将得到 NullReferenceException ，因此可以避免在空指针上调用方法的奇怪情况。 Eric Gunnerson 在不久前的一篇博客文章中解释了这一点：为什么 C# 总是使用 callvirt？ < a href="https://stackoverflow.com/users/1695/gishu">Gishu 在 相关问题。

Answer 2

请参阅我的 博客条目以获取信息。

IL 代码示例：

.class Program
{
  .method static void  Main(string[] args)
  {
    .entrypoint
    .locals init ([0] class Program p)
    ldloc.0 // but wait, it's still null!
    call   instance void Program::Awesome()
    ret
  } 

  .method instance void Awesome()
  {
    ldstr      "Awesome!"
    call       void [mscorlib]System.Console::WriteLine(string)
    ret
  } 

  .method public specialname rtspecialname instance void  .ctor()
  {
    ldarg.0
    call       instance void [mscorlib]System.Object::.ctor()
    ret
  }
}

Answer 3

CLR 不需要它，它是语言的实现细节。 C# 和 VB.NET 执行测试。 C++/CLI 是一种著名的托管语言，它允许这样做。只要实例方法不引用任何类成员，就不会出错。如果是这样，NullReferenceException 将像平常一样引发，只是让您很难找出原因。

#include "stdafx.h"

using namespace System;

ref class Test {
public:
    void Run() {
        Console::WriteLine("no problem");
    }
};

int main(array<System::String ^> ^args)
{
    Test^ obj = nullptr;
    obj->Run();
    return 0;
}