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