Liskov替代原则保留什么？

Question

当我读到具体类型的对象被该具体类型的子类的实例替换时，必须保留程序的正确性，即程序的不变性。

我想知道程序的正确性和不变性到底是什么意思？

Answer 1

比方说，您有一个class Animal，有人问您它应该做什么，可以用来做什么以及如何判断它是否正确实现。想象一下，您给出了完整而详细的答案，没有遗漏任何内容。现在...

如果class Cow是class Animal的子类，那么答案中关于Animal的所有内容也必须适用于Cow。