błąd ogólny czas kompilacji Java migracji z Java 6 do 7 lub 8

Question

Zaczęliśmy coraz skompilować błędy w kodzie, które używane rodzajowych i że z powodzeniem skompilowany pod Java 6. Oto proste klasy do reprodukcji:

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 
    } 
} 

Wynikowy błąd:

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

Czy ktoś ma jakieś pomysły?

Answer 1

Dzieje się tak, ponieważ Foobar bez żadnych parametrów typu jest surowy typ. Surowe typy nie mają ogólnych właściwości, więc w tym przypadku surowy typ Foobar rozszerza się o Bar, który rozszerza surowy typ Foo. Surowe typy wykorzystują górną granicę swoich parametrów, ponieważ są kompilowane w ten sposób po usunięciu, a kompilator nie ma parametrów typu, aby bezpiecznie wstawić rzuty.

W przypadku Foo ta górna granica to Object. Powoduje to, że Foo.get() zwraca Object, więc Bar.get() zwraca Object, a więc Foobar.get() również zwraca Object. Oczywiście kompilator nie rzuci Object do Long bez wyraźnego rzutowania.

W przeciwieństwie do tego sparametryzowany typ Foobar<N> rozszerza się o Bar, który rozszerza sparametryzowany typ Foo<Long>. Kompilator może teraz używać rodzajowych, więc widzi, że Foo<T>.get() ma typ T, że Foo<Long>.get() ma typ Long, że Bar.get() ma typ Long, i wreszcie, że Foobar<N>.get() ma typ Long również.

To oznacza, że ​​należy zadeklarować foobar jak pokazano:

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

To nie ma znaczenia, jaki parametr typ foobar jest, tak długo jak jest on obecny. Może nawet być symbolem wieloznacznym ?.