在 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特征可以采用泛型参数来指定可以与之进行比较的类型：

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>特征绑定。