C++ 虚函数语义学

C++中的多态通过虚函数表实现，需要在运行时，根据指针所指对象的实际类型，根据对象中的虚函数表指针来索引相应的虚函数来调用。

对于class Derived ： public Base1, public Base2

Base2 *pbase2 = new Derived

pbase2会调整this指针，使pbase2 指向 base2 subobject; 基类指针指向派生类时，实际都会调整，指向派生类中的基类的子对象subobject。

就像派生类的构造函数最在开始调用基类的构造函数，派生类的析构函数会在末尾调用基类的析构函数。基类的析构函数为虚的，那么派生类的析构函数自动为虚，虽然可以没有virtual 声明。

由于基类的引用和指针可以指向派生类，只有在运行时才能知道基类指针指向的到底是什么对象，所以对象的销毁必须等到运行时才能决定是调用哪一个析构函数。因为如果基类的析构函数非虚，在编译器就确定，当运行时若基类引用或指针指向的是派生类的对象的话，就可能会发生内存的销毁错误。