为什么将显式类型参数赋予非泛型方法或构造函数？

Question

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

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-确定潜在适用方法：

如果方法调用包括显式类型参数，并且成员是泛型方法，则类型参数的数量等于方法的类型参数的数量。

• 此子句暗示 非泛型方法可能潜在地适用于提供显式类型参数的调用。 确实，这可能是适用的。 在这种情况下，类型参数将被简单地忽略。
  
  

强调我的。

另请参见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<?>>

现在，您可能希望将type参数推断为just Object，那么在这种情况下，您可以提供显式的type参数，如下面的代码所示：

Demo<String> demo = new <Object>Demo<String>(new String[2], new Integer(5));

这类似于在方法调用时给出显式类型参数的方式。

现在，在您的代码中，您已经给出了显式类型参数，但是您使用的是类的原始类型来实例化它：

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

该<String>是构造函数的显式类型参数，编译器将与它的罚款。但是问题是，您正在实例化raw type
ArrayList，这就是编译器发出未经检查的警告的地方。如果您将该代码更改为：

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

警告将消失。但是由于ArrayList构造函数不是通用构造函数，因此构造函数似乎只是忽略了类型参数。实际上，那里没有使用该类型参数。

奇怪的是，它还会编译：

public static void test() { }

public static void main(String... args) {
    Main.<Integer>test();
}

…尽管test()是非通用方法。