栏目分类:
子分类:
返回
名师互学网用户登录
快速导航关闭
当前搜索
当前分类
子分类
实用工具
热门搜索
名师互学网 > IT > 面试经验 > 面试问答

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

面试问答 更新时间: 发布时间: IT归档 最新发布 模块sitemap 名妆网 法律咨询 聚返吧 英语巴士网 伯小乐 网商动力

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

编辑:

是的,找到了参考。参见JLS§15.12.2.1-确定潜在适用方法:

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

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

强调我的。

另请参见JLS§15.9.3-选择构造函数及其参数,以了解如何解决构造函数调用。它还提到要遵循上述过程进行解决。


原始答案:

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

class Demo<T> {    public <X> Demo(X[] arg1, X arg2) {         // initialization pre        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()
是非通用方法。



转载请注明:文章转载自 www.mshxw.com
本文地址:https://www.mshxw.com/it/453608.html
我们一直用心在做
关于我们 文章归档 网站地图 联系我们

版权所有 (c)2021-2022 MSHXW.COM

ICP备案号:晋ICP备2021003244-6号