泛型、方法签名、赋值

Question

我以为我明白这一点，但显然不是......

我有一个这样的方法签名：

void doSomething(List<TypeA> typeAs){...}

List<TypeA<TypeB>> getTypeBTypeAs(){...}

但如果我试着打电话

doSomething(getTypeBTypeAs());

我得到一个编译错误：“类型...中的方法 doSomething(List) 不适用于参数 (List>)”

但是，如果我将doSomething 的签名更改为

void doSomething(List<TypeA<?>> typeAs){...}

还是不行，但是

void doSomething(List typeAs){...}

显然它可以在我绕过泛型时起作用。

这看起来很奇怪。

有人可以填写吗？

另外，在这种情况下，我希望doSomething 可以处理包含任何泛型类型的 TypeAs 的任何 List；未定义、TypeB、TypeC 等。

谢谢。

Answer 1

泛型类TypeA<TypeB> 是与TypeA 不同的类型。您不能传入TypeA<TypeB> 类型的参数，而该方法需要TypeA。此外，TypeA<TypeB> 与 TypeA<TypeC> 的类型不同，因此适用相同的约束。

经典的例子（来自Effective Java, 2nd Ed.AFAIR）是：我们有动物容器（Container<Animal>），作为Animal的子类，我们有Lion和Butterfly。现在，如果你有一个方法

void func(Animal animal);

它将接受狮子和蝴蝶。不过这个功能

void func(Container<Animal> animalContainer);

不接受Container<Lion>，也不接受Container<Butterfly>。请务必意识到，用于安全保护狮子的坚固笼子不会阻止蝴蝶飞走，反之亦然，用于容纳蝴蝶的厚而轻的网将无法对抗狮子。

如果你真的确定任何种类的动物容器都适合你，请像这样声明你的函数：

void func(Container<? extends Animal> animalContainer);

回到你的情况，我想接受List<TypeA> 和List<TypeA<TypeB>> 的唯一方法是这样的：

void doSomething(List<?> list);

Answer 2

试试这个：

<T> void doSomething(List<TypeA<T>> typeAs) { ... }

注意行首的<T>。这样 doSomething 接受每个包含任何 TypeAs 的 List。