Java数组协方差是否违反了Liskov替换原理？

Question

我正在阅读为什么Java中的数组协方差不好（为什么数组是协方差的，而泛型是不变的？）。如果狗是动物的子类型，则狗[]是动物[]的子类型。这是一个问题，因为这样的事情是可以做的：

Animal[] animals = new Dog[1];
animals[0] = new Cat();

这与“正确”实现的泛型不同。列表 不是列表 的子类型

我试图理解为什么它是坏的本质，并且刚刚读了关于LSP的文章。它有没有违反LSP？似乎没有明显的违规行为。

Answer 1

它有没有违反LSP？

是的。

似乎没有明显的违规行为。

Animal[] animals = new Animal[1];
animals[0] = new Cat();

但是，如果现在将animal[]替换为其子类型dog[]，则代码将不再工作（也就是说，它会在以前不工作的情况下导致异常）。因此类型dog[]不能在可以使用其超类型animal[]的任何地方使用，这违反了LSP。

用LSP的措词来说：如果我们认为属性“new Cat()可以赋值为元素”，则类型animal[]满足此属性，但其子类型dog[]不满足此属性。