arrays - 如何使用泛型和特征从数组中获取最大的元素？

Question

我刚开始学习 Rust，并且在阅读“Rust Book”时正在创造性地尝试一些东西。

我知道可以创建一个通用方法来从数组中获取最大的元素，如下所示:

fn largest<T: PartialOrd + Copy> (nums: &[T]) -> T {
    let mut largest = nums[0];
    for &el in nums {
        if el > largest {
            largest = el;
        }
    } 

    return largest;
}

然后像这样调用 main 函数:

fn main() {
    let list: Vec<u32> = vec![1,7,4];
    println!("{}", largest(&list)); // 7
}

除了像这样“扩展”数组之外，我将如何做同样的事情:

fn main() {
    let list: Vec<u32> = vec![1,7,4];
    println!("{}", list.largest()); // 7
}

我想最后一个问题是:如果可能的话，这是否是一种不好的做法？为什么？

---

我尝试过类似的方法，但没能弄清楚如何实现返回 T 的“Largeble”特性:

pub trait Largeble {
    fn largest(&self);
}

impl<T: Copy + PartialOrd + Display> Largeble for Vec<T> {
    fn largest(&self) {
        
        let mut largest = match self.get(0) {
            Some(&el) => el,
            None => panic!("Non Empty array expected")
        };

        for &el in self {
            if el > largest {
                largest = el;
            }
        } 
    
        println!("{}", largest);
        // return largest;
    }
}

Answer 1

您需要制作 Largeable特征返回 T来自 Vec<T> ，您可以使用关联类型执行此操作:

use std::fmt;

pub trait Largeble {
    type Output;
    fn largest(&self) -> Self::Output;
}

impl<T: Copy + PartialOrd + fmt::Display> Largeble for Vec<T> {
    type Output = T;
    fn largest(&self) -> T {
        let mut largest = match self.get(0) {
            Some(&el) => el,
            None => panic!("Non Empty array expected")
        };

        for &el in self {
            if el > largest {
                largest = el;
            }
        } 
    
        largest
    }
}

println!("{}", vec![1, 2, 3, 2].largest()); // prints "3"

像 Largeable 这样的特征通常称为extension traits ，因为它们使用新功能扩展了现有项目。使用扩展特征来扩展现有库中的项目在 Rust 生态系统中很常见。通常在扩展名称后缀 Ext (因此 Vec 的附加方法集合将称为 VecExt )。扩展特征的一个流行用法是 itertools 库，它提供了一个特性，可以将额外的有用方法添加到 Iterator在标准库中。