如何在 Rust 中自动实现 struct 与浮点数的比较

发布于11月16日

我正在try 为一个简单的 struct 自动"派生"比较功能，如下所示:

#[derive(PartialEq, Eq)]
struct Vec3 {
    x: f64,
    y: f64,
    z: f64,
}

然而，Rust 1.15.1抱怨:

error[E0277]: the trait bound `f64: std::cmp::Eq` is not satisfied
 --> src/main.rs:3:5
  |
3 |     x: f64,
  |     ^^^^^^ the trait `std::cmp::Eq` is not implemented for `f64`
  |
  = note: required by `std::cmp::AssertParamIsEq`

我应该怎么做才能在这里导出默认实现？

推荐答案

Rust故意不执行浮动类型的Eq.这reddit discussion条可能会进一步解释为什么，但是tl；dr.博士说，浮点数不是完全可以排序的，所以奇怪的边缘情况是不可避免的.

但是，如果您想将比较添加到 struct 中，可以派生PartialOrd.这将为您提供比较运算符和相等运算符的实现:

#[derive(PartialEq, PartialOrd)]
struct Vec3 {
    x: f64,
    y: f64,
    z: f64,
}

fn main() {
    let a = Vec3 { x: 1.0, y: 1.1, z: 1.0 };
    let b = Vec3 { x: 2.0, y: 2.0, z: 2.0 };

    println!("{}", a < b); //true
    println!("{}", a <= b); //true
    println!("{}", a == b); //false
}

而PartialOrd和PartialOrd之间只需要==和Eq之间的差，而PartialOrd和Eq之间只需要==和Eq之间的差.所以，就像浮动本身一样，在对 struct 的实例进行比较时，应该记住这一点.