本文主要是介绍设计模式原则:里氏替换原则(Liskov Substitution Principle, LSP),希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!
定义
LSP由Barbara Liskov于1987年提出,一般有两种定义方式:
第一种:If for each object O1 of type S there is an object O2 fo type T such that for all programs P defined in terms of T, the behavior of P is unchanged when O1 is substitueted for O2 then S is a subtype of T. (对于每一个S类型的对象O1,都有一个T类型的对象O2,使以T定义的程序P在使用O2替换O1时,行为不发生变化,则S是T的子类)。
第二种:Functions that use pointers or references to base classes must be able to use objects of derived classes without knowing it. (所有引用基类的地方都必须能够使用子类对象,而且使用者不用知道任何差异,不必自己进行任何修改)。
通俗地讲,就是只要能使用父类对象的地方,就可以使用子类对象,并且这样的替换不会给程序带来任何错误或异常,这是满足“里氏替换原则”的继承。(注意顺序,父类可以用子类来替换,但是子类不一定能被父类替换)
举例
下面用一个例子来说明里氏替换原则(父类可以用子类来替换):
我们需要完成一个两数相减的功能,由类A来负责:
class A{ public int func1(int a, int b){ return a-b; }
} public class Client{ public static void main(String[] args){ A a = new A(); System.out.println("100-50="+a.func1(100, 50)); System.out.println("100-80="+a.func1(100, 80)); }
} 运行结果:
这篇关于设计模式原则:里氏替换原则(Liskov Substitution Principle, LSP)的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!