何为Eq和PartialEq?
Rust中的Eq和PartialEq是用于比较操作的两个核心trait。如果你的类型需要支持相等性比较(即可以使用==和!=操作符进行比较),它们必须实现这两个trait中的至少一个。 这两者之间的主要区别在于"偏序性"(Partial)和"全序性"(Full)。PartialEq允许类型的部分值相互比较,而Eq要求类型的所有值在比较时都是确定的。
PartialEq的实现
首先,让我们来看一个PartialEq的例子:
enum BookFormat { Paperback, Hardback, Ebook }
struct Book {
isbn: i32,
format: BookFormat,
}
impl PartialEq for Book {
fn eq(&self, other: &Self) -> bool {
self.isbn == other.isbn
}
}
impl Eq for Book {}
这里Book结构体实现了PartialEq,但它也能够自动获得Eq的默认实现(没有额外的行为需要定义)。
部分相等性 Partial Eq
浮点数类型f32和f64默认实现了PartialEq而非Eq。这是因为浮点数涉及一个特殊的值:NaN(不是一个数),NaN不与任何值(包括它自己)相等,这违反了Eq需要的全部相等性:
let f1 = f32::NAN;
let f2 = f32::NAN;
if f1 == f2 {
println!("NaN 竟然可以比较,这很不数学啊!");
} else {
println!("果然,虽然两个都是 NaN ,但是它们其实并不相等");
}
在这段代码中,输出将会是"果然,虽然两个都是 NaN ,但是它们其实并不相等"。
Ord与PartialOrd
类似于Eq和PartialEq,Ord和PartialOrd是另外一对重要的trait,它们分别用于全序比较和偏序比较。这意味着,实现Ord的类型其值必须能够进行全序排序,而实现PartialOrd的类型则只能保证局部的顺序关系。
让我们看一个例子:
use std::fmt::Display;
struct Pair {
x: T,
y: T,
}
impl Pair {
fn cmp_display(&self) {
if self.x >= self.y {
println!("The largest member is x = {}", self.x);
} else {
println!("The largest member is y = {}", self.y);
}
}
}
在这个例子中,我们定义了一个Pair
结论
理解和合理使用Eq和PartialEq特征对于实现类型比较操作至关重要。在设计你自己的类型时,如果所有实例之间都是可以比较的,那么可以选择实现Eq;否则,如果类型存在无法比较的特殊值(例如浮点数的NaN),则仅实现PartialEq即可。
每当我们定义比较行为时,无论是基于性能考虑还是逻辑要求,我们都应该仔细选择正确的特征来实现。希望以上内容有助于你更好地理解和利用Rust语言的这一特性。