里氏代换原则_接口隔离原则_java开闭原则(7)

}

正方形类Square:

class Square extends Rectangle {

public void setWidth(double width) {

super.setLength(width);

super.setWidth(width);

}

public void setLength(double length) {

super.setLength(length);

super.setWidth(length);

}

}

由于正方形的度和宽度必须相等，所以在方法setLength和setWidth中，对长度和宽度赋值相同。类TestRectangle是我们的软件系统中的一个组件，它有一个resize方法要用到基类Rectangle，resize方法的功能是模拟长方形宽度逐步增长的效果:

测试类TestRectangle：

class TestRectangle {

public void resize(Rectangle objRect) {

while(objRect.getWidth() <= objRect.getLength() ) {

objRect.setWidth( objRect.getWidth () + 1 );

}

}

}

我们运行一下这段代码就会发现，假如我们把一个普通长方形作为参数传入resize方法，就会看到长方形宽度逐渐增长的效果，当宽度大于长度,代码就会停止，这种行为的结果符合我们的预期；假如我们再把一个正方形作为参数传入resize方法后，就会看到正方形的宽度和长度都在不断增长，代码会一直运行下去，直至系统产生溢出错误。所以，普通的长方形是适合这段代码的，正方形不适合。

我们得出结论：在resize方法中，Rectangle类型的参数是不能被Square类型的参数所代替，如果进行了替换就得不到预期结果。因此，Square类和Rectangle类之间的继承关系违反了里氏代换原则，它们之间的继承关系不成立，正方形不是长方形。

4.3 第二个例子：鸵鸟不是鸟

“鸵鸟非鸟”也是一个理解里氏代换原则的经典的例子。“鸵鸟非鸟”的另一个版本是“企鹅非鸟”，这两种说法本质上没有区别，前提条件都是这种鸟不会飞。生物学中对于鸟类的定义：“恒温动物，卵生，全身披有羽毛，身体呈流线形，有角质的喙，眼在头的两侧。前肢退化成翼，后肢有鳞状外皮，有四趾”。所以，从生物学角度来看，鸵鸟肯定是一种鸟。

我们设计一个与鸟有关的系统，鸵鸟类顺理成章地由鸟类派生，鸟类所有的特性和行为都被鸵鸟类继承。大多数的鸟类在人们的印象中都是会飞的，所以，我们给鸟类设计了一个名字为fly的方法，还给出了与飞行相关的一些属性,比如飞行速度（velocity）。

鸟类Bird:

class Bird {

double velocity;

public fly() { //I am flying; };

public setVelocity(double velocity) { this.velocity = velocity;};

public getVelocity() { return this.velocity; };

}

鸵鸟不会飞怎么办？我们就让它扇扇翅膀表示一下吧，在fly方法里什么都不做。至于它的飞行速度，不会飞就只能设定为0了，于是我们就有了鸵鸟类的设计。

鸵鸟类Ostrich:

class Ostrich extends Bird {

public fly() { //I do nothing; };

public setVelocity(double velocity) { this.velocity = 0; };

本文来自电脑杂谈，转载请注明本文网址：
http://www.pc-fly.com/a/jisuanjixue/article-21726-7.html