- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我不明白为什么我的 Java 代码没有出现错误。我有一个使用泛型类型的类:
import java.util.*; // For ArrayList
public class Hat<T>
{
public ArrayList<T> convert(String s)
{
T t = (T) s; // Cast happens here
ArrayList<T> list = new ArrayList<T>();
list.add(t);
return list;
}
}
然后,我执行一些我认为应该会产生错误的代码:
Hat<Integer> h = new Hat<Integer>();
ArrayList<Integer> iList = h.convert("hello");
它的作用是创建一个整数数组列表,它以某种方式有一个字符串作为元素!这不会在运行时引发任何错误,即使您打印 ArrayList(它打印“[hello]”)也不会。
我预计“convert”方法会抛出错误。为什么这没有发生,有可能实现吗?有趣的是,当我尝试从 ArrayList 中以整数形式获取元素时,就会发生这种情况,但错误并非来自“convert”方法。
最佳答案
在Java中,泛型仅在编译时使用;它们在类型检查器验证程序后被“删除”,并且对程序的执行没有影响。特别是,在运行时,ArrayList<Integer>
之间没有区别。和一个ArrayList<String>
(或任何其他的 ArrayList
)。类型检查完成后,你的程序被删除,执行的程序相当于:
public class Hat
{
public ArrayList convert(String s)
{
Object t = s;
ArrayList list = new ArrayList();
list.add(t);
return list;
}
}
Hat h = new Hat();
ArrayList iList = h.convert("hello");
其行为与您观察到的方式相同。
所以问题是,当这个程序明显产生一个声称是 ArrayList<Integer>
的错误值时,为什么要进行类型检查?但包含字符串?类型系统不应该拒绝这样的程序吗?
嗯,确实如此,只是有一个很大的漏洞:未经检查的强制转换。当您对涉及泛型的类型进行强制转换时 - 在您的情况下,行 T t = (T) s;
-- 由于删除,Java 在运行时没有任何东西可以用来测试强制转换是否有效。 Java 设计者可能不允许这种类型的转换,在这种情况下你的程序将无法编译。
不过,他们并没有那样做。相反,他们选择允许涉及泛型的强制转换,并相信编写强制转换的程序员比编译器更聪明,并且知道强制转换会成功。但是,如果您使用这些强制转换之一,那么所有的赌注都会被取消,并且正如您所发现的那样,类型系统最终可能会出现 ArrayList<Integer>
。实际上包含字符串的 s。所以警告你需要小心,他们有编译器但每当您编写此类强制转换时,都会发出“未经检查的强制转换”警告,提醒您存在可疑的强制转换,并且由您来证明它是正确的。在我工作过的代码库中,未经检查的强制转换需要用 @SuppressWarning
进行注释。以及描述为什么强制转换始终有效的评论。
如果您想要处理未经检查的强制转换并且希望发出运行时检查怎么办?在这种情况下,您将必须自己编写运行时检查程序。您通常可以使用 Class
来执行此操作对象。根据您的情况,您可以添加额外的 Class
参数到您的 Hat
代表您期望的类的构造函数 T
是,并使用它来进行在运行时检查的类型安全转换:
public class Hat<T>
{
private final Class<? extends T> expectedClass;
public Hat(Class<? extends T> expectedClass)
{
this.expectedClass = expectedClass;
}
public ArrayList<T> convert(String s)
{
T t = expectedClass.cast(s); // This cast will fail at runtime if T isn't String
ArrayList<T> list = new ArrayList<T>();
list.add(t);
return list;
}
}
那么您的调用站点需要更改为:
Hat<Integer> h = new Hat<Integer>(Integer.class);
ArrayList<Integer> iList = h.convert("hello"); // throws
关于Java:通用类型转换中(缺乏)错误,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/50223578/
我不明白为什么我的 Java 代码没有出现错误。我有一个使用泛型类型的类: import java.util.*; // For ArrayList public class Hat { pub
我正在 Pygame 中开发一款射击类游戏供我自己娱乐,在创建玩家的基本 Action 的过程中我遇到了一些疑问,“Dash”和“Switch”均未按预期工作。 ... def switch(self
当我加载一个显示的网页时,为什么我要为每个图像的 HTTP 请求打开一个新的 TCP 连接?为什么在页面加载期间不重复使用单个 TCP 连接? 最佳答案 我认为浏览器通常会打开多个连接,以便它可以并行
我一直在谷歌搜索,只能找到 a trivial example Compute Capability 3.0 中的新动态并行性在其链接的其中一份技术简报中介绍 from here .我知道 HPC 专
我使用 Telerik 和 Microsoft CDN,分别用于它们各自的 AJAX 工具包。两者在 99% 的情况下都工作得很好。然而,我最近在两家不同的咖啡馆工作并访问了我的网站:第一家咖啡馆不允
我在一家从事网络托管的 IT 公司工作,而且我个人对 SQL 非常缺乏经验*。 *看起来很糟糕 我的一个客户正在尝试将 Epos 系统与其 magento 网站集成,在 Epos 集成过程中,他们遇到
我的代码现在有一个循环,它调用蒙特卡洛函数来计算多个样本的简单积分(y=x,从 0 到 1),并将总时间和积分值写入文本文件。然后循环增加线程数并继续前进。现在大约有 8 个线程,时间峰值约为 2.6
所以 HTTP/2 增加了我想要利用的性能。出于各种原因,我不喜欢连接我的 javascript,而 HTTP/2 无论如何都会使它变得不必要。 但是。我正在开发一个将部署在客户本地网络中的网络应用程
我写了一个非常简单的 Haskell 程序: main = print $ sum $ map read ["55", "99", "101"] 鉴于我过去的经验,我预计会得到一个“歧义类型”错误,因
我是一名优秀的程序员,十分优秀!