Liskov 替换规则是否仅涉及 NOW 现有的子类型或包括将来创建的子类型？假设，我们有一个动物的层次结构，其中包含超类 Animal 和两个子类（比如说 Cat 和 Dog）。使用对 Animal 的引用的程序是否应该能够在仅出现 Cat 或 Dog 实例的情况下正常工作，或者也应该准备好与现在不存在但可能在明年（鸟和鱼）？我之所以这么问，是因为 Liskov 没有在她的论文（1987 年）中直接提到它。
Liskov 替换规则是否仅涉及 NOW 现有的子类型或包括将来创建的子类型？假设，我们有一个动物的层次结构，其中包含超类 Animal 和两个子类（比如说 Cat 和 Dog）。使用对 Animal 的引用的程序是否应该能够在仅出现 Cat 或 Dog 实例的情况下正常工作，或者也应该准备好与现在不存在但可能在明年（鸟和鱼）？我之所以这么问，是因为 Liskov 没有在她的论文（1987 年）中直接提到它。