为什么对泛型的这种使用不会引发运行时或编译时异常？

Question

我在类中有一个方法，该方法具有通过使用泛型指定的返回类型。

public class SomeMain {

  public static void main(String[] args) {

    Foo<Integer> foo = new Foo<Integer>();
    System.out.println(foo.getFoo()); // Works, prints out "Foo"

  }

  public static class Foo<E>  {
    public E getFoo() {
      return (E) "Foo";
    }
  }
}

对于通用返回类型，我假设以上示例中的返回将计算为：

return (Integer) "Foo";  // Inconvertible types !!!

而是String返回a并正确打印。

如果将调用更改为：我收到编译错误：

String fooString = foo.getFoo(); // Compile error, incompatible types found
System.out.println(fooString);

我缺少什么来帮助我了解这里发生了什么以及为什么原始版本没有导致编译错误。

Answer 1

这是因为重载解析解决了您的println调用println(Object)，因为没有println(Integer)。

请记住，Java的泛型会在运行时删除。像这样(E) "Foo"的演员阵容将被删除，并移至呼叫站点。有时这不是必需的，因此仅在需要时才将内容转换为正确的类型。

换句话说，在内部不执行任何强制转换getFoo。语言规范支持：

第5.5.2节：已 检查的演员表和未检查的演员表

• 演员表是完全未经检查的演员表。

对于此类转换，不执行任何运行时操作。

删除后，getFoo返回Object。并将其传递到中println(Object)，这完全可以。

如果调用此方法并通过foo.getFoo， 则会 收到错误消息：

static void f(Integer i) {
    System.out.println(i);
}
// ...
f(foo.getFoo()); // ClassCastException

因为这一次 需要 投射