泛型

泛型是一个关于将类型和功能泛化以适用于更广泛情况的主题。这在多方面都非常有用，可以大大减少代码重复，但可能需要相对复杂的语法。具体来说，使用泛型需要非常谨慎地指定泛型类型在哪些类型上是有效的。泛型最简单和最常见的用途是类型参数。

类型参数通过使用尖括号和大写驼峰命名法来指定为泛型：<Aaa, Bbb, ...>。"泛型类型参数"通常表示为 <T>。在 Rust 中，"泛型"也用来描述任何接受一个或多个泛型类型参数 <T> 的东西。任何被指定为泛型类型参数的类型都是泛型的，而其他所有类型都是具体的（非泛型）。

例如，定义一个名为 foo 的泛型函数，它接受一个任意类型的参数 T：

fn foo<T>(arg: T) { ... }

因为 T 已经使用 <T> 指定为泛型类型参数，所以在这里用作 (arg: T) 时被视为泛型。即使 T 之前已被定义为一个 struct，这种情况也成立。

下面的例子展示了一些泛型语法的实际应用：

// 具体类型 `A`
struct A;

// 定义 `Single` 类型时，首次使用 `A` 前没有 `<A>`
// 因此，`Single` 是具体类型，`A` 即上面定义的类型
struct Single(A);
//            ^ 这里是 `Single` 首次使用 `A` 类型

// 这里 `<T>` 在首次使用 `T` 之前，所以 `SingleGen` 是泛型
// 由于类型参数 `T` 是泛型，它可以是任何类型
// 包括上面定义的具体类型 `A`
struct SingleGen<T>(T);

fn main() {
    // `Single` 是具体类型，明确接受 `A`
    let _s = Single(A);
    
    // 创建 `SingleGen<char>` 类型的变量 `_char`
    // 并赋值为 `SingleGen('a')`
    // 这里 `SingleGen` 明确指定了类型参数
    let _char: SingleGen<char> = SingleGen('a');

    // `SingleGen` 也可以隐式指定类型参数：
    let _t    = SingleGen(A); // 使用上面定义的 `A`
    let _i32  = SingleGen(6); // 使用 `i32`
    let _char = SingleGen('a'); // 使用 `char`
}

另请参阅：

结构体