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

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 - 确定可能适用的方法:

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

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

强调我的.

另请参阅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,然后在这种情况下,您可以提供显式类型参数,如下面的代码所示:

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();

并得到相同的警告(不是错误!).看起来编译器在关键字之后和之前忽略¹泛型.这就像写作:newArrayList

ArrayList<Integer> arr = new ArrayList();

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