Liskov替换原则

LSP The The Liskov Substitution Principle
　　OCP原则背后的主要机制是抽象和多态。支持抽象和多态的关键机制是继承。
　　LSP LSP的定义 的定义
　　若对于每一个类型P的对象p1，都存在一个类型C的对象c1，使得在所有针对C编写的程序P中，用p1替换c1后，程序P的行为功能不变，则C是P的子类型。
　　LSP原则清楚地指出，OOD中IS-A关系是就行为功能而言。行为功能（behavior）不是内在的、私有的，而是外在、公开的，是客户程序所依赖的。行为功能（behavior）才是软件所关注的问题！所有派生类的行为功能必须和客户程序对其基类所期望的保持一致。
　　例如如下设计：
　　public class Rectangle
　　{
　　private long width;
　　private long height;
　　public void setWidth(long width){
　　 this.width=width;
　　}
　　public void setHeight(long height){
　　 this.height=height;
　　}
　　public long getWidth(){
　　 return width;
　　}
　　public long getHeight(){
　　 return height;
　　}
　　public void resizeWidth(){
　　 width++;
　　}
　　};
　　public class Square : Rectangle
　　{
　　public void setWidth(long width){
　　 this.width=width;
　　 this.height=width;
　　}
　　public void setHeight(long height){
　　 this.width=width;
　　 this.height=width;
　　}
　　public void resizeWidth(){
　　 width++;
　　 height++;
　　}
　　};
　　并不是一个合理的设计，Square继承了Rectangle的接口，但是从Square本身来看，setWidth，setLength接口的设立并不合理，导致代码所表达的意义与基类的不同。
　　DBC（Design by Contract）定义把类和其客户之间的关系看作是一个正式的协议，明确各方的权利和义务。DBC对类的要求类的方法声明为先决条件（precondition）和后续条件（postcondition）。为了让方法得以执行，先决条件必须为真。完成后，方法保证后续条件为真。DBC对派生类的要求当重新定义派生类中的例行程序时，我们只能用更弱的先决条件和更强的后续条件替换之。
　　LSP原则是符合OCP原则应用程序的一项重要特性。仅当派生类能完全替换基类时，我们才能放心地重用那些使用基类的函数和修改派生类型。
 

LSP The The Liskov Substitution Principle OCP原则背后的主要机制是抽象和多态。支持抽象和多态的关键机制是继承。 LSP LSP的定义 的定义若对于每一个类型P的对象p1，都存在一个类型C的对象c1，使得在所有针对C编写的程序P中，用p1替换c1后，程序P的行为功能不变，则C是P的子类型。 LSP原则清楚地指出，OOD中IS-A关系是就行为功能而言。行为功能（behavior）不是内在的、私有的，而是外在、公开的，是客户程序所依赖的。行为功能（behavior）才是软件所关注的问题！所有派生类的行为功能必须和客户程序对其基类所期望的保持一致。例如如下设计： public class Rectangle { private long width; private long height; public void setWidth(long width){ this.width=width; } public void setHeight(long height){ this.height=height; } public long getWidth(){ return width; } public long getHeight(){ return height; } public void resizeWidth(){ width++; } }; public class Square : Rectangle { public void setWidth(long width){ this.width=width; this.height=width; } public void setHeight(long height){ this.width=width; this.height=width; } public void resizeWidth(){ width++; height++; } }; 并不是一个合理的设计，Square继承了Rectangle的接口，但是从Square本身来看，setWidth，setLength接口的设立并不合理，导致代码所表达的意义与基类的不同。 DBC（Design by Contract）定义把类和其客户之间的关系看作是一个正式的协议，明确各方的权利和义务。DBC对类的要求类的方法声明为先决条件（precondition）和后续条件（postcondition）。为了让方法得以执行，先决条件必须为真。完成后，方法保证后续条件为真。DBC对派生类的要求当重新定义派生类中的例行程序时，我们只能用更弱的先决条件和更强的后续条件替换之。 LSP原则是符合OCP原则应用程序的一项重要特性。仅当派生类能完全替换基类时，我们才能放心地重用那些使用基类的函数和修改派生类型。
<>