虚函数允许派生类取代基类所提供的实现。编译器确保当对象为派生类时，取代者（译注：即派生类的实现）总是被调用，即使对象是使用基类指针访问而不是派生类的指针。这样就允许基类的算法被派生类取代，即使用户不知道派生类的细节。

派生类可以完全地取代基类成员函数（覆盖(override)），也可以部分地取代基类成员函数（增大(augment)）。如果愿意的话，后者由派生类成员函数调用基类成员函数来完成。