大部分内容来自《C++ Primer (第5版)》
虚函数 (virtual)
OOP (Object Oriented Programming) 的核心思想是多态性 (Polymorphism)。
通常情况下,如果我们不使用某个函数,则无须为该函数提供定义,但是我们必须为每一个虚函数都提供定义,而不管它是否被用到了,这是因为连编译器也无法确认到底会使用哪个虚函数。
因为有时候看似是代码中只有基类的引用或者指针调用了一个虚函数,但是在运行中如果实参是派生类的引用或指针,那么其实调用的是派生类的虚函数,所以在派生类中不但要在声明中覆盖 (override) 还要定义具体的函数。
当且仅当通过指针或引用调用虚函数时,才会发生动态绑定,即才会在运行时解析该调用,也只有这种情况下对象的动态类型才有可能与静态类型不同。
引用或指针的静态类型与动态类型不同这一事实正是C++语言支持多态性的根本所在。
一旦某个函数被声明成虚函数,则在所有派生类中它都是虚函数。基类中的虚函数在派生类中隐含地也是一个虚函数。当派生类覆盖了某个虚函数时,该函数在基类中的形参必须与派生类中的形参严格匹配。
class Base {
public:
virtual int fcn();
};
class D1 : public Base {
public:
// 因为形参列表与Base中的fcn不一致,所以这个fcn不是虚函数,它隐藏了基类的fcn
// D1继承了Base::fcn()的定义
int fcn(int);
virtual void