方法 (Method) 是一种类型定义,所以,它被存放在 Type Object 上,Type Object
是一个被分配在托管堆上的特殊类型,在同一个 AppDomain 中,每一个类型,都对应一个全局的 Type
Object。每个引用类型的实例,都包含一个指向它的直接类型的 Type Object 的指针,每个 Type Object
也存在类似的指针,用来标识它的直接父类型的 Type Object。
当调用静态方法时,CLR 会根据方法调用去寻找其对应的 Type Object,然后,把方法 JIT,JIT
之后的方法是本机代码,可以直接运行,然后,这部分代码被加载进入内存,方法的参数被加载进入当前执行栈,原来的执行上下文地址也被记录到执行栈;方法开始执行,执行完后,执行栈中的返回地址被读出,然后
CLR 利用本机跳转指令,跳转到该返回至继续执行。
当调用实例方法时,CLR 会根据实例的 Type Object 指针找到对应的 Type Object,然后,把方法 JIT,JIT
之后的方法是本机代码,可以直接运行,然后,这部分代码被加载进入内存,该实例对象,以及方法的参数被加载进入当前执行栈
(实例对象永远是第一个参数,即 arg0,利用 ldarg0
指令进行读取),原来的执行上下文地址也被记录到执行栈;方法开始执行,执行完后,执行栈中的返回地址被读出,然后 CLR
利用本机跳转指令,跳转到该返回至继续执行。
如果方法已经被 JIT 过,则不会被第二次 JIT。
方法在 IL 中是以字节流的形式存在的,所以,它仍然会占据内存。
方法 JIT 之后会被驻留在该进程的地址空间里面,因此,它也会在运行时占据内存。