C# NET应用程序中是否需要ret指令？

我注意到C#编译器在

void

方法的末尾生成了

ret

指令：

.method private hidebysig static void Main(string[] args) cil managed
{
    // method body
    L_0030: ret 
} 

我已经为.NET编写了一个编译器，无论我是否发出

ret

语句，它都可以工作（我已经检查了生成的IL，它确实不在那里）

我只是想知道：返回

void

的方法是否需要

ret

？它似乎与堆栈没有任何关系，因此我认为它完全没有必要使用

void

方法，但我想听听更了解CLR的人的意见。

根据C#标准（ECMA-334），方法定义如下：

方法是实现可由对象或类执行的计算或操作的成员。 方法有一个形式参数列表（可能为空），返回值（除非方法的返回类型为 void），并且是静态的或非静态的

（；8.7.3：方法）

现在，CLI标准定义了以下内容：

控制不允许简单地“通过”方法的结尾。所有路径均应终止 使用以下指令之一：ret、throw、jmp或（tail.后跟call、calli或callvirt）

（；12.4,6）

---

这意味着，在C#中，返回

void

的方法不需要返回语句。但是，当C#编译器将C#代码编译为IL代码时，需要在方法末尾终止路径，它会发出

ret

来结束方法。

确实需要它才能验证代码。否则，PEVerify将输出以下错误消息：

[IL]：错误：[（文件名）：（方法名）][offset 0x00000000]在方法结束时不返回

来自Ecma-335。（12.4,6）

控制不允许简单地“通过”方法的结尾。所有路径均应终止 使用以下指令之一：ret、throw、jmp或（tail.后跟call、calli或callvirt）

---

（我假设C#家伙在void方法上发出ret，因为这使他们的工作更容易：他们的编译器中只有一个用于void和非void方法的方法生成器函数，并且总是发出ret，而不是检查是否需要。不过我只是猜测）您可以使用.NET reflector查看它是否生成任何不同的字节码。我的猜测绝对不是，因为没有理由这么做。你在评论中提到的猜测看起来也很正确。@Merlyn不，不是。如果我不发射ret，则IL中不会发射ret。根据ECMA-335 12.4，6，必须有ret<代码>控件不允许简单地“通过”方法的结尾。所有路径都应以以下指令之一终止：ret、throw、jmp或（tail.后接call、calli或callvirt）。如果它起作用，它会意外地起作用。不可验证的程序允许有实现定义的行为，而实现定义的行为包括按您希望的方式工作。最好使用PEVERIFY来确保代码生成器始终生成可验证的代码。Ecma-355的标题为“通过SIP的QSIG隧道”