java - 在特定情况下，Java 怎么可能不是类型安全的呢？

Question

今天我发现了 JVM 的一个非常非常奇怪的行为，一个(通常是类型安全的)List<Date> 实际上在运行时持有一个 List<MyObject>!

我想知道那是怎么发生的，但在网上找不到任何东西。

情况是这样的: 我在 Spring Data JPA 1.2.0 和 JBoss EAP 6.0 Server 上使用 JRE 1.6.0_18-b07。

错误地，在 Spring Data JPA Repository 类中，在 @Query 表达式中写入了错误的结果类型。应该是:

  @Query("select distinct trunc(record.orderDateTime) from MyType record [...]" )
  public List<Date> getOrderDates(...);

但是是:

  @Query("select record from MyType record [...]" )
  public List<Date> getOrderDates(...);

因此，目的是加载一个日期列表 (java.util.Date)，如果查询已按照第一个代码片段中的方式正确定义，则该方法可以正常工作。

但是那个编码错误导致了以下结果: 在运行时，实际上返回了 List<MyType>，即使该方法的签名定义了 List<Date>。同样在我的模型中， List<Date> 的属性是/包含 List<MyType> 。我调试了它，简直不敢相信自己的眼睛! 我什至可以将此列表的内容写入 JSP(我只认识到这种奇怪的行为，因为由于尝试键入从 MyType 到 Date 的匹配项时出现 Spring 表达式语言错误，JSP 无法再显示，其中当然不得不崩溃)。

该死，我现在应该放弃对 Java 类型安全的信念吗？

有人遇到过这样的问题吗？

是否存在对此的解释？

我能做些什么来解决这个问题还是这是一个普遍问题？也许是另一个版本的 JRE、JBOSS ……？

Answer 1

I wonder how that ever could happen, but couldn't find anything in the web.

发生这种情况是因为泛型主要是仅在编译时提供的功能。元数据根据类的类型参数、字段等进行维护……但在执行时，类型参数(大部分)丢失了。例如:

Object x = new ArrayList<String>();
Object y = new ArrayList<Integer>();
System.out.println(x.getClass() == y.getClass()); // True

JVM 无法区分 - 这就是为什么当您尝试转换时会收到警告:

// At execution time, this cast will *really* only check for List
List<String> dodgyCast = (List<String>) y;

对于大多数部分，编译器使用泛型来保证“常规”代码的安全。但是，当您拥有诸如 ORM 之类的东西通过反射或动态字节代码提供值时，所有这些安全性都将不复存在。