五大原则之----里氏替换原则（LSP） - pjh123 - 博客园.pdfVIP

2016/11/13 五大原则之里氏替换原则 （LSP） - pj h123 - 博客园 五大原则之里氏替换原则 （LSP ） 阐述：子类型 （subtype）必须能够替换掉它们的基类型 （basetype） 先提出一个问题：正方形是不是一种特殊的长方形 （IS - A关系）？ 先不要回答这个问题，看下面的分析。 理解：LSP原则的一个例子，假如有个people的基类，两个字类man类和woman类，都继承于people类。那么针对 people类的任何操作，比如fun吃饭、fun睡觉、fun走路，对于man类和woman类都成立。这个很好理解，不管是man 还是woman ，归根结底，还都是一个people。 （一）正常思维 如下例子： class CShape { public :  CShape(void);  ~CShape(void); public :  virtual void Draw (); }; class CCircle:public CShape { public :  CCircle(void);  ~CCircle(void); public :  virtual void Draw (); }; class CSquare:public CShape { public :  CSquare(void);  ~CSquare(void); public :  virtual void Draw (); }; 在使用CShape对象的任何地方，都可以使用CCircle对象或者CSquare对象。 （二）、特殊情况呢？   回到最初的问题，正方形是不是矩形的问题。 /peij ihui/archive/2012/04/07/2436133.html 1/3 2016/11/13 五大原则之里氏替换原则 （LSP） - pj h123 - 博客园 class CRectangle { public :  CRectangle(void);  ~CRectangle(void); protected :  int  width ;  int  height; }; class CSquare:public CRectangel { public :  CSquare(void);  ~CSquare(void); }; 假如有个函数 void g(CRectangle * r)     r.width 4;     r.height 5;     if( r.Area() ! 20)        break; 请问，对于函数g来说，能用一个CSquare对象，代替CRectangle对象吗？很明显，不能！ 很明显，违反了LSP原则。 那么，正方形到底是不似乎矩形呢？也就是说CSquare和CRectangle之间，是否存在(IS - A)关系呢？ 1、从属性方面讲，正方形是矩形，是一种特殊矩形，即width height ； 2、从行为方式将，正方形可能不是矩形。     比如，对于函数g来说，描述了矩形的一种行为方式，很明显，正方形不符合这种行为方式。     OOD中的IS-A关系，是就行为方式而言的，行为方式是可以进行合理假设的。而行为方式，才是我们进行面向对象 软件设计真正所关注的问题。     因此，可以讲，正方形不是一个矩形。 （三）、怎么处理此类问题呢？ 1、基于契约进行设计。     每个类设计时，都会有一些假设，每个方法，都有前置条件，后置条件，这些条件都是契约。对这些方法，要注明契 约。     要想从基类派生子类，就必须满足这些契约。如果不满足这些契约，就不能继承出子类。 （即使他们看起来很像，比 /peij ihui/archive/2012/04/07/2436133.html 2/3