Java Generics с подстановочными знаками не компилируется

Question

У меня возникли проблемы с пониманием тонкостей Java-дженериков с подстановочными знаками. в частности, почему это не компилируется.

public class Test { 

    abstract class Function<A, B> { 
     abstract B call(A a); 
    } 

    interface PropertyType { 
     String bubbles(); 
    } 

    class Apartment implements PropertyType { 
     @Override 
     public String bubbles() { 
      return "bubbles"; 
     } 
    } 

    public void invokeFunctionOnAList() { 
     List<Apartment> apts = new ArrayList<Apartment>(); 
     functionLoop(apts, new Function<Apartment, String>() { 

      @Override 
      String call(Apartment a) { 
       return a.bubbles(); 
      } 
     }); 
    } 

    public void functionLoop(List<? extends PropertyType> list, Function<? extends PropertyType, String> t) { 
     for (PropertyType p : list) { 
      t.call(p); 
     } 
    } 
} 

Answer 1

Ваш компилятор не знает, используете ли вы один и тот же тип в списке и функции. Поэтому вы должны сказать ему это.

Попробуйте это:

public <C extends PropertyType>void functionLoop(
         List<C> list, Function<C, String> t) { 
    for (C p : list) { 
    t.call(p); 
    } 
} 

Answer 2

потому что call(Apartment a) должен получить Apartment объект в качестве параметра, и вы передаете PropertyType объект. То есть Apartment is-a PropertyType, но PropertyType is-NOT-a Appartment.

Answer 3

Наиболее формально правильный способ поставить этот код на самом деле

public <C extends PropertyType> void functionLoop(
     List<C> list, Function<? super C, String> t) { 
    for (C p : list) { 
     t.call(p); 
    } 
} 

Лучшее объяснение дженериков я нашел на «Эффективное Java» Джошуа Блоха. Вы можете найти небольшую выдержку, которая может относиться к вашему примеру в этом presentation.