java - Bruce Eckel 的 "Thinking in Java"中的这个泛型示例是否错误？

Question

我正在阅读“Thinking in 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( ) 不允许您将 Apple 放入 List<Fruit> 中，即使您知道这应该是可能的。”

但是当我取消注释第 1 行并执行它时，它工作正常。谁能帮我解决我哪里出错了？

Answer 1

However, writeExact( ) does not allow you to put an Apple into a List<Fruit>, even though you know that should be possible.

这是不正确的。 writeExact可以放一个Apple在List<Fruit> . <T>推断为 Fruit和 Apple (大概)是 Fruit 的子类型.

这本书有一个错误。我可以确认，当引入泛型时，这将在 Java 5 中编译。