课程名称：领略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 类型提供比较的实现。

课程收获

这节课进一步学习了泛型类型的知识，在定义泛型时为泛型指定一个约束，提高安全性和可靠性。