多态置换原则

语义上的“继承”表示“是一种”的关系，派生类可以被看作“是一种”基类，这是
一个最基本的、必须满足的前提。正如苹果是一种水果这么理所当然。在设计类关系时，
可以将若干类的共性抽象出来，集中在它们的基类中实现。但如果类A不是一种类B，也
就是说，A不能无条件地出现在B的位置上取代B，那么无论如何，不要把A设计成B的
派生类。这被称为“多态置换原则”