一、窥探准备工作
public class Base
{
public void M()
{
Console.WriteLine("M in Base");
} public virtual void N()
{
Console.WriteLine("N in Base");
}
} public class Three : Base
{
private static int ID
{
get;
set;
} public override void N()
{
// Something new in class Three
Console.WriteLine("N in Three");
} public void M()
{
Console.WriteLine("M in Three"); M1();
} public void M1()
{
Console.WriteLine("M1 in Three");
}
} public class Program
{
public static void Main(string[] args)
{
Base three = new Three();
three.M();
three.N(); Console.ReadKey();
}
}
调试运行,执行结果如下图所示:
二、窥探方法表执行过程
2.1 方法表的创建
执行Main方法调用时,Three实例的创建与相应类型的加载也随之发生。然而,类型加载是在实例创建之前完成的,也就是我们常常说到的方法表创建。当程序执行到three.N()处时,Three类型的方法表如下图所示:
2.2 总体执行过程
(1)class loader 从元数据表加载相关元数据信息,根据信息创建方法表(这里主要是指CORINFO_CLASS_STRUCT结构)
(2)加载后,方法表槽都保存了应该执行的行为逻辑,这些信息保存在方法描述(Method Desc)结构中,MethodDesc被初始化为指向IL代码,同时还包含一个指向触发JIT编译的PreJitStub地址
2.3 具体执行过程
这里以N()方法来看看其具体的执行过程:
(1)任何方法第一次执行时都会首先触发执行JIT编译,JIT编译的主要工作就是将IL代码翻译为本地代码,并插入指向本地代码的jmp指令地址覆盖原来的Call JIT Complier指令
(2)当该方法再次被执行,因为方法描述(MethodDesc结构)中保存了机器码地址,以后的执行将不会执行JIT编译过程而直接执行机器码,实现整个执行过程。
三、小结
Metadata描述了静态的结构,而IL阐述了动态的执行,一静一动承载着很多的技术奥秘。