pub trait Comparable<T>: JType {
// Required method
fn compare_to(&self, o: &T) -> Result<i32, <Self as JType>::Error>;
}
Expand description
此接口对实现它的每个类的对象施加了全排序。此排序称为类的自然排序,类的 compareTo 方法称为其自然比较方法。 实现此接口的对象列表(和数组)可以通过 Collections.sort(和 Arrays.sort)自动排序。 实现此接口的对象可以用作有序映射中的键或有序集合中的元素,而无需指定比较器。 当且仅当 e1.compareTo(e2) == 0 对于类 C 的每个 e1 和 e2 都具有与 e1.equals(e2) 相同的布尔值时,类 C 的自然排序才被认为与 equals 一致。 请注意,null 不是任何类的实例,即使 e.equals(null) 返回 false,e.compareTo(null) 也应抛出 NullPointerException。 强烈建议(但不是必需的)自然排序与 equals 一致。这是因为,当有序集合(和有序映射)与自然顺序与 equals 不一致的元素(或键)一起使用时,没有显式比较器的行为会“奇怪”。 特别是,这样的有序集合(或有序映射)违反了集合(或映射)的一般约定,该约定是根据 equals 方法定义的。 例如,如果将两个键 a 和 b 相加,使得 (!a.equals(b) && a.compareTo(b) == 0) 添加到不使用显式比较器的有序集合,则第二个添加操作将返回 false(并且有序集合的大小不会增加),因为从有序集合的角度来看,a 和 b 是相等的。 几乎所有实现 Comparable 的 Java 核心类都具有与 equals 一致的自然顺序。一个例外是 java.math.BigDecimal,其自然顺序将具有相等数值和不同表示形式的 BigDecimal 对象相等(例如 4.0 和 4.00)。 对于 BigDecimal。 equals() 返回 true,则两个 BigDecimal 对象的表示和数值必须相同。对于数学爱好者来说,定义给定类 C 的自然排序的关系是: {(x, y) 使得 x.compareTo(y) <= 0}。 此全序的商是: {(x, y) 使得 x.compareTo(y) == 0}。 根据 compareTo 的约定,可以立即得出,商是 C 上的等价关系,而自然排序是 C 上的全序。 当我们说类的自然排序与 equals 一致时,我们的意思是自然排序的商是该类的 equals(Object) 方法定义的等价关系: {(x, y) 使得 x.equals(y)}。 换句话说,当一个类的自然顺序与 equals 一致时,由 equals 方法的等价关系定义的等价类和由 compareTo 方法的商定义的等价类是相同的。此接口是 Java 集合框架的成员。
Required Methods§
Sourcefn compare_to(&self, o: &T) -> Result<i32, <Self as JType>::Error>
fn compare_to(&self, o: &T) -> Result<i32, <Self as JType>::Error>
将此对象与指定对象进行比较以确定顺序。如果此对象小于、等于或大于指定对象,则返回负整数、零或正整数。 实现者必须确保对于所有 x 和 y,signum(x.compareTo(y)) == -signum(y.compareTo(x))。(这意味着当且仅当 y.compareTo(x) 抛出异常时,x.compareTo(y) 才必须抛出异常。) 实现者还必须确保关系是传递的:(x.compareTo(y) > 0 && y.compareTo(z) > 0)意味着 x.compareTo(z) > 0。 最后,实现者必须确保对于所有 z,x.compareTo(y)==0 意味着 signum(x.compareTo(z)) == signum(y.compareTo(z))。 返回:负整数、零或正整数,因为此对象小于、等于或大于指定对象。 抛出:
- NullPointerException – 如果指定对象为 null
- ClassCastException – 如果指定对象的类型阻止其与此对象进行比较。
强烈建议(但不严格要求)(x.compareTo(y)==0) == (x.equals(y))。一般来说,任何实现 Comparable 接口并违反此条件的类都应明确指出这一事实。建议的语言是“注意:此类具有与 equals 不一致的自然排序。”
o
要比较的对象。
Dyn Compatibility§
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.