面向对象的设计原则(3)：LSP

子类型必须能够替换掉他们的基类型
假设有一个函数f,它的参数为指向某个基类B的指针或引用，同样假设存在B的某个派生类D,如果把D的对象作为
B类型传给f,会导致f出现错误的行为，那么D就违反了LSP
Martin 举了个例子：
public class Rectangle()
{
private int width;
private int height;
public void setWidth(int w)
{
this.width = w;
}
public void setHeight(int h)
{
this.height = h;
}
public int getArea()
{
return this.height * this.width;
}
}
很自然的Square从Rectangle继承而来,但是重写了两个方法，保证长和宽是一致的
public class Square extend Rectangle()
{

public void setWidth(int w)
{
super.setWidth(w);
super.setHeight(w);
}
public void setHeight(int h)
{
super.setWidth(h);
super.setHeight(h);
}
}
假设有下面的函数g
void g(Rectangle r)
{
r.setWidth(5);
r.setHeight(4);
assert(r.getArea() == 20);
}
当传进来的对象是square时就会发生错误!!!这里就违反了Lsp
基于DBC的设计：前置条件，后置条件，不变式(参见Meyer的书籍《基于DBC的设计》)
Lsp使得OCP成为可能，子类型对父类型的可替换性必须是开发人员可以隐式依赖的东西，因此，如果没有显式的强制基类类型的契约，那些代码就必须良好并且明显的表达出这一点。