为什么如果 compareTo() 返回 0,则暗示对象相等?

让我们来上一堂课。人有名字和身高。Person

Equals 和 hashCode() 仅考虑名称。人是可比的(或者我们用它来实现比较器,不管是哪一个)。按身高比较人员。

似乎可以合理地期望两个不同的人可以具有相同的高度,但是例如,TreeSet的行为类似于compareTo()==0意味着相等,而不仅仅是相同的大小。

为了避免这种情况,如果大小相同,比较可以次要查看其他内容,但不能用于检测相同大小的不同对象。

例:

import java.util.Comparator;
import java.util.HashSet;
import java.util.Objects;
import java.util.Set;
import java.util.TreeSet;

public class Person implements Comparable<Person> {

private final String name;
private int height;

public Person(String name,
        int height) {
    this.name = name;
    this.height = height;
}

public int getHeight() {
    return height;
}

public void setHeight(int height) {
    this.height = height;
}

public String getName() {
    return name;
}

@Override
public int compareTo(Person o) {
    return Integer.compare(height, o.height);
}

public boolean equals(Object obj) {
    if (obj == null) {
        return false;
    }
    if (getClass() != obj.getClass()) {
        return false;
    }
    final Person other = (Person) obj;
    if (!Objects.equals(this.name, other.name)) {
        return false;
    }
    return true;
}

public int hashCode() {
    int hash = 5;
    hash = 13 * hash + Objects.hashCode(this.name);
    return hash;
}

public String toString() {
    return "Person{" + name + ", height = " + height + '}';
}

public static class PComparator1 implements Comparator<Person> {

    @Override
    public int compare(Person o1,
            Person o2) {
        return o1.compareTo(o2);
    }
}

public static class PComparator2 implements Comparator<Person> {

    @Override
    public int compare(Person o1,
            Person o2) {
        int r = Integer.compare(o1.height, o2.height);
        return r == 0 ? o1.name.compareTo(o2.name) : r;
    }
}

public static void test(Set<Person> ps) {
    ps.add(new Person("Ann", 150));
    ps.add(new Person("Jane", 150));
    ps.add(new Person("John", 180));
    System.out.println(ps.getClass().getName());
    for (Person p : ps) {
        System.out.println(" " + p);
    }
}

public static void main(String[] args) {
    test(new HashSet<Person>());
    test(new TreeSet<Person>());
    test(new TreeSet<>(new PComparator1()));
    test(new TreeSet<>(new PComparator2()));
}
}

结果:

java.util.HashSet
 Person{Ann, height = 150}
 Person{John, height = 180}
 Person{Jane, height = 150}

java.util.TreeSet
 Person{Ann, height = 150}
 Person{John, height = 180}

java.util.TreeSet
 Person{Ann, height = 150}
 Person{John, height = 180}

java.util.TreeSet
 Person{Ann, height = 150}
 Person{Jane, height = 150}
 Person{John, height = 180}

你知道为什么会这样吗?


答案 1

从 javadoc 中提取:java.util.SortedSet

请注意,如果排序集要正确实现 Set 接口,则由排序集(无论是否提供显式比较器)维护的排序必须与 equals 一致。(请参阅可比较接口或比较器接口,了解与等价一致的精确定义。之所以如此,是因为 Set 接口是根据 equals 运算定义的,但排序的集合使用其 compareTo(或 compare)方法执行所有元素比较,因此从排序集的角度来看,此方法视为相等的两个元素是相等的。排序集的行为是明确定义的,即使它的排序与 equals 不一致;它只是不遵守 Set 接口的总协定。

因此,换句话说,中断(或“扩展”)和 的总合同。请参阅合同:SortedSetObject.equals()Comparable.compareTocompareTo

强烈建议,但不是严格要求 (x.compareTo(y)==0) == (x.equals(y))。一般来说,任何实现Able接口并违反此条件的类都应该清楚地表明这一事实。推荐的语言是“注意:这个类有一个与equals不一致的自然排序。


答案 2

建议只在相同对象上调用 时返回 :compareTo0equalstrue

当且仅当 e1.compareTo(e2) == 0 对于类 C 的每个 e1 和 e2 具有与 e1.equals(e2) 相同的布尔值时,类 C 的自然排序被称为与 equals 一致。

(来自 JDK 1.6 Javadocs)


推荐