通常,OO设计(尤其是LSP)的SOLID原则作为实际上是面向对象的设计的一部分是最有效的。在OOP中,类型检查由多态代替。 再三考虑,我认为这在技术上违反了《里斯科夫换人原则》。重新定义LSP的一种方法是"子类应只要求更多,而应承诺更少"。在这种情况下,Car和Jet具体类都需要特定类型的燃料才能继续执行代码(这违反了LS...
不是。virtual是语法层面的概念，LSP说的是程序语义。比如有些子类的实现语法上是正确的，能通过编译，...
总之,Liskov替代原则要求子类必须能够替换掉父类并且保持程序的正确性。这个原则可以帮助开发人员编写更加健壮、可扩展和可维护的代码。