M3接下来调用非虚实例方法，GetYearsEmployed。调用虚方法时，JIT编译器会找到发出调用的那个变量(e)的类型(Employee)对应的类型对象。如果找不到，就回溯到 object 类，之所以能回溯，是因为每一个对象都有一个字段引用了它的基类类型。从方法记录表中找到被调用方法的记录项后，进行JIT编译，编译完成后，在进行方法的调用。

    接下来调用的是Empoloyee的虚实例方法GetProgressReport。调用时，JIT要先在方法中生成一些额外的代码，每次都会执行这些代码。这些代码，首先检查发出调用的变量，然后跟随地址来到发出调用的对象，变量e引用的是 manager 对象，然后代码检查对象的内部的“类型对象指针”成员，改成员指向了实际的类型。然后在对类型的对象方法表中查找被调用的方法的记录向，对方法进行JIT编译，并且执行。

     Employee和Manager类型对象都会包含一个“类型对象指针”成员，由于类型对象本身也是对象，CLR在创建类型对象时，必须初始化这些成员。CLR开始在进程中运行时，会立即为MSCorLib.dll中定义的System.Type类型对象创建一个特殊的类型对象。Employee和Manager类型对象都是改类型的“实例”,因此，他们的类型对象指针成员都会初始化成对System.Type类型对象的引用。当然，System.Type类型对象本身也是对象，内部也有“类型对象指针”成员，这个指针就指向了他本身，因为这个System.Type类型对象本身是一个类型对象的“实例”。而System.Object的GetType方法返回存储在指定对象的“类型对象指针”成员中的地址，也就是说，GetType方法返回执行对象的类型对象指针，这样就可以判断任何对象的真实类型。