掌握 Rust 泛型函数（从零开始的 Rust 泛型编程指南）

什么是泛型？

泛型（Generics）是一种让代码适用于多种类型的机制。比如，你写一个函数，既可以处理整数，也可以处理字符串，而不需要为每种类型都写一遍。

在 Rust编程教程 中，泛型是实现“一次编写，多处使用”的核心手段之一。

不使用泛型的例子

假设我们要写一个函数，返回两个整数中较大的那个：

fn max_i32(x: i32, y: i32) -> i32 {    if x > y { x } else { y }}

但如果想比较两个浮点数呢？你可能得再写一个：

fn max_f64(x: f64, y: f64) -> f64 {    if x > y { x } else { y }}

这样不仅重复，还难以维护。这时候，泛型编程 就派上用场了！

使用泛型函数

我们可以用泛型写一个通用的 max 函数：

fn max<T>(x: T, y: T) -> Twhere    T: PartialOrd,{    if x > y { x } else { y }}

让我们拆解一下这段代码：

• <T>：表示这是一个泛型函数，T 是一个占位符，代表任意类型。
• T: PartialOrd：这是“trait bound”（特征约束），意思是 T 必须实现 PartialOrd 特征，这样才能使用 > 比较操作符。

完整示例

下面是一个完整的可运行示例：

fn main() {    let a = 5;    let b = 10;    println!("Max of {} and {} is {}", a, b, max(a, b));    let x = 3.14;    let y = 2.71;    println!("Max of {} and {} is {}", x, y, max(x, y));}fn max<T>(x: T, y: T) -> Twhere    T: PartialOrd,{    if x > y { x } else { y }}

运行这段代码，你会发现它既能处理整数，也能处理浮点数！这就是 Rust泛型函数 的强大之处。

泛型函数的优势

• 代码复用：一份逻辑，多种类型。
• 类型安全：Rust 在编译时检查类型，避免运行时错误。
• 零成本抽象：泛型在编译后会被“单态化”（monomorphization），生成针对具体类型的高效代码，没有运行时开销。

小结

通过本教程，你已经学会了如何定义和使用 Rust泛型函数。无论你是刚接触 Rust语言入门，还是正在深入学习 Rust编程教程，掌握 泛型编程 都将极大提升你的编码能力。快去试试写自己的泛型函数吧！