泛型数据类型

Rust和Go中的PartialOrd/Copy类型约束在largest函数中的应用,

原创于 2023-11-28 23:55:39 发布 · 162 阅读

0 ·

CC 4.0 BY-SA版权

文章标签：

#rust

rust 编程开发专栏收录该内容

32 篇文章

订阅专栏

在largest中想要通过大于(>)运算符来比较两个T类型的值，而T类型必须实现PartialOrd约束才是可比较的。由于PartialOrd在预导入模块找那个，所以我们不需要手动将其引入作用域。

通过PartialOrd也限制了切片的元素类型都是可比较的。不仅仅是RUST，Go的泛型也有这样的类型约束。中间的加号(+)表示T同时实现了Copy约束。

largest尝试获取list[0]的所有权，要保证这个操作顺利实现，就需要引入Copy这个约束。当然，不是所有的类型都实现了Copy约束，例子中的 i32就因为同时实现了这两个约束。

fn largest<T: PartialOrd + Copy>(list: &[T]) -> T {
    let mut largest = list[0];

    for &item in list.iter() {
        if item > largest {
            largest = item;
        }
    }

    largest
}

fn main() {
    let number_list = vec![34, 50, 25, 100, 65];

    let result = largest(&number_list);
    println!("the largest number is {}", result);
}