C++虚函数、虚表、动态绑定（C++ primer，P504）

动态联编：编译器生成能在程序运行时选择正确虚方法的代码。

类的虚表

• 编译器在编译阶段会为每个类创建一个虚表，表中依次存放类中虚函数的地址；
• 也就是虚表的创建与赋值是在编译阶段进行；
• 每个类只有唯一的一个虚表；
• 用类名创建对象时，若有虚函数，对象中会包含一个指针（*__vptr）指向虚表；

虚函数动态绑定原理

class A {
public:
	virtual void vfunc();
	void func();
...
};
class B: public A {
public:
	virtual void vfunc();
	void func();
...
};
B b;
A *pa = &b;
B *pb = &b;
pa->vfunc();		//#1
pa->func();			//#2
pb->vfunc();		//#3
pb->func();			//#4

如上述代码所示，#1#2#3#4四个调用分别会调用哪个函数？
#3#4勿用多说，肯定是调用类B的函数（类B的指针指向类B的对象）；
关键是看#1#2（类A指针指向类B的对象）；

#2实际是通过函数名func()调用类A中的func()方法；

#1通过虚函数指针查询虚表调用函数B::vfunc()；原因如下：
虚函数指针__vptr，它是一个变量，里面存放着虚表的地址，
此时注意的是，虽然pa是类A的指针，但是其指向对象的内容没有发生变化（内容没有发生变化），所以其虚表指针中存放的是原类的虚表（类B）；

所以动态绑定的实质是：
若类有虚函数，编译器将为类创建一个虚表存放所有虚函数的地址；
类的每个对象都存放一个指针，指向本类的虚表；
当基类指针指向派生类的对象时，基类的方法覆盖派生类的方法（注意，这里方法是指无virtual修饰的方法）；
此时对象的方法虽然发生变换，但对象中变量的内容不会发生变化；
所以，当执行的是虚函数时，通过虚表指针可以执行派生类的虚函数；

这里还有一个小问题：
我们都知道，基类指针（引用）指向（引用）派生类对象时（upcasting），是无需显式强制类型转换的；此时通过指针（引用）可以实现动态绑定。
反过来派生类指向或引用基类对象时（downcasting），需要显示的强制类型转换。

那如果下面这种情况，用用派生类指针，指向基类对象（强制转换），调用虚函数，非虚函数的结果是什么呢？

试着执行下面的代码，看一下输出：

#include <iostream>

using std::cout;
using std::endl;

class A{
public:
    int x;
    virtual void vfunc();
    void func();
};

class B : public A{
public:
    int xx;
    virtual void vfunc();
    void func();
};

int main(){
    A a, *pa;
    B b, *pb;
    pa = &b;
    pb = (B *)pa;
    cout << "upcasting:" << endl;
    pa->func();
    pa->vfunc();
    cout << endl;
    cout << "downcasting:" << endl;
    pb->func();
    pb->vfunc();
    return 0;
}

void A::vfunc(){
    cout << "A: vfunc" << endl;
}

void A::func(){
    cout << "A: func" << endl;
}

void B::vfunc(){
    cout << "B: vfunc" << endl;
}

void B::func(){
    cout << "B: func" << endl;
}

代码的输出为：

upcasting:
A: func
B: vfunc

downcasting:
B: func
B: vfunc

从输出可以明显的看出，upcasting情况下，函数的执行实现了动态绑定；
而利用显式的类型转换，在downcasting情况下，执行的全都是派生类的函数。