里氏替换原则与多态的区别

什么是里氏替换原则

英文：Liskov Substitution Principle 缩写 LSP。中文解释：子类对象能够替换程序中的父类对象，且不会改变父类的行文。

多态

定义：父类引用可以指向子类实例，子类重写或者继承父类的全部方法。

例子说明

如果一个父类提供了提现的函数，且函数定义为账户余额不能小于等于0，但是根据用户分类的不同，可能存在vip用户继承了此父类，重写了体现函数，允许用户透支部分金额即可以在余额小于0时进行提现，则此时的子类提现行为对于父类来说改变了，此时违反了里氏替换原则，但还是多态。开发中常用判断是否是里氏替换原则的方式是单元测试：子类能通过父类的所有单元测试。