rust - 如何为我自己的结构在 Vector 上实现 PartialEq？

Question

我有以下定义:

pub struct List<T> {
    memory:  Vec<T>,
}

我会得到相当于 #[derive(PartialEq)] 的值对于这种类型，如 How can I implement PartialEq? 中所述

我使用匹配表达式，例如:

impl<T: PartialEq> PartialEq for List<T> {
    fn eq(&self, other: &List<T>) -> bool {
        self.memory == other.memory      
    }
}
impl<T: fmt::Debug> fmt::Debug for List<T> where T:Display {
    fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
        try!(write!(f, "["));
        for (count, v) in self.memory.iter().enumerate() {
            if count != 0 { try!(write!(f, ", ")); }
            try!(write!(f, "{}", v));
        }
        write!(f, "]")
    }
}
impl<T> List<T> {
    pub fn new() -> Self {
        List {
            memory: Vec::new(),
        }
    }
    // push() add to end of list
    pub fn push(&mut self, value: T) {
        self.memory.push(value);
    }
}

但是编译器给我这些错误:

error: mismatched types [E0308]

if ! ( * left_val == * right_val ) {

note: in this expansion of assert_eq!

help: run rustc --explain E0308 to see a detailed explanation

note: expected type librusty_data_structures::List<u32>

note: found type [_; 4]

产生编译错误的main.rs

let mut listex: List<u32> = List::new();
listex.push(17);
listex.push(18);
listex.push(19);
listex.push(20);            
assert_eq!(listex, [17, 18, 19, 20]);

我不明白为什么这很重要。为什么它甚至在看那个类型？

Answer 1

listex和 [17, 18, 19, 20]有不同的类型( List<u32> 和 [_; 4] )，因此您无法检查它们是否相等。您需要更改 assert_eq!() 的参数之一的类型所以类型匹配。最简单的选择是引用 listex的 memory :

assert_eq!(&listex.memory[0..4], [17, 18, 19, 20]);

或者你可以转换[17, 18, 19, 20]到 List<u32>这样 PartialEq List<T> 的实现可以付诸行动。

如果你要比较listex与另一个List<32> , 你的 PartialEq实现将允许检查是否相等(尽管您需要 List<T> 来派生 Debug 以便对它们执行 assert_eq!())。

编辑:至于你的问题“为什么它还要看那个类型？”，请注意在你的 PartialEq 实现中:

fn eq(&self, other: &List<T>)

您指定 eq仅适用于 &List<T> 类型的两个参数( &self 指向 List<T> )。