里氏替换原则（Liskov Substitution Principle)：程序调用中，子类替换父类不会导致程序行为的变化。
里氏替换原则刚开始用来指导继承的使用，后来扩展用于接口和实现的可替代性。
扩展到架构级别，一个简单的违反可替换性，可导致系统架构被大量额外的机制污染。