Java多个泛型集合参数编译错误

Question

太奇怪了！请先看一下代码：

public class A {}

public class B extends A {}

public class C extends A {}

public class TestMain {

    public <T extends A> void test(T a, T b) {}

    public <T extends A> void test(List<T> a, List<T> b) {}

    public void test1(List<? extends A> a, List<? extends A> b) {}

    public static void main(String[] args) {
        new TestMain().test(new B(), new C());
        new TestMain().test(new ArrayList<C>(), new ArrayList<C>());
        new TestMain().test(new ArrayList<B>(), new ArrayList<C>());
        new TestMain().test1(new ArrayList<B>(), new ArrayList<C>());
    }
}

语句 new TestMain().test(new ArrayList(), new ArrayList())出现编译错误：

绑定不匹配：TestMain 类型的泛型方法 test(T, T) 不适用 对于参数(ArrayList, ArrayList)。推断类型 数组列表 不是有界参数的有效替代品

但是：

 new TestMain().test(new B(), new C())  --> compiled ok

 new TestMain().test(new ArrayList<C>(), new ArrayList<C>()) --> compiled ok

 new TestMain().test1(new ArrayList<B>(), new ArrayList<C>()) --> compiled ok

如果我们在方法名称之前定义泛型，那么第二个泛型 List 参数的类型必须与方法名称相同第一的。但如果我们在参数中定义泛型则没有限制。

这是编译程序的一个特性还是一个错误？有一些关于它的文档吗？

Answer 1

绝对没有bug；您只是误解了泛型中的子类型规则。

由于我们有 B extends A：

• B 是 A 的子类型，
• instanceof B 也是一个 instanceof A

由于 Java 数组是协变的：

• B[] 是 A[] 的子类型，
• instanceof B[] 也是 instanceof A[]

但是，Java 泛型是不变的：

• List 不是 List 的子类型
• an instanceof List 不是 instanceof List。

当您具有以下泛型方法声明时：

public <T extends A> void test(List<T> a, List<T> b) 

那么，正如此处明确指出的，a 和 b 必须具有相同的类型，List code>，用于类型参数的一些捕获转换。

由于 List 和 List 是两种不同的类型，因此不能将它们混合作为 test 的实际参数。此外，即使 B 和 C 是 A 的子类型，泛型也是不变的，因此 List 都不是List 也不是 List。

因此，

test(new ArrayList<B>(), new ArrayList<C>()); // error!!! doesn't compile!!!

无法编译，这是预期的行为。

另请参阅

• Java 教程/泛型
  • 子类型
  • 通配符带来更多乐趣
• JLS 10.10 数组存储异常 和 java.lang.ArrayStoreException
  • Java 数组子类型是协变的，不是类型安全的；泛型是不变的。

相关问题

关于泛型输入规则：

• 任何简单的方法来解释为什么我不能做 List; Animals = new ArrayList()?
• Java 泛型（非）协方差
• 什么是原始类型以及为什么我们不应该使用它吗？
  • 解释原始类型 List 与 List

在使用 < code>super 和 extends：

• Java 泛型：什么是PECS？
  • 来自Effective Java 2nd Edition：“生产者扩展消费者超级”
• super 和 extends 之间有什么区别Java泛型
• 有什么区别 和 ？
• 如何添加到列表<？扩展 Number> 数据结构？（你不能！）

关于实际的通用错误：

• 泛型在 Eclipse 中编译并运行，但不在 javac 中编译

Answer 2

这不是一个错误，只是泛型很复杂。尝试将第二个测试方法更改为：

    public <T extends A, K extends A> void test(List<T> a, List<K> b) {

基本上，在您所得到的内容中，没有类型 T 可以满足您传入的内容，这与第一个方法不同，其中 B 和 C 被视为 A。此行为的实际名称我不太明白，但文献中应该有很多例子。

简而言之，即使 B 是 A 的子级，List 仍然是 A 的子级。不是List的子项。