面向对象的设计原则(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成为可能，子类型对父类型的可替换性必须是开发人员可以隐式依赖的东西，因此，如果没有显式的强制基类类型的契约，那些代码就必须良好并且明显的表达出这一点。