如何为结构实现Ord？

Question

我见过一个类似的问题，但是没有人告诉我如何为结构实现Ord。例如，以下内容：

struct SomeNum {
    name: String,
    value: u32,
}

impl Ord for SomeNum {
    fn cmp(&self, other:&Self) -> Ordering {
        let size1 = self.value;
        let size2 = other.value;
        if size1 > size2 {
            Ordering::Less
        }
        if size1 < size2 {
            Ordering::Greater
        }
        Ordering::Equal
    }
}

这给了我一个错误：

error: the trait `core::cmp::Eq` is not implemented for the type `SomeNum` [E0277]

我该怎么解决这个问题？我尝试将实现更改为：

impl Ord for SomeNum where SomeNum: PartialOrd + PartialEq + Eq {...}

并添加适当的partial_cmp和eq函数，但这给了我一个错误，即这两种方法都不是Ord的成员。

Answer 1

Ord的定义如下：

pub trait Ord: Eq + PartialOrd<Self> {
    fn cmp(&self, other: &Self) -> Ordering;
}

任何实现Ord的类型也必须实现Eq和ParatalOrd

顺便说一句，您的实现看起来是错误的；如果self。值是您要比较的全部，self。价值

如果需要，您可以使用u32上的Ord实现来提供帮助：self。价值cmp（其他.value）。

您还应考虑到，Ord是一个总订单。例如，如果您的PartialEq实现考虑了name，则您的Ord实现也必须考虑。为了方便起见，最好使用一个元组（表示比较中最重要的字段是值，但如果它们相同，则应考虑名称），如下所示：

struct SomeNum {
    name: String,
    value: u32,
}

impl Ord for SomeNum {
    fn cmp(&self, other: &Self) -> Ordering {
        (self.value, &self.name).cmp(&(other.value, &other.name))
    }
}

impl PartialOrd for SomeNum {
    fn partial_cmp(&self, other: &Self) -> Option<Ordering> {
        Some(self.cmp(other))
    }
}

impl PartialEq for SomeNum {
    fn eq(&self, other: &Self) -> bool {
        (self.value, &self.name) == (other.value, &other.name)
    }
}

impl Eq for SomeNum { }

如果您是这样做的，那么您最好对字段重新排序，并使用#[派生]：

#[derive(PartialEq, Eq, PartialOrd, Ord)]
struct SomeNum {
    value: u32,
    name: String,
}

这将扩展到基本相同的事情。