Visual C++对虚函数重载的诡异布局

    毫不令人惊讶的是，C++又给了我一个惊讶！

    对于被重载的虚函数(overloaded virtual member functions)，Visual C++ 并不会依照它们声明的顺序排布在虚表中。

    一组(同名的)重载虚函数会按照它们声明的逆序依次排布在一起，而组与组之间的顺序，是由组内最先出现的那个函数声明的位置决定的，越先声明，该组越靠前。

    试看下面这个例子：

#include <stdio.h>

struct Base {

   virtual void a() = 0;

   virtual void b() = 0;

   virtual void a(int) = 0;

   virtual void b(int) = 0;

}; 

struct Some : public Base

{

    virtual void a() { printf("a()/n"); }

    virtual void b() { printf("b()/n"); }

    virtual void a(int) { printf("a(int)/n"); }

    virtual void b(int) { printf("b(int)/n"); }

};

int

main()

{

    Some *p = new Some;

    void (Some::*a_ptr)() = &Some::a;

    void (Some::*ai_ptr)(int) = &Some::a;

    void (Some::*b_ptr)() = &Some::b;

    void (Some::*bi_ptr)(int) = &Some::b;

    printf("%p,%p,%p,%p/n", *(void**)&ai_ptr, *(void**)&a_ptr, *(void**)&bi_ptr, *(void**)&b_ptr);

    return 0;

}

    Some对象中的vtable的顺序是这样：Some::a(int), Some::a(), Some::b(int), Some::b()。

    用VC(VS2005)跑这段程序来验证一下，输出是：

00401140,00401150,00401160,00401170

    COM的二进制标准要求接口方法按照声明顺序排列在虚表中，VC的做法和COM矛盾，所以不要在COM接口中使用重载虚函数。微软的说法是，这种行为是当初VC的设计决定的，没法儿改了，很多老代码依赖这种行为。

    而g++在处理这个问题上的做法是符合COM规范的，当然也符合了我们的直觉，它的输出是:

00000009,00000001,0000000D,00000005

    注意，由于不同编译器对指向虚拟成员函数的指针的实现各有不同，所以VC和g++输出的内容差别很大。不用去管它，我们只要给这4个值排个序就足以判断出它们在虚表中的位置。

    最后要奉劝大家的是，即使想通过只暴露纯抽象基类的方法来让二进制C++模块跨编译器，你也要相当小心！