课程名称：领略Rust之美，挑战双高语言
课程章节： 第3章 Rust进阶
主讲老师：叶枭
课程内容：
今天学习的内容是 Rust 中的泛型类型的约束条件。
泛型类型是一种类型，只不过它分为两种状态：在定义时泛型类型是一种不确定的类型，在被使用时才指定具体的类型。
在函数中使用泛型时，泛型可以看作是函数的参数。作为函数参数，泛型的名字可以是任意合法字符，但通常写作 T，是 type 的首字母缩写。
在泛型名称的后面，还要加上对该泛型的约束，比如：
fn large<T: std::cmp::PartialOrd>(a: T, b: T) -> T {
if a > b {
a
} else {
b
}
}
std::cmp::PartialOrd 的意思是当前泛型的类型，必须是可比较大小的。
将来在调用 large 函数时，传入的具体泛型类型，就必须满足这个约束条件，否则就会报错。
如果我们传入两个字符类型的值：
fn main() {
println!("{}", large('a', 'b'));
}
控制台会打印出 b。
这是因为，字符是采用 unicode 编码的，而 unicode 编码是有先后顺序的，而字符 a 就排列在 b 之前，所以比较 a 和 b 的大小，其实就是在比较谁在前，谁在后。
我们再定义一个结构体类型，然后创建两个 Person 类型的值，用 large 函数去比较：
struct Person {
name: String
}
fn main() {
let p1 = Person {name: String::from("K")};
let p2 = Person {name: String::from("W")};
println!("{}", large(p1, p2));
}
运行代码会报错：
意思是没有为 Person 类型提供比较的实现。
课程收获
这节课进一步学习了泛型类型的知识，在定义泛型时为泛型指定一个约束，提高安全性和可靠性。
随时随地看视频
