为啥为非泛型方法或构造函数提供显式类型参数会编译？

Posted 2023-02-25

【中文标题】为啥为非泛型方法或构造函数提供显式类型参数会编译？

【英文标题】：Why does giving explicit type arguments to a non-generic method or constructor compile?为什么为非泛型方法或构造函数提供显式类型参数会编译？

【发布时间】：2014-04-06 02:38:40

【问题描述】：

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

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

或

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

但是今天我遇到了一个 ArrayList 的实例，它看起来像这样：

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

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

【问题讨论】：

我不确定你是如何得到编译警告而不是编译错误的

@AndreiSfat 它编译..

您能说说您使用的java版本吗？

您在哪个 java 版本上编译该代码？

另外，轻微的挑剔：您应该使用List<T> l = new ArrayList<T>()，不同之处在于在 List 变量中捕获 ArrayList 引用。最好使用接口，最好是尽可能高级的接口。通常，实现对集合的用户来说并不重要，只是它是可迭代的并且知道它的大小。

【参考方案1】：

代码，它什么都不做！

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

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

所以基本上它是无用的，但似乎默认情况下生成错误还不够糟糕。无论哪种方式，您的数组列表都未在此处正确生成。

请注意，泛型无论如何都会被编译掉，所以在字节码级别它可能看起来没有任何不同。我已经在 eclipse 中寻找一种将其变成错误而不是警告但没有运气的方法。

更新

这个答案归结为与当前 +5 的另一个答案相同，那么为什么我的答案被否决了？如果您投反对票，请发表评论。

【讨论】：

我完全同意“如果您投反对票，请发表评论”。

【参考方案2】：

我刚试过：

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

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

ArrayList<Integer> arr = new ArrayList();

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

【讨论】：

我收到了相同的警告，就好像泛型被完全关闭一样，向我表明它基本上被忽略了。也许忽略不是正确的词：也许编译器认识到它是一个通用规范，然后因为它不合适而丢弃它。我很想看看语言规范是否对此有什么要说的。

你可能想报告这个，因为它似乎是错误的行为。

@skiwi 嗯。 JLS 中提到了该行为。所以，正如预期的那样。

【参考方案3】：

编辑：

是的，找到了参考。见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<?>>

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

【讨论】：

@kocko 也添加了 JLS 参考 :)

参考用于方法表达式。 JLS7 中的构造函数不包含这样的东西。或者至少我找不到那个。

@PavelHoral 好吧，类型参数推断对泛型构造函数的工作方式与对泛型方法的工作方式相同。该 JLS 参考是为什么允许为非泛型方法提供类型参数的原因。我会假设这也适用于构造函数。

@PavelHoral 另一点是，构造函数最终只编译为方法。因此，规则也适用于他们也是有道理的。

hmmm.. 现在我可以再说一遍：Gut Gemacht Rohit！ :)