第14章泛型 on 编程那些事儿

01-函数

Thu, 20 Aug 2026 21:20:00 +0800

译文 · 基于 Rust By Example

原文链接: https://doc.rust-lang.org/stable/rust-by-example/generics/gen_fn.html

函数

同样的规则也适用于函数：在使用类型 T 前给出 <T>，那么 T 就变成了泛型。

调用泛型函数有时需要显式地指明类型参量。这可能是因为调用了返回类型是泛型的函数，或者编译器没有足够的信息来推断类型参数。

02-实现

Thu, 20 Aug 2026 21:20:00 +0800

译文 · 基于 Rust By Example

原文链接: https://doc.rust-lang.org/stable/rust-by-example/generics/impl.html

实现

和函数类似，impl 块要想实现泛型，也需要很仔细。

1
2
3
4
5
6
7
8
9


struct S; // 具体类型 `S`
struct GenericVal<T>(T,); // 泛型类型 `GenericVal`

// GenericVal 的 `impl`，此处我们显式地指定了类型参数：
impl GenericVal<f32> {} // 指定 `f32` 类型
impl GenericVal<S> {} // 指定为上面定义的 `S`

// `<T>` 必须在类型之前写出来，以使类型 `T` 代表泛型。
impl <T> GenericVal<T> {}

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24


struct Val {
 val: f64
}

struct GenVal<T>{
 gen_val: T
}

// Val 的 `impl`
impl Val {
 fn value(&self) -> &f64 { &self.val }
}

// GenVal 的 `impl`，指定 `T` 是泛型类型
impl <T> GenVal<T> {
 fn value(&self) -> &T { &self.gen_val }
}

fn main() {
 let x = Val { val: 3.0 };
 let y = GenVal { gen_val: 3i32 };
 
 println!("{}, {}", x.value(), y.value());
}

参见：

返回引用的函数, impl, 和 struct

03-trait

Thu, 20 Aug 2026 21:20:00 +0800

译文 · 基于 Rust By Example

原文链接: https://doc.rust-lang.org/stable/rust-by-example/generics/gen_trait.html

trait

当然 trait 也可以是泛型的。我们在这里定义了一个 trait，它把 Drop trait 作为泛型方法实现了，可以 drop（丢弃）调用者本身和一个输入参数。

05-多重约束

Thu, 20 Aug 2026 21:20:00 +0800

译文 · 基于 Rust By Example

原文链接: https://doc.rust-lang.org/stable/rust-by-example/generics/multi_bounds.html

多重约束

多重约束（multiple bounds）可以用 + 连接。和平常一样，类型之间使用 , 隔开。

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23


use std::fmt::{Debug, Display};

fn compare_prints<T: Debug + Display>(t: &T) {
 println!("Debug: `{:?}`", t);
 println!("Display: `{}`", t);
}

fn compare_types<T: Debug, U: Debug>(t: &T, u: &U) {
 println!("t: `{:?}`", t);
 println!("u: `{:?}`", u);
}

fn main() {
 let string = "words";
 let array = [1, 2, 3];
 let vec = vec![1, 2, 3];

 compare_prints(&string);
 //compare_prints(&array);
 // 试一试 ^ 将此行注释去掉。

 compare_types(&array, &vec);
}

参见：

std::fmt 和 trait

06-where 子句

Thu, 20 Aug 2026 21:20:00 +0800

译文 · 基于 Rust By Example

原文链接: https://doc.rust-lang.org/stable/rust-by-example/generics/where.html

where 子句

约束也可以使用 where 分句来表达，它放在 { 的前面，而不需写在类型第一次出现之前。另外 where 从句可以用于任意类型的限定，而不局限于类型参数本身。

07-`newtype` 惯用法

Thu, 20 Aug 2026 21:20:00 +0800

译文 · 基于 Rust By Example

原文链接: https://doc.rust-lang.org/stable/rust-by-example/generics/new_types.html

`newtype` 惯用法

newtype 惯用法（译注：即为不同种类的数据分别定义新的类型）能保证在编译时，提供给程序的都是正确的类型。

比如说，实现一个 “年龄认证” 函数，它要求输入必须是 Years 类型。

第14章 泛型 on 编程那些事儿

01-函数

函数

02-实现

实现

参见：

03-trait

trait

05-多重约束

多重约束

参见：

06-where 子句

where 子句

07-`newtype` 惯用法

newtype 惯用法

第14章泛型 on 编程那些事儿

`newtype` 惯用法