# 里氏替换原则(Liskov Substitution Principle)
里氏替换原则实际上是告诉我们如何正确的使用继承。
继承中包含这样一层含义:父类中凡是已经实现好的方法,实际上实在设定规范和契约,虽然它不强制要求所有的子类必须遵守这些契约,但是如果这些子类对这些已经实现的方法任意修改,就会对整个继承体系造成破坏。
继承在给程序设计带来遍历的同时,也带来了弊端。比如使用继承会u给程序带来侵入性,程序的移植性降低,增加对象间的耦合性,如果一个类被其它的类所继承,则当这个类需要修改时,必须考虑到所有的子类,并且父类需改后,所有涉及到子类的功能都有可能产生故障。
综上问题,继承要遵守里氏替换原则。
- 何为里氏替换原则?
如果对每个类型为T1的对象O1,都有类型为T2的对象O2,使得以定义T1定义的所有程序P在所有的对象O1都代换成O2时,程序P的行为没有发生变化,那么类型T2时类型T1的子类型。换句话说,所有引用基类的地方必须能透明地使用器子类的对象。
在使用继承时,遵守里氏替换原则,在子类中尽量不要重写父类的方法
里氏替换原则告诉我们,继承实际上让两个类的耦合性增加了,在适当的情况下,可以通过聚合,组合和依赖来解决问题。
# LSP例子
现在有这样一个例子,有一个基类枪,枪可以射击,有很多种枪,手枪,步枪,一个士兵想买一把枪去杀人。
一个士兵买了一把枪然后开枪,杀人。
public class Main {
public static void main(String[] args) {
Soldier s = new Soldier();
s.killEnemy(new Rifle());
s.killEnemy(new HandGun());
}
}
class Soldier {
public void killEnemy(Gun gun) {
gun.shoot();
System.out.println("soldier kill enemy");
}
}
abstract class Gun {
abstract public void shoot();
}
class Rifle extends Gun {
@Override
public void shoot() {
System.out.println("rifle shoot");
}
}
class HandGun extends Gun {
@Override
public void shoot() {
System.out.println("handgun shoot");
}
}
现在问题来了,玩具枪也是枪的一种,所以现在吧玩具枪也加上。
闹笑话了,玩具枪开枪设计也杀死了敌人,所以很明显现在子类并不能代替父类,所以并不符合里氏原则。
public class Main {
public static void main(String[] args) {
Soldier s = new Soldier();
s.killEnemy(new Rifle());
s.killEnemy(new HandGun());
s.killEnemy(new ToyGun());
}
}
class Soldier {
public void killEnemy(Gun gun) {
gun.shoot();
System.out.println("soldier kill enemy");
}
}
abstract class Gun {
abstract public void shoot();
}
class ToyGun extends Gun {
public void shoot() {
System.out.println("toygun shoot");
}
}
class Rifle extends Gun {
@Override
public void shoot() {
System.out.println("rifle shoot");
}
}
class HandGun extends Gun {
@Override
public void shoot() {
System.out.println("handgun shoot");
}
}
现在的类图
因为玩具枪射击并不能杀人,所以需要将能杀人的枪和不能杀人的玩具枪提升到一个等级。这样就可以了。
public class Main {
public static void main(String[] args) {
Soldier s = new Soldier();
s.killEnemy(new Rifle());
s.killEnemy(new HandGun());
}
}
class Soldier {
public void killEnemy(WeaponGun gun) {
gun.shoot();
System.out.println("soldier kill enemy");
}
}
abstract class Gun {
}
abstract class WeaponGun extends Gun{
public abstract void shoot();
}
class ToyGun extends Gun {
public void shoot() {
System.out.println("toygun shoot");
}
}
class Rifle extends WeaponGun {
@Override
public void shoot() {
System.out.println("rifle shoot");
}
}
class HandGun extends WeaponGun {
@Override
public void shoot() {
System.out.println("handgun shoot");
}
}
里氏替换原则一句话,继承尽量不要修改重写方法,子类型要完全能够替换基类型。但是知道今天还是不能够理解,继承不该重写方法还有何用?可能就有点像抽象不应该依赖于细节,基类就相当于细节了,基类一改动就全变了,需要把子类调到更高一层。