为什么给非generics方法或构造函数的显式类型参数编译?
在实例化ArrayLists时,我习惯于看到这样的代码
ArrayList arr = new ArrayList();
要么
ArrayList arr = new ArrayList();
但是今天我遇到了一个如下所示的ArrayList实例:
ArrayList arr = new ArrayList();
发生了什么,为什么这会给“不安全的操作”编译警告?
编辑:
是的,找到了参考。 参见JLS§15.12.2.1 – 确定可能适用的方法 :
如果方法调用包含显式类型参数,并且成员是generics方法,则类型参数的数量等于方法的类型参数的数量。
- 此子句意味着非generics方法可能适用于提供显式类型参数的调用。 实际上,它可能适用。 在这种情况下,类型参数将被忽略。
强调我的。
另请参阅JLS§15.9.3 – 选择构造函数及其参数 ,以了解如何解析构造函数调用。 它还提到按照上述过程进行解决。
原始答案:
当您具有generics构造函数时,通常需要这种类型的调用,并且编译器无法推断出正确的类型参数。 例如,请考虑以下代码:
class Demo { public Demo(X[] arg1, X arg2) { // initialization code System.out.println(arg1.getClass()); System.out.println(arg2.getClass()); } }
假设你像这样调用那个构造函数:
Demo demo = new Demo (new String[2], new Integer(5));
您会认为类型推断应该失败,因为类型参数应该具有相同的类型。 这里我们传递String
和Integer
类型。 但事实并非如此。 编译器将类型X
推断为:
Object & Serializable & Comparable extends Object&Serializable&Comparable>>
现在,您可能希望将type参数推断为Object
,然后在这种情况下,您可以提供显式类型参数,如下面的代码所示:
Demo demo = new
这类似于在方法调用时给出显式类型参数的方式。
现在,在您的代码中,您已经给出了显式类型参数,但是您使用类的原始类型来实例化它:
ArrayList arr = new ArrayList();
是构造函数的显式类型参数,编译器可以正常使用它。 但问题是,您正在实例化原始类型ArrayList
,而这正是编译器提供未经检查的警告的地方。 如果您将该代码更改为:
ArrayList arr = new ArrayList<>();
警告将消失。 但由于ArrayList
构造函数不是通用构造函数,因此构造函数似乎只忽略了type参数。 事实上,那里没有使用那种类型的论点。
奇怪的是,这也编译:
public static void test() { } public static void main(String... args) { Main.test(); }
…即使test()
是非generics方法。
我刚尝试过:
ArrayList arr = new ArrayList();
并得到相同的警告(不是错误!)。 看起来编译器忽略了new
关键字之后和ArrayList
之前的generics。 这就像写作:
ArrayList arr = new ArrayList();
1我不确定它是否真的“忽略”了,如果有人确认/纠正我,我会很高兴
代码,它什么都不做!
int a = new Integer(5);
它也编译但产生“未使用的generics”的警告。
所以基本上它是无用的,但不足以在默认情况下生成错误。 无论哪种方式,你的arraylist都没有在这里得到适当的广泛化。
请注意,无论如何都会编译generics,因此在字节码级别它可能看起来不会有任何不同。 我已经在eclipse中查找了一种方法,将其转换为错误而不是警告,但没有运气。
UPDATE
这个答案可以归结为目前处于+5的另一个答案,那么我的为什么会被投票呢? 如果你是downvote,请发表评论。