现在的位置: 首页 > 综合 > 正文

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

2012年10月09日 ⁄ 综合 ⁄ 共 1204字 ⁄ 字号 评论关闭

    毫不令人惊讶的是,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++模块跨编译器,你也要相当小心!

抱歉!评论已关闭.