LSP The The Liskov Substitution Principle

转载： http://blog.csdn.net/robinvane/ 

LSP The The Liskov Substitution Principle
OCP原则背后的主要机制是抽象和多态。支持抽象和多态的关键机制是继承。

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