iterator - Rhs 在有关 PartialEq 的编译器错误消息中指的是什么？

Question

我正在尝试创建一个函数，它将两个迭代器作为参数并通过引用迭代项目。每个 Iterator 项都应该实现 PartialEq。

我的第一次尝试是:

fn compute<T: Iterator>(first: T, second: T, len: usize) -> usize
where
    T::Item: std::cmp::PartialEq,
{
    // ...
}

这编译但迭代(据我所知)不是通过引用而是通过值迭代，编译器在迭代时提示移动。

我的第二次尝试是这样的:

fn compute<'a, T>(first: T, second: T, len: usize) -> usize
where
    T: Iterator<Item = &'a std::cmp::PartialEq>,
{
    //...
}

导致编译错误:

error[E0393]: the type parameter `Rhs` must be explicitly specified
 --> src/main.rs:3:28
  |
3 |     T: Iterator<Item = &'a std::cmp::PartialEq>,
  |                            ^^^^^^^^^^^^^^^^^^^ missing reference to `Rhs`
  |
  = note: because of the default `Self` reference, type parameters must be specified on object types

编译器在这里提到的 Rhs(右侧？)是什么意思？为什么我需要引用它？如何将基于有界引用的 Iterator 传递给函数？

Answer 1

PartialEq 是允许您比较两个值的特征。这两个值不必必须是同一类型! generic type Rhs 用于指定我们要比较的类型。默认情况下，Rhs 的值与被比较的类型相同:

pub trait PartialEq<Rhs = Self> 
where
    Rhs: ?Sized, 

在这种情况下，您实际上是在请求迭代器值是特征对象 &PartialEq。如错误消息所述:

because of the default Self reference, type parameters must be specified on object types

我们可以指定它:

fn compute<'a, T>(first: T, second: T, len: usize) -> usize
where
    T: Iterator<Item = &'a std::cmp::PartialEq<i32>>,

或

fn compute<'a, T: 'a>(first: T, second: T, len: usize) -> usize
where
    T: Iterator<Item = &'a std::cmp::PartialEq<&'a T>>,

---

but iterates (as far as I understand) not by reference but by value

它很可能通过引用进行迭代。请记住，T 是任何 类型，i32、&i32 和&mut i32是所有类型。您的第一个示例是我将使用的签名的公式:

fn compute<T: Iterator>(first: T, second: T, len: usize) -> usize
where
    T::Item: std::cmp::PartialEq,
{
    42
}

fn main() {
    let a = [1, 2, 3];
    let b = [4, 5, 6];

    compute(a.iter(), b.iter(), 1);
    compute(a.iter(), b.iter(), 2);
    compute(a.iter(), b.iter(), 3);
}