里氏代换原则

从开闭原则中可以看出面向对象设计的重要原则是创建抽象化，并从抽象化导出具体化。具体化可以给出不同的版本，每一个版本都给出不同的实现。
从抽象化到具体化的导出要使用继承关系和这里引入的里氏代换原则（Liskov Substitution Principle，常缩写为LSP）。