转载: 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;
若对于每一个类型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;
}
this.width=width;
}
public void setHeight(long height){
this.height=height;
}
this.height=height;
}
public long getWidth(){
return width;
}
return width;
}
public long getHeight(){
return height;
}
return height;
}
public void resizeWidth(){
width++;
}
};
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;
}
this.width=width;
this.height=width;
}
public void resizeWidth(){
width++;
height++;
}
};
并不是一个合理的设计,Square继承了Rectangle的接口,但是从Square本身来看,setWidth,setLength接口的设立并不合理,导致代码所表达的意义与基类的不同。
DBC(Design by Contract)定义把类和其客户之间的关系看作是一个正式的协议,明确各方的权利和义务。DBC对类的要求类的方法声明为先决条件(precondition)和后续条件(postcondition)。为了让方法得以执行,先决条件必须为真。完成后,方法保证后续条件为真。 DBC对派生类的要求当重新定义派生类中的例行程序时,我们只能用更弱的先决条件和更强的后续条件替换之。
width++;
height++;
}
};
并不是一个合理的设计,Square继承了Rectangle的接口,但是从Square本身来看,setWidth,setLength接口的设立并不合理,导致代码所表达的意义与基类的不同。
DBC(Design by Contract)定义把类和其客户之间的关系看作是一个正式的协议,明确各方的权利和义务。DBC对类的要求类的方法声明为先决条件(precondition)和后续条件(postcondition)。为了让方法得以执行,先决条件必须为真。完成后,方法保证后续条件为真。 DBC对派生类的要求当重新定义派生类中的例行程序时,我们只能用更弱的先决条件和更强的后续条件替换之。
LSP原则是符合OCP原则应用程序的一项重要特性。仅当派生类能完全替换基类时,我们才能放心地重用那些使用基类的函数和修改派生类型。