可以通过Java泛型类型系统强制自然排序吗？

Question

树集（收藏）

构造包含指定集合中元素的新树集，并根据其元素的自然顺序进行排序。插入到集合中的所有元素必须实现可比较的接口。此外，所有这些元素必须相互可比：e1。compareTo（e2）不能为集合中的任何元素e1和e2抛出ClassCastException。

是否有可能在语法上强制集合中的E




Answer 1

来自塔维亚·巴恩斯的评论：

他们可以做类TreeSet

因此，使用

如果TreeSet希望创建一个具有不可比较类的TreeSet：为什么是运行时异常，而不是编译时错误？

感谢所有帮助回答问题的人！

Answer 2

您可以使用以下工厂方法使您的项目需要：

public static <T extends Comparable<? super T>> SortedSet<T> safeSortedSet() {
    return new TreeSet<T>();
}

然后是代码：

Set<String> pass = safeSortedSet();
Set<Foo> fail = safeSortedSet();

第二行生成编译错误：

错误：（99，38）java:不兼容的类型：推理变量T具有不兼容的边界
等式约束：测试。Foo
上限：java。朗。可比

Answer 3

是的，但不包括施工人员；您必须公开一个工厂方法，它可以对集合类型施加超出类作为一个整体施加的约束。例如，他们可以写

public class TreeSet<E> { ...
  public static <E extends Comparable<? super E>> TreeSet<E>
      create(Collection<? extends E> collection) {
    TreeSet<E> set = new TreeSet<E>();
    set.addAll(collection);
    return set;
  }
  ...
}