Rust Ord用法及代碼示例

形成 total order 的類型的特征。

實現必須與 PartialOrd 實現一致，並確保 max 、 min 和 clamp 與 cmp 一致：

• partial_cmp(a, b) == Some(cmp(a, b)) 。
• max(a, b) == max_by(a, b, cmp)(由默認實現確保)。
• min(a, b) == min_by(a, b, cmp)(由默認實現確保)。
• 對於 a.clamp(min, max) ，請參閱方法文檔(由默認實現確保)。

通過派生一些特征並手動實現其他特征，很容易意外地使cmp 和partial_cmp 不一致。

推論

從以上和 PartialOrd 的要求來看，< 定義了嚴格的總順序。這意味著對於所有 a 、 b 和 c ：

• a < b 、 a == b 或 a > b 中的一個為真；和
• < 是傳遞性的： a < b 和 b < c 意味著 a < c 。對於 == 和 > 也必須如此。

可導出的

此特征可以與 #[derive] 一起使用。當 derive 作用於結構時，它將根據結構成員從上到下的聲明順序生成 lexicographic 排序。當 derive d 在枚舉上時，變體按其從上到下的判別順序進行排序。這意味著頂部的變體少於底部的變體。這是一個例子：

#[derive(PartialEq, PartialOrd)]
enum Size {
    Small,
    Large,
}

assert!(Size::Small < Size::Large);

字典比較

字典比較是具有以下屬性的操作：

• 兩個序列逐個元素進行比較。
• 第一個不匹配元素定義了哪個序列在字典上小於或大於另一個。
• 如果一個序列是另一個序列的前綴，則較短的序列在字典上比另一個序列少。
• 如果兩個序列有等價的元素並且長度相同，那麽這兩個序列在字典上是相等的。
• 空序列按字典順序小於任何非空序列。
• 兩個空序列在字典上是相等的。

如何實現 Ord ？

Ord 要求類型也是 PartialOrd 和 Eq (需要 PartialEq )。

然後，您必須為 cmp 定義一個實現。您可能會發現在類型的字段上使用 cmp 很有用。

這是一個示例，您隻想按身高對人員進行排序，而忽略 id 和 name ：

use std::cmp::Ordering;

#[derive(Eq)]
struct Person {
    id: u32,
    name: String,
    height: u32,
}

impl Ord for Person {
    fn cmp(&self, other: &Self) -> Ordering {
        self.height.cmp(&other.height)
    }
}

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

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