Java TreeSet 与长度比较器错误？

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

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

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

[aa]

虽然我期望

[aa, bb]

or

[bb, aa]

“bb”部分消失了，这似乎违反了 SortedSet 契约。比较器应该只对元素进行排序，而不确定它们的唯一性，这通常由 equals 确定。

另一方面，如果我增强比较器以始终为如下所示的不相等项返回非零，只有这样我才能得到正确的结果。

    SortedSet<String> 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

这不是一个错误。至少不在TreeSet.

从javadoc中，我强调：

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

因为“aa”和“bb”的长度都是 2，所以它们被认为相等compareTo从而由TreeSet.

根据定义, 与等于一致 means:

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