- mongodb - 在 MongoDB mapreduce 中,如何展平值对象?
- javascript - 对象传播与 Object.assign
- html - 输入类型 ="submit"Vs 按钮标签它们可以互换吗?
- sql - 使用 MongoDB 而不是 MS SQL Server 的优缺点
我有一些代码要写
GenericClass<Foo> foos = new GenericClass<>();
虽然是同事写的
GenericClass<Foo> foos = new GenericClass();
认为在这种情况下菱形运算符没有添加任何内容。
我知道构造函数实际使用与泛型类型相关的参数可能会导致编译时错误 <>
而不是原始情况下的运行时错误。而且编译时错误要好得多。 (如 this question 中所述)
我也很清楚,编译器(和 IDE)可以为将原始类型分配给泛型生成警告。
问题是针对没有参数或没有与泛型类型相关的参数的情况。在那种情况下,有什么办法构造对象GenericClass<Foo> foos
可以根据使用的构造函数而有所不同,还是 Java 类型删除保证它们是相同的?
最佳答案
对于两个 ArrayList
的实例化s,一个在末尾带有菱形运算符,一个没有...
List<Integer> fooList = new ArrayList<>();
List<Integer> barList = new ArrayList();
...生成的字节码是相同的。
LOCALVARIABLE fooList Ljava/util/List; L1 L4 1
// signature Ljava/util/List<Ljava/lang/Integer;>;
// declaration: java.util.List<java.lang.Integer>
LOCALVARIABLE barList Ljava/util/List; L2 L4 2
// signature Ljava/util/List<Ljava/lang/Integer;>;
// declaration: java.util.List<java.lang.Integer>
所以根据字节码,两者之间没有任何区别。
但是,如果您使用第二种方法,编译器 将生成未经检查的警告。因此,第二种方法确实没有值(value)。您所做的只是使用编译器生成一个误报未经检查的警告,这会增加项目的噪音。
我已经成功地演示了一个场景,在该场景中这样做是积极的有害。它的正式名称是heap pollution . This is not something that you want to occur在你的代码库中,任何时候你看到这种调用,它都应该被删除。
考虑这个类,它扩展了ArrayList
的一些功能。 .
class Echo<T extends Number> extends ArrayList<T> {
public Echo() {
}
public Echo(Class<T> clazz) {
try {
this.add(clazz.newInstance());
} catch (InstantiationException | IllegalAccessException e) {
System.out.println("YOU WON'T SEE ME THROWN");
System.exit(-127);
}
}
}
看起来足够无害;您可以添加任何类型绑定(bind)的实例。
但是,如果我们在玩 raw types ...这样做可能会有一些不幸的副作用。
final Echo<? super Number> oops = new Echo(ArrayList.class);
oops.add(2);
oops.add(3);
System.out.println(oops);
这将打印 [[], 2, 3]
而不是抛出任何类型的异常。如果我们想对所有 Integer
进行操作在这个列表中,我们会遇到 ClassCastException
,感谢那令人愉快的ArrayList.class
调用。
当然,如果添加菱形运算符,所有这些都可以避免,这将保证我们不会遇到这种情况。
现在,由于我们在混合中引入了原始类型,Java 无法根据 JLS 4.12.2 执行类型检查:
For example, the code:
List l = new ArrayList<Number>();
List<String> ls = l; // Unchecked warninggives rise to a compile-time unchecked warning, because it is not possible to ascertain, either at compile time (within the limits of the compile-time type checking rules) or at run time, whether the variable
l
does indeed refer to aList<String>
.
上面的情况很相似;如果我们看一下我们使用的第一个示例,我们所做的只是没有在问题中添加额外的变量。堆污染同样发生。
List rawFooList = new ArrayList();
List<Integer> fooList = rawFooList;
因此,虽然字节码是相同的(可能是由于删除),但事实仍然是这样的声明可能会产生不同或异常的行为。
关于java - 我们可以将菱形运算符的结果与原始构造函数区分开来吗?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/28934615/
不确定是否可能,但只是想知道 CSS 中是否有一种方法来区分两种浏览器,即 IE6 和 IE8,因为我有一个我需要应用的样式,但 IE6 和 IE8 的值需要不同,即 ul.sf-menu li li
我正在为 C 库编写 C++ 抽象。 C 库有几个用于标识远程资源的 ID 的类型定义: typedef int color_id; typedef int smell_id; typedef int
有谁知道当以编程方式遍历 Word 文档时,您可以判断一个段落是否构成目录的一部分(或者实际上,构成字段一部分的任何其他内容)。 我提出这个问题的原因是我有一个 VB 程序,它应该从文档中提取前几段实
假设我的数据集包含三列:id(标识)、case(字符)和 value(数字)。这是我的数据集: tdata <- data.frame(id=c(1,1,1,1,2,2,2,2,3,3,3,3,4,4
我在解释 gcc (4.8.2) 警告和错误时遇到问题。更准确地说,很难分辨一个问题在哪里结束,另一个问题从哪里开始。我只能通过控制台访问构建机器,因此不能选择使用 IDE。 我真的需要能够快速区分个
我想创建一个泛型类型,它只从类定义中选择修饰的方法。 function test(ctor: any, methodName: any) {} class A { @test publ
是否有规范的 base-R 方法来确定函数参数是否是对象名称而不是文字/表达式? 虽然通常不鼓励使用 NSE,但偶尔会有人有一个好主意并想使用它。 data.frame 是我认为“方便”的最简单用例:
我已经实现了 didSelectRowAtIndexPath 和accessoryButtonTappedForRowWithIndexPath 似乎永远不会触发。但是,didSelectRowAtI
我需要确定数据框中的哪些列是小数,哪些是字符串。 使用 df.dtypes 为两种列类型提供“对象”: import pandas as pd import decimal data = {'dec1
有没有办法在 Vim 中区分隐藏缓冲区和事件缓冲区? 我需要确定窗口中的缓冲区是否处于事件状态,以便可以切换它。 尝试了 bufloaded、bufexists 和 buflisted,但它们对于事件
在 JavaScript 中区分事件的最佳方法是什么。 实际上有两点我感兴趣。第一点是事件中是否有类似 id 的东西(这对于调试目的非常有用)。另一点是有更好的方法来区分 mousedown 和 mo
我有一个 php 页面,里面有多个表单。 "> "> " value=""> " value=""> 这些表单是通过循环遍历 MySQL 上的所有数据而生成的。每个表单和输入都
Pony 有一个未参数化的异常值。 不幸的是,我经常有一些代码想要抛出不同类型的异常,并且我需要知道它们是什么,以便正确处理它们——例如,简单地说,当停止程序时,向用户提供以下信息很重要正确的错误消息
出于对所有神圣事物的热爱,您如何区分预定义的 .NET 异常类中的不同“异常风格”? 例如,一段代码可能会抛出 XmlException在以下条件下: 文档的根元素为NULL 文档中的字符无效 文档太
正如您在下面看到的,我创建了一个 JComboBox,其中“选项”数组中的元素作为列表中的选项。 当选择列表中的特定项目时,我想显示 JLabels“一个”或“两个”。例如。选择选项一显示“一”,选择
我有一个表,其中包含四列用户名、产品名称、产品价格和一个名为 item_paid 的 boolean 列。相同的产品名称可以作为重复条目插入到表中。但是有没有办法区分一行和重复行?或者我应该创建一个名
是否可以使用反射来区分仅 getter 属性和表达式主体属性? class MyClass { DateTime GetterOnly { get; } DateTime Expres
我即将为一个学校项目制作一个小程序,该程序应该能够识别通过 MIDI 钢琴输入演奏的和弦(这只是其中的一部分)。 目前为止,每次按下和每次释放 MIDI 键盘上的某个键,我都会得到一个 ShortMe
我正在使用“自动”反序列化器从 Kafka 消费 Avro 序列化消息,例如: props.put( ConsumerConfig.VALUE_DESERIALIZER_CLASS_CONFI
我需要从两个表中检索数据。第一个是事件列表,第二个是 field 列表。 我在两个表中都有一个同名的字段:events.venue(这是一个 ID),venues.venue 是地点的名称,比如“bl
我是一名优秀的程序员,十分优秀!