java泛型类和通配符

Question

我有一个具有以下功能的 Box 泛型类：

• 2 个put 方法之一应允许客户端插入一个框并将其内容获取到当前框。

我希望这个方法得到 2 种类型的框：Box<Number> 和 Box<Integer>，这就是我将 put(Box<T>) 方法更改为 put(Box<? extends Number> box) 的原因。但我收到编译警告。我在这里做错了什么？

这是我当前的代码： 我得到的警告是：类型安全：来自 capture#1-of 的未经检查的强制转换？将 Number 扩展到 T

public class Box<T> {
    public T get() {
        return element;
    }

    public void put(T element) {
        this.element = element;
    }

    public void put(Box<? extends Number> box) {
        put((T) box.get()); // this is where i get the warning
    }

    private T element;
}

public class BoxClient {

    public static void main(String[] args) {
        Box<Number> nBox = new Box<Number>();
        Box<Integer> iBox = new Box<Integer>();
        nBox.put(iBox);

    }

}

Answer 1

改成

public void put(Box<? extends T> box) {
    put(box.get());
}

Answer 2

如果我测试您的代码，那么我会在此方法中收到警告：

public void put(Box<? extends Number> box) {
    put( (T) box.get());
}

警告是：

未经检查的演员表：java.lang.Number 到 T

问题是您的泛型类型T 没有bounds，所以它可以是任何东西，并且由于type erasure，它将被删除为Object。

变量box 的泛型类型有一个界限，所以很明显，它总是某种Number。

您的演员(T) box.get() 现在是“不安全的”，因为box.get() 返回Number 的子类型，而T 可以是任何东西，例如String。所以编译不能确定这个演员总是没问题并且不会抛出ClassCastException。 这就是为什么他警告你关于你的不安全演员表的原因。

Answer 3

您的类Box 定义了一个泛型类型T。 T 可以是任何东西。 IE。 "一个包含任何种对象的盒子"

然后，您的方法会收到一个Box<? extends Number>。 IE。 “一个包含数字类型的盒子”。

问题出在你的方法上：

public void put(Box<? extends Number> box) {
    put(box.get());
}

该方法接收“一个包含数字的盒子”，但是，它会强制转换为T。 请记住，T 可以是任何东西，因此您可能会对实际上不是数字的东西执行强制转换。考虑这个例子：

public class BoxClient {

    public static void main(String[] args) {
        Box<String> sBox = new Box<String>();
        Box<Integer> iBox = new Box<Integer>();

        iBox.put(1);
        sBox.put(iBox);

        System.out.println(sBox.get()); 
    } 

}

在这里，我创建了一个Box<String> 或“包含字符串的盒子”并添加了一个Box<Integer> 或“包含数字的盒子”。 通过泛型代码，这是有效的，因为 T 可以是任何东西，但是，如果您尝试执行它

java.lang.ClassCastException: java.lang.Integer 无法转换为 java.lang.String

这是因为 Integer 1 不能转换为 String。

为确保这种情况永远不会发生，您需要更改Box 的声明以强制执行T extends Number，如下所示：

public class Box<T extends Number> {
    public T get() {
        return element;
    } 

    public void put(T element) {
        this.element = element;
    }

    public void put(Box<? extends T> box) {
        put((T) box.get());
    }

    private T element;
}

更新： 如前所述，我之前的回答可能仍然不安全。 比如说，如果你有一个Box<Number> 并尝试向它添加一个Box<Integer>，它仍然会被允许并且仍然会引发异常。

最好的解决方案是添加bayou.io 的建议。 这样，您将确保： 1：你的盒子总是包含数字 2：您的 Box 只能从扩展为 T 的其他 Box 添加

更新2： 正如下面 newacct 在 cmets 中提到的那样，也不需要强制转换为 T。

希望这会有所帮助！

Answer 4

你的 Box 有一个泛型类型 T，它不假设它的类型（没有界限）。如果您的框只能包含Numbers（和Number 的子类型），您可以将其更改为：class Box<T extends Number>。 以及您的方法：put(Box<? extends T> box)，以便它接受 T 及其任何子类型。

Answer 5

您的问题是因为泛型类型是在 Java 5 中引入的。因此，方法签名不包含关于 泛型类。

班级草稿：

public abstract class Draft<T> {
    public abstract void put(T element);
    public abstract void putDraft(Draft draft);
}

有了这个草稿，代码保持可读性，你没有任何编译器 警告。

查看here 以查找有关此问题的更多信息。