布鲁斯·埃克尔（Bruce Eckel）的“ Java思维”中的这个泛型示例是否错误？

Question

我正在阅读“ Java思维”中的泛型章节。该程序在下面。

public class GenericWriting {
    static <T> void writeExact(List<T> list, T item) {
        list.add(item);
    }
    static List<Apple> apples = new ArrayList<Apple>();
    static List<Fruit> fruit = new ArrayList<Fruit>();
    static void f1() {
        writeExact(apples, new Apple());
        // writeExact(fruit, new Apple()); // Error:------------------line 1
        // Incompatible types: found Fruit, required Apple
    }
    static <T> void writeWithWildcard(List<? super T> list, T item) {
        list.add(item);
    }
    static void f2() {
        writeWithWildcard(apples, new Apple());
        writeWithWildcard(fruit, new Apple());
    }
    public static void main(String[] args) { f1(); f2(); }
}

在其下方显示“ writeExact（）方法使用精确的参数类型（不使用通配符）。在f1（）中，您可以看到它正常工作—只要您将Apple放入List<Apple>。但是，writeExact（）不允许您可以将苹果放入List<Fruit>，即使您知道这样做也是可以的。”

但是，当我取消注释第1行并执行它时，它就可以正常工作。谁能帮我解决我的问题？

Answer 1

然而，writeExact( )不允许你把一个Apple成一个List<Fruit>，即使你知道这是可能的。

这是不正确的。writeExact可以将一个Apple放入一个List<Fruit>。<T>推断为，Fruit并且Apple（大概）是的子类型Fruit。

这本书包含一个错误。我可以确认，当引入泛型时，它将从Java 5开始编译。