>>439
論より証拠やね。
void test() { D d; d.foo(); }
これを gcc でコンパイルした結果。

.globl _test__Fv
　　.def　　_test__Fv; .scl　　2; .type 32; .endef
_test__Fv:
　　subl $28,%esp
　　movl $__vt$1D,(%esp)
　　addl $-12,%esp
　　leal 12(%esp),%eax
　　pushl %eax
　　call _foo__1D
　　addl $16,%esp
　　addl $28,%esp
　　ret

vptr 介さず、直で D::foo (_foo__1D) 呼んでるでしょ。