Rust：泛型參數能否具有引用其他參數的界限？

Question

我想創建一個 function ，它需要兩個類似類型的 arrays 並按字典順序比較它們，就像這樣

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> 。 是否有其他語法可以做到這一點，以便我可以在 function 簽名中指出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 。