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原则应用程序的一项重要特性。仅当派生类能完全替换基类时，我们才能放心地重用那些使用基类的函数和修改派生类型。
