【发布时间】：2019-10-13 06:39:04
【问题描述】：
正如我所读到的那样，用具体类型的子类的实例替换具体类型的对象必须保持程序的正确性，即程序的不变量。
我想知道程序的正确性和不变量究竟是什么意思？
【问题讨论】：
标签： design-patterns solid-principles liskov-substitution-principle invariants
【发布时间】：2019-10-13 06:39:04
【问题描述】：
假设你有一个class Animal，有人问你它应该做什么，它可以用来做什么，以及你如何判断它是否被正确实现。想象一下，您给出了一个完整而详细的答案，没有遗漏任何内容。现在...
如果class Cow 是class Animal 的子类，那么您回答中关于Animal 的所有内容也必须适用于Cow。
【讨论】：