在 Rust 中，將泛型與整數進行比較需要什么特征

Question

如何將計算結果與泛型進行比較？ T 總是一些無符號整數類型（u64、u32 等），所以代碼片段中的應該可以工作，但是我如何說服 rust 編譯器？

fn reproduction<T>(val: T) -> bool
where
    T: PartialOrd
{
    let var_of_type_integer = 7; // actually the result of a calculation
    if val < var_of_type_integer { // ERROR: expected type parameter, found integer
        return true;
    }
    false
}

Answer 1

PartialOrd trait 可以接受一個泛型參數來指定它可以與什么類型進行比較：

pub trait PartialOrd<Rhs = Self>: PartialEq<Rhs>
where
    Rhs: ?Sized,
{
    // ...
}

所以這編譯：

pub fn reproduction<T>(val: T) -> bool
where
    T: PartialOrd<i32>,
{
    let var_of_type_integer = 7;
    if val < var_of_type_integer {
        return true;
    }
    false
}

如果當然只有故事的一半，則能夠編譯。 當您或用戶實際使用某個具體類型的值調用該函數時，該類型必須滿足指定的PartialOrd<i32> trait bound。