从 Java 6 迁移到 7 或 8 的 Java 通用编译时错误

Question

我们已经开始在使用泛型并且在 Java 6 下成功编译的代码上出现编译错误。这里有一个简单的类来重现：

class Test {
    static class Foo<T> {
            T t;
            Foo(T t) { this.t = t; }
            T get() { return t; }
    }

    static class Bar extends Foo<Long> {
            Bar(Long t) { super(t); }
    }

    static class Foobar<N extends Number> extends Bar {
            Foobar() { super(5L); }
    }

    public static void main(String[] args) {
            Bar bar = new Bar(0L);
            Long b = bar.get();             // This works
            Foobar foobar = new Foobar();
            Long fb = foobar.get(); // This generates a compile time error
    }
}

产生的错误是：

Test.java:26: error: incompatible types: Object cannot be converted to Long
            Long fb = foobar.get(); // This generates a compile time error

有人有什么想法吗？

Answer 1

这是因为没有任何类型参数的Foobar 是一个原始类型。原始类型没有通用能力，因此在这种情况下，原始类型 Foobar 扩展了 Bar，它扩展了 raw 类型 Foo。原始类型使用其参数的上限，因为它们在擦除后以这种方式编译，并且编译器没有类型参数来安全地插入强制转换。

对于Foo，这个上限是Object。这导致Foo.get() 返回Object，所以Bar.get() 返回Object，所以Foobar.get() 也返回Object。显然，编译器不会将 Object 转换为 Long 而不进行显式转换。

相比之下，参数化类型Foobar<N> 扩展了Bar，后者扩展了参数化类型Foo<Long>。编译器现在可以使用泛型，所以它看到Foo<T>.get() 的类型为T，Foo<Long>.get() 的类型为Long，Bar.get() 的类型为Long，最后Foobar<N>.get() 的类型为@987654345 @ 也一样。

这意味着你应该声明foobar，如下所示：

Foobar<...> foobar = new Foobar<...>();

foobar 的类型参数是什么并不重要，只要它存在即可。它甚至可以是通配符?。