为什么不能将借来的整数与文字整数进行比较？

Question

我想获取条件为真的数组中的元素。例如。我想要数组元素为 0 的所有索引：

fn main() {
    let lim = 10;
    let mut sieve = vec![0; lim + 1];
    sieve[1] = 1;
    println!(
        "{:?}",
        sieve
            .iter()
            .enumerate()
            .filter(|&(_, c)| c != 0)
            .map(|(i, _)| i)
            .collect::<Vec<usize>>()
    );
}

但这是一个编译错误：

error[E0277]: can't compare `&{integer}` with `{integer}`
  --> src/main.rs:10:33
   |
10 |             .filter(|&(_, c)| c != 0)
   |                                 ^^ no implementation for `&{integer} == {integer}`
   |
   = help: the trait `std::cmp::PartialEq<{integer}>` is not implemented for `&{integer}`

当我使用 c.clone() != 0 时，它可以工作。

如果我正确理解错误消息，Rust 会抱怨它无法将借用与整数与整数进行比较。我不明白为什么不可能。

Answer 1

您正确解释了错误，原因是它根本没有实现。如果标准库编写者想要完成这项工作，他们必须为&i32 == i32、i32 == &i32、&mut i32 == i32、i32 == &mut i32、&i32 == &mut i32 和&mut i32 == &i32 实现PartialEq。然后他们必须为所有其他原始类型（i8、i16、u8、u16、u32、i64、u64、f32、f64和char)。

这是PartialEq 实现的很多。

或者他们可以只要求该语言的用户写*c != 0。

（如果你来自 C++，要理解的关键是在语法上，借用更像是指针而不是引用。只有方法调用语法具有自动取消引用功能。）