CLR 虚方法调用和接口方法调用

不知接口方法和虚方法分发有什么区别？似乎在CIL中都是callvirt指令。

对，MSIL里都是callvirt，但JIT的时候得到了不同的处理：
对虚方法的分发是编译成这样：

1. mov  ecx, esi              ; 假设现在ESI是一个指向对象实例的指针，复制到ECX里
2. mov  eax, dword ptr [ecx]  ; 对象实例的第一项是指向方法表的指针，复制到EAX里
3. call dword ptr [eax + 7Ch] ; EAX现在指向方法表，0x7C是我随便写的一个偏移量。这个在加载类的时候就可以确定

mov  ecx, esi              ; 假设现在ESI是一个指向对象实例的指针，复制到ECX里
mov  eax, dword ptr [ecx]  ; 对象实例的第一项是指向方法表的指针，复制到EAX里
call dword ptr [eax + 7Ch] ; EAX现在指向方法表，0x7C是我随便写的一个偏移量。这个在加载类的时候就可以确定

对接口方法的分发是编译成：

1. mov  ecx, esi             ; 跟上面一样，ESI是指向对象的指针，复制到ECX
2. call dword ptr [0099EEA0h] ; JIT的时候指向一个固定地址的stub（这里数字是随便编的，别在意）

mov  ecx, esi             ; 跟上面一样，ESI是指向对象的指针，复制到ECX
call dword ptr [0099EEA0h] ; JIT的时候指向一个固定地址的stub（这里数字是随便编的，别在意）

这个call是对一个固定地址做间接调用。一开始是调用到一个通用的resolver stub，去找具体的方法的地址。如果在同一个调用点出现两次相同类型的被调用对象，则间接调用会指向为该类型特化的一个dispatch stub上，样子类似这样：

1. cmp dword ptr [ecx], 009A3377h ; 后面的常量是特定类型的方法表地址
2. jne 0091A012                   ; 比较不相等的话，跳转到一个特定的resolver stub上
3. jmp 00EBD070                   ; 相等的话则直接跳转到目标方法的地址

cmp dword ptr [ecx], 009A3377h ; 后面的常量是特定类型的方法表地址
jne 0091A012                   ; 比较不相等的话，跳转到一个特定的resolver stub上
jmp 00EBD070                   ; 相等的话则直接跳转到目标方法的地址

这段代码被称为monomorphic inline method cache，怎么翻译好呢……单态内联方法缓存？ 比较失败时会跳转到一个resolver stub；它会维护一个“不命中计数器”。如果在某个调用点累计失败了100次，就会再次更新之前的间接调用为直接指向通用的resolver stub。
这样，如果在一个接口方法的调用点上总是同一个类型的实例被调用，则分发效率跟虚方法调用差不多快。如果被调用对象的类型经常变，速度就会慢下来了……