C plus plus 的多态性

多态之目的

以相同的指令调用不同的函数，这种性质称为Polymorphism，意思是”the ability to assume many forms”（多态）。多态的目的，就是要让处理“基类之对象”的程序代码，能够完全无障碍地继承适当处理“派生类之对象”。

 

前期绑定与后期绑定（静态绑定与动态绑定）

前期绑定，就是对于C/C++的非虚函数（non-virtual），在编译期就转换为一个固定的地址调用了。后期绑定，就是对C/C++的虚函数（包括纯虚函数），编译器无法在编译期判断“基类之对象”调用的是哪个函数，必须在执行期才能够判断。

 

虚函数后期绑定的实现（虚函数表）

每一个“内含虚函数的类”，编译器都会为它做一个虚函数表，表中的每一个元素都指向一个虚函数地址（表中虚函数地址，是根据类中虚函数声明的先后次序，来进行排列的）。此外，编译器会为每个类加上一个成员变量，是一个指向该虚函数表的指针（常被称为vptr）。

派生类会继承基类的虚函数表（以及所有其它可以继承的成员），当我们在派生类中改写虚函数时，虚函数表就受到了影响：表中元素所指的函数地址将不再是基类的函数地址，而是派生类的函数地址。

注：本文总结自《MFC深入浅出》