LSP-Liskov替代原理 - deepdive

Liskov替换原则是SOLID的一部分，该缩写缩写总共捆绑了5条设计原则。
它通常与干净的代码相关联。
但是到底是什么，对您来说重要吗，您甚至应该关心吗？
 
它是什么？
如果S是T的子类型，则可以用类型S的对象替换类型T的对象，而无需更改程序的任何所需属性（正确性，执行的任务等）。
听起来很复杂，对吧？
但是可以归结为一个简单的定义：
 软件（系统）应由可互换的零件构建。这些部分应在共同合同上达成共识，以使这些部分可以互相替代。
也许还不那么容易，但是让我们更进一步，从JavaScript的角度来看一下：

• override覆盖基类方法的子类方法必须具有完全相同数量的参数
• 覆盖方法的每个参数必须与基类的方法具有相同的类型
• 覆盖基本方法的方法的返回类型必须为相同类型
• 只能抛出与基类相同类型的异常

class Greeter {
  greet(name) {
    return `Hello, ${name}!`;
  }
}

class FriendlyGreeter extends Greeter {
  greet(name, age) {
    return `Hello, ${age} year old ${name}, have a nice day!`;
  }
}

class Bird {
  fly() {
    return "I'm flying!";
  }
}

class Penguin extends Bird {
  fly() {
    throw new Error("I wish I could but I can't. :(");
  }
}