18、Rust 泛型编程全解析

Rust 泛型编程全解析

1. 泛型的引入

Rust 语言没有方法重载的特性，这意味着如果一个函数要处理不同数据类型的相同操作，就需要为其取不同的名字，甚至复制粘贴代码。这种做法存在诸多弊端：
- 代码重复增加了出错的几率。
- 重复的函数需要重复的测试，而这些测试也可能包含错误。
- 强制的命名选择（例如 find_largest_usize ）。

为了解决这些问题，Rust 引入了泛型。泛型是一种更优雅、更有效的方式，可以实现代码共享、使用描述性的名称，还能提高代码的可测试性。

2. 泛型的基本使用

我们可以使用 <T> 符号在标识符后声明一个泛型类型，它作为实际类型的占位符，编译器会在编译时将其替换为实际使用的类型。 <T> 还可以添加约束，指定它必须实现的 trait，这样编译器就能知道哪些函数是可用的。这些约束可以通过以下两种方式指定：
- 与类型参数一起指定，例如 <T: MyTrait> 。
- 作为 where 子句指定，例如 <T> ... where T: MyTrait 。

需要注意的是， T 只是一个约定，你可以使用任何标识符来表示泛型类型。

此外，显式生命周期可以在泛型类型参数之前指定，例如 <’a, T> 表示我们命名了一个生命周期