Кастинг для каждой петли

Question

Рассмотрим приведенный выше пример кода.

Почему компилятор жалуется на «несовместимых типов» в обмен на каждой петле и говорит:

B.java:10: incompatible types 
found : java.lang.Object 
required: java.lang.String 
      for (String k : a.m.keySet()) { 

Если я раздеться параметр типа все компилируется нормально.

public class A<T> { 

    Map<String,Field> m; 

    void foo() { 
     new B(this).foo(); 
    } 
} 

class B { 

    A a; 

    B(A a) { 
     this.a = a; 
    } 

    void foo() {   
     for (String k : a.m.keySet()) { 
     } 
    } 
} 

Answer 1

Нет времени, чтобы найти соответствующую JLS часть, но это просто: Если вы объявляете класс с параметром типа, а затем использовать его без него, компилятор удаляет все общие декларации класса. То есть

public class A<T> { 
    Map<String,Field> m; 
} 

становится

public class A { 
    Map m; 
} 

Исправление очевидна: инстанцировать с общим параметром или удалить T.

Answer 2

Внутреннее поле B.a должно быть конкретизированы. Пробег

class B { 

    A<Object> a;