【九月打卡】第1天 Rust 泛型

课程名称：领略Rust之美，挑战双高语言

课程章节： 第3章 Rust进阶

主讲老师：叶枭

课程内容：

今天学习的内容是 Rust 中的泛型类型。

泛型类型是一个对于初学者比较不容易理解的知识点。通过一个简单的示例来了解泛型的概念。

有一个场景：输入两个数字，返回较大的那一个。

按照之前学习过的有关函数的知识点，可以定义一个函数 large ：

fn large(a: u32, b: u32) -> u32 {
  if a > b {
    return a
  } else {
    return b
  }
}

fn main() {
  println!("{}", large(10, 20));
}

运行代码，会打印 20。

现在 large 函数只能比较两个 u32 类型的整数，如果需求发生变化，要求比较两个浮点类型的数字大小，此时可以再定义一个 large_f32 函数：

fn large_f32(a: f32, b: f32) -> f32 {
  if a > b {
    return a
  } else {
    return b
  }
}

fn main() {
  println!("{}", large_f32(1.1, 2.2));
}

但是，Rust 中存在非常多的数字类型，如果针对每一种类型都定义一个函数，代码将变得不易维护，也会增加代码的冗余。

所以，Rust 提供了泛型类型。

泛型语法非常复杂，先来看它能做一些什么工作，能满足我们的需求，简化开发工作。

在定义函数时，使用 T 来指代一个定义时不确定，将来执行时再确定的类型，称之为泛型。

fn large<T: std::cmp::PartialOrd>(a: T, b: T) -> T {
  if a > b {
    a
  } else {
    b
  }
}

fn main() {
  println!("{}", large::<T: u32>(1, 2));
  println!("{}", large::<T: f32>(1.1, 2.2));
}

Rust 的编译器具有类型推断的能力，即使函数调用时不传入具体的类型，它也能从函数的参数类型，推断出具体的泛型类型：

fn main() {
  println!("{}", large(10, 20));
  println!("{}", large(1.1, 2.2));
}

课程收获：

通过本节课老师的讲解，了解了泛型的概念：在定义时不确定类型，再使用时再传入具体的类型。

通过泛型能大大简化代码量，写出更优雅，更简洁的代码。