查找泛型类型T的最大允许值

Question

我正在实现一个合并排序，它将对T类型的数组进行排序。在我的merge方法中，算法要求左右列表的最后一个元素为正无穷大。如何获得给定数据类型可以容纳的最大值？

fn merge<T: PartialOrd + Copy + std::fmt::Debug>(p: usize, q: usize, r: usize, array: &mut Vec<T>) {
    let left_size: usize = q - p;
    let right_size: usize = r - q;

    let mut left: Vec<T> = Vec::new();
    let mut right: Vec<T> = Vec::new();

    for i in 0..left_size {
        left.push(array[p + i]);
    }

    for i in 0..right_size {
        right.push(array[q + i]);
    }

    left.push(T::max_value()); //where I would put the max value
    right.push(T::max_value()); //where I would put the max value

    let mut i: usize = 0;
    let mut j: usize = 0;

    for k in p..r {
        if left[i] <= right[j] {
            array[k] = left[i];
            i += 1;
        } else {
            array[k] = right[j];
            j += 1;
        }
    }
}

Answer 1

据我所知，目前没有办法用标准库做到这一点。解决它的一种方法是制作你自己的特性，添加另一个与merge绑定的特性，并为你期望的类型实现你的特性。

然后u32的特定特征实现将返回std::u32::MAX等等其他类型。

这是一个discussion from earlier this year。

正如下面的oli_obk - ker pointed out，num箱子已经具有这样的特性：Bounded。

Answer 2

对于通用上限，您还可以将类型包装在枚举中：

#[derive(Clone, Copy, PartialEq, PartialOrd, Debug)]
enum UpperBounded<T> {
    Value(T),
    Max,
}

derived order is documented在Value(_)之前排序Max。

然后UpperBounded<T>可用于left和right载体。