编辑:
是的,找到了引用。请参阅 JLS §15.12.2.1 - 确定可能适用的方法:
如果方法调用包括显式类型参数,并且成员是泛型方法,则类型参数的数量等于方法的类型参数的数量。
- 此子句意味着非泛型方法可能适用于提供显式类型参数的调用。事实上,它可能被证明是适用的。在这种情况下,类型参数将被忽略。
强调我的。
另请参阅 JLS §15.9.3 - 选择构造函数及其参数,了解如何解析构造函数调用。它还提到,遵循上述程序进行解决。
原答:
当您具有泛型构造函数并且编译器无法推断出正确的类型参数时,通常需要这种类型的调用。例如,请考虑以下代码:
class Demo<T> {
public <X> Demo(X[] arg1, X arg2) {
// initialization code
System.out.println(arg1.getClass());
System.out.println(arg2.getClass());
}
}
假设您像这样调用该构造函数:
Demo<String> demo = new Demo<String>(new String[2], new Integer(5));
您可能会认为类型推断应该失败,因为类型参数应该具有相同的类型。在这里,我们传递和类型。但事实并非如此。编译器将类型推断为:String
Integer
X
Object & Serializable & Comparable<? extends Object&Serializable&Comparable<?>>
现在,您可能希望将类型参数推断为 just ,然后在这种情况下,您可以提供显式类型参数,如下面的代码所示:Object
Demo<String> demo = new <Object>Demo<String>(new String[2], new Integer(5));
这类似于在方法调用时提供显式类型参数的方式。
现在,在您的代码中,您已经给出了显式类型参数,但是您正在使用类的原始类型来实例化它:
ArrayList<Integer> arr = new <String>ArrayList();
是构造函数的显式类型参数,编译器可以很好地使用它。但问题是,您正在实例化 原始类型 ,这就是编译器发出未经检查的警告的地方。如果将该代码更改为:<String>
ArrayList
ArrayList<Integer> arr = new <String>ArrayList<>();
警告将消失。但是,由于构造函数不是泛型构造函数,因此类型参数似乎只是被构造函数忽略。实际上,那里没有使用该类型参数。ArrayList
奇怪的是,这也编译了:
public static void test() { }
public static void main(String... args) {
Main.<Integer>test();
}
...即使是一种非泛型方法。test()