Rust 的泛型允许你在不指定具体类型的情况下编写代码。这使得你的代码更加灵活和可重用。本章将深入探讨 Rust 中的泛型系统，包括如何定义和使用泛型类型、泛型函数、以及如何通过约束来限制泛型参数。
泛型类型
定义泛型类型
在 Rust 中，你可以通过在类型名称后面添加尖括号 <> 来定义泛型类型。例如，我们可以定义一个简单的泛型结构体：
struct Point<T> {
x: T,
y: T,
}在这个例子中，Point 结构体可以存储任何类型的值，只要 x 和 y 是相同类型的。
使用泛型类型
创建和使用泛型类型非常直观。例如，你可以创建一个存储整数的 Point 类型，并设置其坐标：
let integer_point = Point { x: 5, y: 10 };
let float_point = Point { x: 1.0, y: 4.0 };这里，integer_point 存储了两个整数，而 float_point 存储了两个浮点数。
泛型函数
定义泛型函数
你可以为函数定义泛型参数，这样函数就可以接受多种类型的参数。例如，下面的函数可以接受任何类型的参数，并返回它们的和：
fn add<T: std::ops::Add<Output = T>>(a: T, b: T) -> T {
a + b
}在这个例子中，T 必须实现 std::ops::Add 特性，这意味着 T 必须支持加法操作。
调用泛型函数
调用泛型函数与调用普通函数类似，只是你需要提供符合泛型约束的具体类型。例如：
let sum_integers = add(3, 7); let sum_floats = add(3.1, 7.2);
在这里，sum_integers 将是 10，而 sum_floats 将是 10.3。
泛型约束
为什么需要泛型约束
泛型约束确保在使用泛型时，编译器能够验证类型是否满足所需的特性或方法。例如，如果你希望某个泛型函数可以对输入进行排序，那么你需要确保该类型实现了 Ord 特性。
实现泛型约束
你可以通过在泛型类型后面添加冒号 : 来添加泛型约束。例如，假设我们有一个函数，它需要比较两个值并返回较大的那个：
fn max<T: PartialOrd>(a: T, b: T) -> T {
if a > b {
a
} else {
b
}
}在这个例子中，T 必须实现 PartialOrd 特性，这意味着它可以被比较。
多个泛型约束
你也可以为同一个泛型类型添加多个约束。例如，如果你想确保类型同时实现了 PartialOrd 和 Copy 特性：
fn compare_and_copy<T: PartialOrd + Copy>(a: T, b: T) -> T {
if a > b {
a
} else {
b
}
}在这个例子中，T 必须同时满足 PartialOrd 和 Copy 特性。
多态和泛型
什么是多态
多态是指同一操作作用于不同的对象上时，产生不同的执行结果。在 Rust 中，泛型可以帮助你实现多态。
泛型和多态的关系
通过泛型，你可以编写一个可以处理多种类型的函数或方法，从而实现多态。例如，你可以编写一个可以处理任意类型的 Vec 的函数：
-- -------------------- ---- -------
-- --------------- ------- -
--- ---- -- -------- -
-------------- ------
-
-
-- ----
----------------- -- ----
----------------------- ----------在这个例子中，print_vec 函数可以接受任何类型的 Vec，并打印出它的内容。
泛型方法
定义泛型方法
除了泛型类型和函数，你还可以为自定义类型定义泛型方法。例如，我们可以为 Point 结构体定义一个泛型方法，用于计算两点之间的距离：
-- -------------------- ---- -------
------- -------- -
-- --------------------------- -- -
-----
-- -------------------- - -- - ---------- - ---- - ----------
-
--- --------- - ------- - ------------- - ------- - --------------
--- --------- - ------- - ------------- - ------- - --------------
---------- - -----------------
-
-在这个例子中，distance_from_origin 方法要求 T 类型必须实现 Sub、PartialOrd、Copy 和 From<f64> 特性。
调用泛型方法
调用泛型方法就像调用普通方法一样简单。例如：
let integer_point = Point { x: 3, y: 4 };
println!("Distance from origin: {}", integer_point.distance_from_origin());
let float_point = Point { x: 3.0, y: 4.0 };
println!("Distance from origin: {}", float_point.distance_from_origin());在这里，integer_point 计算的是整数坐标之间的距离，而 float_point 计算的是浮点数坐标之间的距离。
泛型与生命周期
泛型和生命周期的关系
生命周期是 Rust 中的一个重要概念，它确保引用在其引用的数据仍然有效时保持有效。泛型和生命周期经常一起使用，特别是在处理引用类型时。
定义带生命周期的泛型类型
你可以为泛型类型添加生命周期约束，以确保引用的有效性。例如，我们可以定义一个带有生命周期约束的 Reference 结构体：
struct Reference<'a, T> {
data: &'a T,
}在这个例子中，Reference 结构体包含一个对 T 类型数据的引用，且这个引用的有效期由 'a 生命周期指定。
使用带生命周期的泛型类型
创建和使用带生命周期的泛型类型需要指定生命周期参数。例如：
fn main() {
let s = String::from("hello");
let r = Reference { data: &s };
println!("{}", r.data);
}在这个例子中，r 的生命周期必须至少与 s 的生命周期一样长。
泛型和 trait
泛型与 trait 的关系
Trait 可以看作是一种接口，定义了一组行为。你可以为泛型类型添加 trait 约束，以确保这些类型具有某些特定的行为。
定义带有 trait 约束的泛型类型
你可以为泛型类型添加 trait 约束，以确保这些类型实现了特定的 trait。例如，我们可以定义一个带有 Display trait 约束的 Log 函数：
use std::fmt::Display;
fn log<T: Display>(message: T) {
println!("Log: {}", message);
}在这个例子中，log 函数要求 T 类型必须实现 Display trait。
使用带有 trait 约束的泛型类型
调用带有 trait 约束的泛型类型非常直观。例如：
log("Hello, world!");
log(42);在这个例子中，log 函数可以接受任何实现了 Display trait 的类型，包括字符串和整数。
总结
本章详细介绍了 Rust 中的泛型系统，包括泛型类型、泛型函数、泛型约束、多态、泛型方法、泛型与生命周期的关系，以及泛型与 trait 的结合使用。通过理解这些概念，你可以编写更加灵活和强大的代码，提高代码的可重用性和可维护性。