【Emit基础】IL定义方法的语法详解

在IL中，方法的定义语法：

.method <flags> <call_conv> <ret_type> <name>(<arg_list>) <impl>

{

<method_body>

}

一.Flags部分可设置

1.可访问性

privatescope: 该方法不能被引用。

private: 该方法只能被自身及其嵌套类型调用。

famandassem: 该方法只能被当前程序集内部的继承类型调用。(internal and protected)

assembly: 该方法只能被程序集内部成员调用。

family: 该方法只能被继承类型调用。

famorassem: 该方法可以被程序集内部成员或外部继承类型调用。(internal or protected)

public: 公共方法。

2. Contract

static: 静态方法。

final: 不能被 override 的方法。

virtual: 虚方法，不能和 static 同时使用。

hidebysig: 该方法对继承类型隐藏。该标记仅提供给编译器使用，但会被 CLR 忽略。

3. Vitual method table (v-table) control flags

newslot: 必须和 virtual 一起使用，添加该关键字的虚方法不会 override 基类中同名(含签名)虚方法，而是在 v-table 中创建一个新槽(new slot)。

4. Implementation

abstract: 抽象方法，不提供实现代码。其 RVA = 0，任何拥有抽象方法的类型必须添加 abstract 成为抽象类型。

specialname: 该方法名有特殊含义，如 .cctor、.ctor 等。

pinvokeimpl: 该方法是非托管方法，通过 P/Invoke 封装调用。

5. Reserved

rtspecialname: 该方法拥有 CLR 内部使用的特殊名称，必须和 specialname 一起使用。

二. Implementation Flags

1. Code type

cil: 该方法由 CIL (common intermediate language) 实现。(默认)

native: 该方法由 native code 实现。

runtime: 该方法由 CLR 自动生成。只有 mscorlib.dll 中的某些方法带有此标记。

2. Code management

managed: 托管代码。(默认)

unmanaged: 非托管代码，必须和 native 一起使用。

3. Implementation and interoperability

internalcall: 内部使用标记。

synchronized: 指示 JIT 自动为其插入同步代码，以保证多线程调用安全。在 C# 中我们为方法添加 [MethodImpl(MethodImplOptions.Synchronized)] 特性时，编译器就会为该方法添加该标记。对于实例方法而言，自动插入代码会锁定实例对象引用；而静态方法，会锁定其所在类型的静态类型对象(System.Type)。

noinlining: 禁止内联(inline)调用。