与集合相等且可比较

Question

我在这里发布了一些代码，正确地解决了海报上的一个问题。OP希望删除重复项，并将某些特殊项置于列表的顶部。我使用了一个TreeSet和一个特殊的Comparable类，该类包装了他们正在使用的Locale，以实现他们想要的。

然后我开始想。。。正如你所做的。。。我是通过从compareTo方法返回0来消除重复，而不是通过从equals实现返回true来消除重复，这是正确指示集合中的重复（根据集合的定义）所需要的。

我不反对使用这种技术，但我是否使用了可能被视为未记录的功能？我是否可以放心地认为，今后做这种事情会继续奏效？

Answer 1

似乎这在TreeSet的JavaDoc中有很好的记录（粗体矿）：

请注意，如果要正确实现Set接口，由set维护的顺序（无论是否提供显式比较器）必须与equals一致。（请参阅可比较的或比较器，以获得与等于一致的精确定义。）这是因为Set接口是根据equals操作定义的，但是TreeSet实例使用其compareTo（或比较）方法执行所有元素比较，因此两个元素从集合的角度来看，通过这种方法视为相等的是相等的。集合的行为是明确定义的，即使它的顺序与等号不一致；它只是不遵守Set接口的一般契约。

下面是一个仅（？）实现了可比较的但与equals（）不一致的JDK类：

Set<BigDecimal> decimals = new HashSet<BigDecimal>();
decimals.add(new BigDecimal("42"));
decimals.add(new BigDecimal("42.0"));
decimals.add(new BigDecimal("42.00"));
System.out.println(decimals);

末尾的decimals有三个值，因为42，42.0和42.00就equals（）而言是不相等的。但是如果您将HashSet替换为TreeSet，则结果集只包含1项（42-碰巧是第一个添加的项），因为当使用BigD<--plhd进行比较时，所有项都被认为是相等的--0/>to（）.

这表明，当使用与equals（）不一致的类型时，TreeSet在某种程度上被“破坏”。它仍然正常工作，所有的操作都是定义良好的——它只是不遵守Set类的契约——如果两个类不是相等的（），它们就不被认为是重复的。

• 比较与等于一致是什么意思？如果我的班级不遵循这个原则，可能会发生什么？