generics - Rust:通用参数是否可以具有引用其他参数的范围？

Question

我想创建一个函数，该函数接受两个可比较类型的数组，并按字典顺序对它们进行比较，如下所示

use std::cmp::Eq;

fn compare_arrays<T : Eq<U>, U>(a1: &[T], a2: &[U]) -> bool {
    //Comparison code here
    return false
}

但是，Rust编译器不接受 T : Eq<U>。还有其他语法可以做到这一点，以便可以在函数签名中指示 T和 U的可比性吗？

Answer 1

是的，类型约束可以使用其他类型参数。您看到的错误是因为 Eq 不是通用的。

error[E0107]: wrong number of type arguments: expected 0, found 1
 --> src/lib.rs:3:26
  |
3 | fn compare_arrays<T : Eq<U>, U>(a1: &[T], a2: &[U]) -> bool {
  |                          ^ unexpected type argument

请改用 PartialEq 。