具有长度Comparatorbug的JavaTreeSet？

我有下面的代码,它使用基于字符串长度的比较器创建一个TreeSet.

public class TreeSetComparator {
    public static void main(String[] args) {
        SortedSet sortedSet = new TreeSet<>(Comparator.comparing(String::length));
        sortedSet.addAll(Arrays.asList("aa", "bb", "aa"));
        System.out.println(sortedSet);
    }
}

令我惊讶的是,上面的输出是

[aa]

虽然我期待

[aa, bb]

要么

[bb, aa]

"bb"部分消失,这似乎与SortedSet合约相反.比较器应该只对元素进行排序而不是确定它们的唯一性,这通常由等于确定.

另一方面,如果我将比较器增强为总是为不等于下面的项目返回非零,那么我才能得到正确的结果.

    SortedSet sortedSet = new TreeSet<>(Comparator.comparing(String::length).reversed().thenComparing(String::toString));
    sortedSet.addAll(Arrays.asList("aa", "bb", "aa"));
    System.out.println(sortedSet);

现在的输出[aa, bb]正如我所料.

以上是TreeSet实现中的错误吗？

我的环境如下:

mvn --version                                                                                                                                            21:40:22
Apache Maven 3.5.4 (1edded0938998edf8bf061f1ceb3cfdeccf443fe; 2018-06-17T19:33:14+01:00)
Maven home: /home/aaaa/.sdkman/candidates/maven/current
Java version: 10.0.2, vendor: Oracle Corporation, runtime: /usr/lib/jvm/java-10-jdk
Default locale: en_GB, platform encoding: UTF-8
OS name: "linux", version: "4.14.60-1-manjaro", arch: "amd64", family: "unix"

UPDATE

以下是相关文章以及如何在未来版本的Java中解决问题的建议:https://yesday.github.io/blog/2018/java-gotchas-sorted-set-ignores-the-equals-method html的

这不是一个bug.至少不在TreeSet.

从javadoc,我的重点:

请注意,如果要正确实现Set接口,则由set维护的排序(无论是否提供显式比较器)必须与equals一致.(有关与equals一致的精确定义,请参阅Comparable或Comparator.)这是因为Set接口是根据equals操作定义的,但TreeSet实例使用compareTo(或compare)方法执行所有元素比较,因此从集合的角度来看,通过这种方法被认为相等的元素是相等的.集合的行为即使其排序与equals不一致也是明确定义的; 它只是不遵守Set接口的一般合同.

因此,因为"aa"和"bb"都具有2的长度,所以它们被认为是相等的compareTo,因此被认为是相等的TreeSet.

根据定义,与equals一致意味着:

当且仅当c.compare(e1,e2)== 0具有与每个e1的e1.equals(e2)相同的布尔值时,比较器c对一组元素S施加的排序被称为与等于一致.和S中的e2