带有通配符的 Java 泛型无法编译

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<? super C, String> t) {
    for (C p : list) {
        t.call(p);
    }
}

我发现的关于泛型的最好解释是 Joshua Bloch 的“Effective Java”。您可以在 presentation 中找到与您的示例相关的一小段摘录。 .