里式替换(LSP)

里式替换(Liskov Substitution Principle): 子类对象能够替换程序中父类对象出现的地方，并且保证原来程序的逻辑行为不变以及正确性不被破坏

Functions that use pointers of references to base classes must be able to use object of derived classes without knowing it

理解：大概意思就是，你用子类替换父类时，不能破坏父类的逻辑，父类写了乘法方法，你不能覆盖成了加法，但是你可以优化你的乘法逻辑，其实就是对父类方法的增强，还有一点是，父类中做的乘法，子类不能只提供做正整数的乘法。