Génériques Java avec caractères génériques ne compilant pas

Question

Je n'arrive pas à comprendre les subtilités des génériques Java avec des caractères génériques. spécifiquement, pourquoi ne compile-t-il pas?

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

Votre compilateur ne sait pas si vous utilisez le même type dans la liste et la fonction. Par conséquent, vous devez lui dire cela.

Essayez ceci:

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

Answer 2

parce call(Apartment a) devrait obtenir l'objet Apartment comme paramètre et vous passez un objet PropertyType. Alors que Apartment est-PropertyType, mais PropertyType est-NOT-un Appartment.

Answer 3

La façon la plus formellement correct de mettre ce code est en fait

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

La meilleure explication des génériques que j'ai trouvé sur "Effective Java" par Joshua Bloch. Vous pouvez trouver un petit extrait qui peut se rapporter à votre exemple dans ce presentation.