mp; destination)
{
default code for flying an airplane to the given destination
}

class ModelA: public Airplane { ... };

class ModelB: public Airplane { ... };

　　为了表述所有的飞机必须支持一个 fly 函数，并为了“不同机型可能（在理论上）需要不同的对 fly 的实现”的事实，Airplane::fly 被声明为 virtual。然而，为了避免在 ModelA 和 ModelB classes 中些重复的代码，缺省的飞行行为由 Airplane::fly 的函数体提供，供 ModelA 和 ModelB 继承。

　　这是一个经典的 object-oriented 设计。因为两个 classes 共享一个通用特性（它们实现 fly 的方法），所以这个通用特性就被转移到一个 base class 之中，并由两个 classes 来继承这个特性。这个设计使得通用特性变得清楚明白，避免了代码重复，提升了未来的可扩展性，简化了长期的维护――因为 object-oriented 技术，所有这些东西都受到很高的追捧。XYZ 航空公司应该引以为荣。

　　现在，假设 XYZ 公司的财富增长了，决定引进一种新机型，Model C。Model C 在某些方面与 Model A 和 Model B 不同。特别是，它的飞行不同。

　　XYZ 公司的程序员在 hierarchy（继承体系）中增加了 Model C 的 class，但是由于他们匆匆忙忙地让新的机型投入服务，他们忘记了重定义 fly function：

class ModelC: public Airplane {

... // no fly function is declared
};