LSP(Liskov substitution principle)
Functions that use pointers or references to base classes must be able to use objects of derived classes without knowing it
大概意思
函数使用指针或参考基础类，必须能够使用对象衍生的类，如果不知道它
- 子类中的方法的前置条件必须与超类中被覆写的方法的前置条件相同或更宽松。
- 子类中的方法的后置条件必须与超类中被覆写的方法的后置条件相同或更严格。
