什么是泛型？
想象一下，我们想定义一个函数，它可以用来计算任意类型数据的最大值。如果我们只考虑整数，我们可以这样写：
fn max(a: i32, b: i32) -> i32 {if a > b {a} else {b}
}
但是，如果我们还想比较浮点数、字符串甚至自定义类型呢？每次都写一个新的函数显然不是一个好主意。这时，泛型就派上用场了。
泛型允许我们定义一个函数或数据结构，而不指定具体的类型。直到我们使用它的时候，才会确定具体的类型。
泛型函数的例子
fn max<T: PartialOrd>(a: T, b: T) -> T {if a > b {a} else {b}
}
T: PartialOrd: 这里的T代表一个泛型类型，PartialOrd是一个 trait，表示实现了它的类型可以进行部分比较（比如大于小于）。a: T, b: T: 函数接受两个类型为T的参数。-> T: 函数返回类型也是T。
这样，我们就可以用这个函数来比较各种类型的数据了：
fn main() {let num1 = 10;let num2 = 20;println!("max(num1, num2) = {}", max(num1, num2));let str1 = "hello";let str2 = "world";println!("max(str1, str2) = {}", max(str1, str2));
}
泛型结构体的例子
struct Point<T> {x: T,y: T,
}fn main() {let integer_point = Point { x: 5, y: 10 };let float_point = Point { x: 3.14, y: 2.718 };
}
这里我们定义了一个 Point 结构体，它的坐标 x 和 y 可以是任意类型。
泛型枚举的例子
enum Option<T> {Some(T),None,
}
Option 枚举是一个非常常用的泛型，表示一个值可能存在也可能不存在。
泛型实现
impl<T> Point<T> {fn x(&self) -> &T {&self.x}
}
这里我们为 Point 结构体实现了 x 方法，用于获取 x 坐标。
泛型约束
除了 PartialOrd，Rust 还提供了很多其他的 trait，用于约束泛型类型的行为。例如：
Copy: 表示类型可以被拷贝。Clone: 表示类型可以被克隆。Debug: 表示类型可以被调试打印。
为什么要用泛型？
- 代码复用: 可以写出更通用、可复用的代码。
- 类型安全: 编译器可以帮助我们检查类型错误。
- 表达能力强: 可以定义更灵活的数据结构和算法。
总结
泛型是Rust中一个非常强大的特性，它允许我们编写更加通用、灵活和安全的代码。通过泛型，我们可以定义适用于多种类型的函数、结构体和枚举。
练习
- 试着实现一个泛型的栈数据结构。
- 实现一个泛型的链表。
- 尝试使用不同的泛型约束来限制泛型类型的行为。
=============
参考答案
好的，我们来一起完成那些练习，并更深入地理解Rust的泛型。
练习1：实现一个泛型的栈数据结构
struct Stack<T> {data: Vec<T>,
}impl<T> Stack<T> {fn new() -> Self {Stack { data: Vec::new() }}fn push(&mut self, element: T) {self.data.push(element);}fn pop(&mut self) -> Option<T> {self.data.pop()}fn is_empty(&self) -> bool {self.data.is_empty()}
}
- 解释:
- 我们定义了一个泛型结构体
Stack<T>，其中T代表栈中元素的类型。 new方法用于创建一个空的栈。push方法用于将元素添加到栈顶。pop方法用于从栈顶移除元素，并返回一个Option<T>，表示元素可能存在或不存在。is_empty方法用于判断栈是否为空。
- 我们定义了一个泛型结构体
练习2：实现一个泛型的链表
struct Node<T> {value: T,next: Option<Box<Node<T>>>,
}struct LinkedList<T> {head: Option<Box<Node<T>>>,
}impl<T> LinkedList<T> {fn new() -> Self {LinkedList { head: None }}// ... 其他方法，比如插入、删除、查找等
}
- 解释:
Node结构体表示链表中的一个节点。LinkedList结构体表示整个链表。- 这里只给出了一个基本的链表结构，你可以根据需要添加更多的功能，比如插入、删除、查找等。
练习3：使用不同的泛型约束
fn print_debug<T: Debug>(t: T) {println!("{:?}", t);
}fn copy_and_modify<T: Copy>(t: T) -> T {let mut t = t;// 可以修改t，因为T实现了Copy traitt
}
- 解释:
Debugtrait 用于格式化打印，print_debug函数可以打印实现Debugtrait 的任何类型。Copytrait 用于表示类型可以被拷贝，copy_and_modify函数可以复制一个类型为T的值，并对副本进行修改。
