Rust 中什么是泛型 (Generics)？-JavaScript中文网-JavaScript教程资源分享门户

本题详细解读

泛型的基本概念

泛型是 Rust 中实现代码复用和类型安全的重要工具。它允许你在编写代码时不指定具体的类型，而是使用一个占位符（通常用 T 表示），这个占位符可以在使用时被任何具体的类型替换。

泛型函数

泛型函数是使用泛型的最常见方式之一。你可以在函数定义中使用泛型类型参数，使得函数可以处理多种类型的输入。

// www.javascriptcn.com code example
fn largest<T: PartialOrd>(list: &[T]) -> &T {
    let mut largest = &list[0];

    for item in list {
        if item > largest {
            largest = item;
        }
    }

    largest
}

在这个例子中，largest 函数可以接受任何实现了 PartialOrd trait 的类型的切片，并返回其中的最大元素。

泛型结构体

泛型也可以用于结构体定义中，使得结构体可以包含不同类型的字段。

// www.javascriptcn.com code example
struct Point<T> {
    x: T,
    y: T,
}

fn main() {
    let integer_point = Point { x: 5, y: 10 };
    let float_point = Point { x: 1.0, y: 4.0 };
}

在这个例子中，Point 结构体可以包含任何类型的 x 和 y 字段，只要它们的类型相同。

泛型枚举

Rust 的标准库中的 Option 和 Result 枚举就是泛型的典型例子。

// www.javascriptcn.com code example
enum Option<T> {
    Some(T),
    None,
}

enum Result<T, E> {
    Ok(T),
    Err(E),
}

Option<T> 枚举可以表示一个可能存在的值（Some(T)）或不存在（None），而 Result<T, E> 枚举可以表示一个操作的成功（Ok(T)）或失败（Err(E)）。

泛型方法

你还可以为泛型结构体或枚举实现方法。

impl<T> Point<T> {
    fn x(&self) -> &T {
        &self.x
    }
}

在这个例子中，x 方法返回 Point 结构体中 x 字段的引用，适用于任何类型的 Point。

泛型的性能

Rust 的泛型在编译时会被单态化（monomorphization），这意味着编译器会为每个具体类型生成一份特定的代码。因此，使用泛型不会带来运行时性能开销。

总结

泛型是 Rust 中实现代码复用和类型安全的重要工具。通过泛型，你可以编写灵活且可重用的代码，适用于多种数据类型。泛型函数、结构体、枚举和方法是 Rust 中常见的泛型应用场景。

Rust 中什么是泛型 (Generics)？

推荐答案