CSDN博客

img nylx

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

发表于2004/7/7 22:06:00  1081人阅读

分类: 读书笔记

子类型必须能够替换掉他们的基类型
 假设有一个函数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成为可能,子类型对父类型的可替换性必须是开发人员可以隐式依赖的东西,因此,如果没有显式的强制基类类型的契约,那些代码就必须良好并且明显的表达出这一点。

0 0

相关博文

我的热门文章

img
取 消
img