流中的Java泛型

Question

我知道你用

假设有动物超类和狗猫子类。基本上我想要一个包含狗和猫的列表。我发现我可以做到以下几点：

List<? extends Animal> animalList;
List<Dog> dogList = getDogs();
List<Cat> catList = getCats();

animalList = Stream.concat(dogList.stream(), catList.stream()).collect(Collectors.toList())

// Do things according to its type
for (Animal animal : animalList) {
    if (animal instance of Dog) {...}
    if (animal instance of Cat) {...}
}

上面的代码可以编译。那么，它是否违反了我为动物主义者写价值观的规则？

Answer 1

流。concat（dogList.stream（），catList。stream（））。collect（Collectors.toList（））

这将创建一个List

List<Animal> = ... all that ...

很好。

列表

？的'point'扩展了以及处理列表本身时的所有内容，而不是其中的内容。具体原因如下：

List<Animal> x = new ArrayList<Cat>();
x.add(new Dog());
Cat z = x.get(0);

对上面的代码进行三次检查，但它确切地解释了为什么？扩展（和？超级）存在。泛型必须是不变的，否则任何东西都会导致错误的代码。上面的代码不能编译，因为它没有意义。正如所写的，它确实不能编译——第1行是不允许的。您可以通过编写列表来使其工作

不同之处在于：

列表

列表

你分配你的List