What
Liskov Substitution Principle(LSP),任何父类出现的地方,子类一定可以出现。
Why
LSP是OCP原则的规范。OCP原则的关键的是抽象,而继承关系又是抽象的一种具体表现。
How
当子类不能完整的实现父类父类的方法,那么建议断开父子关系,采用依赖,聚合,组合等关系替代继承。下面是一个经典例子,鸵鸟不是鸟
抽象鸟类,这里我们认为鸟类都会飞,抽象方法是获取飞行速度
abstract class Bird : IFLy
{
Wing[] wings;
public Bird()
{
wings = new Wing[2];
}
protected abstract double GetFlightSpeed();
//飞行一段距离所需时间
public double Fly(double distance)
{
return distance / GetFlightSpeed();
}
}
燕子类,飞行速度是120
class Swallow : Bird
{
protected override double GetFlightSpeed()
{
return 120d;
}
}
鸵鸟类,鸵鸟不会飞,那么飞行速度是0
class Ostrich : Bird { protected override double GetFlightSpeed() { return 0d; } }
客户端调用
class Program
{
static void Main(string[] args)
{
Bird bird = new Swallow();
Double distance = 100;
string time = bird.Fly(distance).ToString();
Console.WriteLine(time);
Console.ReadLine();
}
}
这样看是没有问题的,但是当换成下列这样的情况
class Program
{
static void Main(string[] args)
{
Bird bird = new Ostrich();
Double distance = 100;
string time = bird.Fly(distance).ToString();
Console.WriteLine(time);
Console.ReadLine();
}
}
这样就是违反了LSP,因为鸵鸟并不能实现所有的鸟类功能,因为它不会飞,所以没有飞行速度,那么将来客户端调用的使用,当成一种鸟类飞行,就会造成不可预知的错误。
为什么会造成这样的情况,其实是因为抽象封装的时候出现了问题,从生态学上来说有翅膀、有羽毛等特点的就是鸟,那么会飞的鸟应该是鸟类的一个分支,所以我们应该重新划分类的职责范围
abstract class Bird
{
Wing[] wings;
public Bird()
{
wings = new Wing[2];
}
}
abstract class FlyBird : Bird, IFLy
{
protected abstract double GetFlightSpeed();
public double Fly(double distance)
{
return distance / GetFlightSpeed();
}
}
class Program
{
static void Main(string[] args)
{
IFLy flyBird = new Swallow();
Double distance = 100;
string time = flyBird.Fly(distance).ToString();
Console.WriteLine(time);
Console.ReadLine();
}
}