C++ 多态机制浅析

编译时多态--函数重载

编译后生成的中间代码（如GCC生成的.o文件，此时还不是汇编语言）函数名字有变化，看下面两个例子。

void cc_show(const char*str)     ->    _Z7cc_showPKc

void cc_show(int x)            ->     _Z7cc_showi

大家可以看到，函数名其实不同，与返回值、函数名、参数有关。函数重载的规则就是参数的个数或种类必须不同，所以就不会有混乱了。

 

运行时多态--virtual动态绑定

编译器在编译的时候，会为含有虚函数的类和以/含有虚函数的类/为基类/的子类创建一个虚函数表（即virtual table），该表是一个一维数组，存放每个虚函数的地址。

那么如何定位虚表呢？编译器另外还为每个类的对象提供了一个虚表指针（即vptr），这个指针指向了对象所属类的虚表。在程序运行时，根据对象的类型去初始化vptr，从而让vptr正确的指向所属类的虚表，因此在调用虚函数时，就能够找到正确的函数。

虚函数表是一个类一个，而非一个对象一个。对象只需要维护一个指向它所在类的虚函数表的指针即可。若一个类是多继承，且其他父类也有虚函数，则这个类需要维护多个虚函数表。