Question

实例化ArrayLists时，我习惯于看到像这样的代码

ArrayList<Type> arr = new ArrayList<Type>();

或

ArrayList<Type> arr = new ArrayList<>();

然而今天我遇到了一个如下所示的ArrayList实例：

ArrayList<Type> arr = new <Type>ArrayList();

发生了什么，为什么这会给“不安全的操作”编译警告？

Answer 1

修改

是的，找到了参考。见JLS §15.12.2.1 - Identify Potentially Applicable Methods：


如果方法调用包含显式类型参数，则   member是一个泛型方法，那么类型参数的数量是相等的   到方法的类型参数的数量。


此子句意味着可能存在非泛型方法   适用于提供显式类型参数的调用。   实际上，它可能会变得适用。 在这种情况下，类型   只会忽略参数。


强调我的。

另请参阅JLS §15.9.3 - Choosing the Constructor and its Arguments，了解如何解析构造函数调用。它还提到按照上述过程进行解决。

原始回答：

当您拥有通用构造函数时，通常需要这种类型的调用，并且编译器无法推断出正确的类型参数。例如，请考虑以下代码：

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<?>>

现在，您可能希望将type参数推断为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()是非泛型方法。

Answer 2

我刚试过：

ArrayList<Integer> arr = new <String>ArrayList();

得到同样的警告（不是错误！）。看起来编译器在new关键字之后和ArrayList之前忽略了¹泛型。这就像写作：

ArrayList<Integer> arr = new ArrayList();

¹我不确定它是否真的“忽略”了，如果有人确认/纠正我，我会很高兴

Answer 3

代码，它什么都不做！

int a = new <String>Integer(5);

它也会编译，但会生成“未使用的泛型”的警告。

所以基本上它是无用的，但不足以在默认情况下生成错误。无论哪种方式，你的arraylist都没有在这里得到适当的泛化。

请注意，无论如何都会编译泛型，因此在字节码级别它可能看起来不会有任何不同。我已经在eclipse中查找了将其变为错误而非警告的方法，但没有运气。

<强>更新

这个答案可以归结为目前处于+5的另一个答案，那么我的为什么会被投票呢？如果你是downvote，请发表评论。

为什么给非泛型方法或构造函数的显式类型参数编译？

3 个答案: