Как реализовать 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 и PartialOrd<Self>. Вы должны реализовать эти черты для SomeNum.

Кстати, ваша реализация выглядит как неправильный путь; if self.value - все, что вы сравниваете, self.value > other.value должно быть Greater, а не Less.

Вы можете использовать реализацию Ord на u32, чтобы помочь, если вы захотите: self.value.cmp(other.value).

Вы также должны принять во внимание, что Ord является всего заказ. Если ваша реализация PartialEq учитывает, например, name, ваша реализация Ord также должна быть выполнена. Это может быть хорошо использовать кортеж для удобства (с указанием, что самое важное поле сравнения value, но что, если они такие же, name следует принимать во внимание), что-то вроде этого:

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]:

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

Это будет расширяться в основном то же самое.