在泛型集合中实现 remove(Object o)

Question

我正在编写一个基于二叉树模型的通用集合。

class MyTree <T extends Comparable<T>> extends AbstractCollection<T>{...}

底层Node<T> 类（以及其他）包含以下方法：

public Node<T> getLeft()  // left Node
public Node<T> getRight() // right Node
public T getValue()       // value stored in the Node

我想重写接口AbstractCollection<T> 的方法boolean contains(Object o) 以便能够检查Object 的类型不是T。

对于 O(log n) 中的树遍历，泛型类型 T 必须实现 Comparable<T>，因此它具有方法 compareTo(T t)。

我的代码：

@Override
public boolean contains(Object o){
    T t = (T) o; // produces warning (see below)
    BSNode<T> currentNode = this.root;
    while(currentNode != null){
        if(currentNode.getValue().equals(o)) {return true;}
        if(currentNode.getValue().compareTo(t) < 0)  {currentNode = currentNode.getRight();}
        if(currentNode.getValue().compareTo(t) > 0)  {currentNode = currentNode.getLeft();}
    }
    return false;
}

问题是我不能只将Object o 转换为T t 以使用compareTo(T t)。从技术上讲，Object 可以转换为T，但由于T 是泛型类型，我会收到以下警告：

warning: [unchecked] unchecked cast
          T t = (T) o;
                    ^
required: T
found:    Object
where T is a type-variable:
  T extends Comparable<T> declared in class MyTree

有人可以吗

1. 确认我可以使用@SuppressWarnings("unchecked") 安全地忽略警告，
2. 建议我如何安全地将Object 转换为T，
3. 请解释为什么以上两点都不能满足，这样我就可以停止思考如何完成这项工作？

非常感谢！

Answer 1

如果您想进行不受限制的搜索，则需要进行强制转换。您可以添加instanceof 来保护演员表免受异常影响，但这也不理想。

考虑如下更改T 的边界：

class MyTree <T extends Comparable<? super T>> extends AbstractCollection<T>{...}

由于您进行了覆盖，因此非常需要抑制警告。演员表应如下所示：

@SuppressWarnings("unchecked")
Comparable<? super T> t = (Comparable<? super T>) o;

请参阅java.util.TreeMap 的getEntry 方法的来源，以了解如何在Java source 中完成它（他们这样做是出于同样的原因 - 需要覆盖带有签名的方法以采用Object） .