Question

我正在阅读＆＃34;思考java＆＃34;中的泛型章节。该计划如下。

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(); }
}

下面说＆＃34; writeExact（）方法使用精确的参数类型（没有通配符）。在f1（）中你可以看到这种方法很好 - 只要你只将Apple放入List<Apple>。但是，writeExact（）不允许您将Apple放入List<Fruit>，即使您知道应该可以这样做。＆＃34;

但是当我取消注释第1行并执行它时，它工作正常。在我出错的地方，有人可以帮助我吗？

Answer 1

但是，writeExact( )不允许您将Apple放入List<Fruit>，即使您知道这应该是可能的。

这是不正确的。 writeExact可以将Apple放入List<Fruit>。 <T>被推断为Fruit而Apple（可能）是Fruit的子类型。

这本书包含错误。我可以确认，当引入泛型时，这将编译为 Java 5 。

Answer 2

我认为作者不是行 <script src="https://ajax.googleapis.com/ajax/libs/jquery/1.10.2/jquery.min.js"></script> <div id="target">Target</div> <table> <tbody> <tr><td>Cell</td></tr> </tbody> </table> 想写 static List<Fruit> fruit = new ArrayList<Fruit>();

这是布鲁斯·埃克尔（Bruce Eckel）在＃Java; Thinking in Java＆＃34;错误？

2 个答案: