Rust的泛型、Traits与生命周期用法及说明_rust

1. 消除代码重复的初衷

在传统编程中，如果我们需要对两个不同的整数列表分别寻找最大值，很容易复制粘贴同样的逻辑代码。

例如：

下面的示例（listing 10-1）展示了如何从一个整数列表中找出最大值：

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

    for number in &number_list {
        if number > largest {
            largest = number;
        }
    }
    println!("the largest number is {}", largest);
}

当我们需要对多个列表进行同样操作时，简单复制这段代码不仅显得重复，而且增加了维护的复杂度。

如果我们将逻辑修改为其它形式，就必须同步更新所有重复的代码。

2. 提取函数实现代码复用

为了解决这一问题，我们可以将“找出最大值”的逻辑抽取到一个函数中，使得代码不仅更加清晰，同时也降低了维护成本。

经过重构后，代码如下（listing 10-3）：

fn largest(list: &[i32]) -> i32 {
    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);
}

步骤总结：

识别重复代码：在多个地方出现相似的逻辑。
抽取成函数：将重复代码抽象成一个独立函数，并通过参数传递数据。
调用新函数：在各处使用函数调用替代复制的代码。

这种方法不仅适用于当前整数类型，还为接下来引入泛型打下基础。

3. 泛型：让函数适用于多种数据类型

我们刚刚的函数 largest 限定了参数为 &[i32]，但实际上，如果有类似需求需要找出字符数组中的最大值，我们不必重新写一遍逻辑。

rust 的泛型允许我们将类型参数化，从而编写一个能够适应不同数据类型的函数。

举个例子：

假设我们希望编写一个函数，可以同时处理 i32、char 甚至其他可比较的数据类型，只需在函数定义中使用泛型参数，并在约束中指定必须实现某些 trait（例如 partialord 用于比较大小）：

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 char_list = vec!['y', 'm', 'a', 'q'];
    
    let largest_number = largest(&number_list);
    let largest_char = largest(&char_list);
    
    println!("the largest number is {}", largest_number);
    println!("the largest char is {}", largest_char);
}

在这个例子中，我们使用泛型 t 替代了具体类型，同时用 t: partialord + copy 限制了泛型必须实现大小比较和复制的能力。

这样就能确保无论传入什么数据类型，只要它满足这些 trait，函数都能正常工作。

4. traits 与生命周期：进一步的抽象与安全

虽然本文主要围绕泛型展开，但 rust 的另两个核心概念——traits 与 生命周期 同样重要。

traits：通过定义接口，traits 描述了类型必须具备的行为。借助 traits，可以实现更高级的抽象，允许泛型代码仅适用于满足特定条件的类型。
生命周期：当涉及引用时，生命周期帮助编译器了解不同引用之间的关系，从而确保引用的有效性。通过显式声明生命周期，我们能让编译器更好地检查借用规则，进一步提高代码安全性。

结合泛型、traits 和生命周期，rust 提供了极高的灵活性与安全性，使得代码既能复用又能保证内存安全。