Rust 泛型

泛型

泛型可以高效处理重复概念 ,在 Rust 中也存在着泛型(generics)的概念,泛型是具体类型或其他属性的抽象替代

函数中的泛型

泛型允许我们使用一个可以代表多种类型的占位符来替换特定类型,依次来减少代码的冗余。

rust 复制代码
fn main() {
  let v = vec![6, 8, 10, 231, 88, 109];

  let mut largest = &v[0];

  for i in &v {
    if i > largest {
      largest = i;
    }
  }

  println!("The largest number is {}", largest);
}

如果我们想要在多个数组中寻找各自的最大值,可能会写多个相同的代码,重复的代码是冗余且容易出错的,更新逻辑时又不得不记住需要修改多处地方的代码。

根据这个问题,我们可以创建一层代码的的抽象,定义一个处理任意整型列表作为参数的函数。(这里只是抽象,并没有使用泛型)

rust 复制代码
fn main() {
  // 一层抽象
  fn find_largest_value(arr: &[i32]) -> &i32 {
    let mut largest = &arr[0];

    for i in arr {
      if i > largest {
        largest = i;
      }
    }

    largest
  }

  let v = vec![6, 8, 10, 231, 88, 109];
  let result_1 = find_largest_value(&v);
  println!("The largest number is {}", result_1);

  let v = vec![6, 8, 10, 231, 88, 109, 789];
  let result_2 = find_largest_value(&v);
  println!("The largest number is {}", result_2);
}

// The largest number is 231
// The largest number is 789

find_largest_value 函数有一个参数 arr ,它代表会传递给函数的任何具体的 i32 值的 slice

当使用泛型定义函数时,本来在函数签名中指定参数和返回值的类型的地方,会改用泛型来表示。采用泛型使得代码适应性更强,从而为函数的调用者提供更多的功能,同时也避免了代码的重复。

Rust 类型名的命名规范是首字母大写驼峰式命名法T 作为 "type" 的缩写,大部分情况下是首选。

rust 复制代码
fn main() {
  // 使用泛型
  fn find_largest_value<T>(arr: &[T]) -> &T {
    let mut largest = &arr[0];

    for i in arr {
      if i > largest {
        largest = i;
      }
    }

    largest
  }

  let v = vec![6, 8, 10, 231, 88, 109];
  let result_1 = find_largest_value(&v);
  println!("The largest number is {}", result_1);

  let v = vec![6, 8, 10, 231, 88, 109, 789];
  let result_2 = find_largest_value(&v);
  println!("The largest number is {}", result_2);
}

find_largest_value 函数定义中:

rust 复制代码
fn find_largest_value<T>(arr: &[T]) -> &T

对于泛型可以这样理解,抽象地认为它是函数的一个参数(类型参数),先有了泛型 <T> ,所以你才可以在函数的形参、函数的返回值、函数体中使用 T类型参数声明位于函数名称与参数列表中间的尖括号 <>

上方代码即使使用了泛型也依然不能通过编译,会出现以下错误:

rust 复制代码
  |
6 |       if i > largest {
  |          - ^ ------- &T
  |          |
  |          &T
  |
help: consider restricting type parameter `T`
  |
2 |   fn find_largest_value<T: std::cmp::PartialOrd>(arr: &[T]) -> &T {
  | 

这个错误表明函数体并不能适用于 T 的所有可能的类型,Rust 编译器也给出了解决建议:将泛型的类型指定为 std::cmp::PartialOrd ,它其实是一个 trait

rust 复制代码
fn main() {
  fn find_largest_value<T: std::cmp::PartialOrd>(arr: &[T]) -> &T {
    let mut largest = &arr[0];

    for i in arr {
      if i > largest {
        largest = i;
      }
    }

    largest
  }

  let v = vec![6, 8, 10, 231, 88, 109];
  let result_1 = find_largest_value(&v);
  println!("The largest number is {}", result_1);

  let v = vec![6, 8, 10, 231, 88, 109, 789];
  let result_2 = find_largest_value(&v);
  println!("The largest number is {}", result_2);
}

将泛型的类型改为 std::cmp::PartialOrd 之后,就可以通过编译了。

结构体中的泛型

结构体中的泛型,同样可以使用一个或多个泛型参数类型字段。

rust 复制代码
struct Point<T> {
  x: T,
  y: T,
  z: T,
}

字段 xyz 都是相同类型,无论具体它是什么类型,如果尝试创建一个有不同类型值的 Point<T> 的实例,就不能通过编译:

rust 复制代码
struct Point<T> {
  x: T,
  y: T,
  z: T,
}

fn main() {
  let point = Point {
    x: 10,
    y: 10,
    z: 4.0
  }
}

会出现类型不匹配的错误:

rust 复制代码
error[E0308]: mismatched types
  --> src/main.rs:11:8
   |
11 |     z: 4.3
   |        ^^^ expected integer, found floating-point number

但是非要定义一个有字段 xyz 的结构体,并且结构体中的字段可以存在多种类型,这怎么办?

可以使用多个泛型类型参数来解决这个需求。

rust 复制代码
struct Point<T, U> {
  x: T,
  y: T,
  z: U
}

fn main() {
  let point = Point {
    x: 1,
    y: 2,
    z: 4.3
  };

  println!("x: {}, y: {}, z: {}", point.x, point.y, point.z)
}

如果代码中需要很多泛型时,这可能表明你的代码需要重构分解成更小的结构。

枚举中的泛型

和结构体类似,枚举也可以在成员中存放泛型数据类型。

rust 复制代码
enum Option<T> {
  Some(T),
  None,
}

Option<T> 是一个拥有泛型的枚举,它有两个成员:Some ,它存放了一个类型 T 的值,和不存在任何值的 None

同样,枚举中的泛型也可以使用多个泛型类型参数。

rust 复制代码
enum Result<T, E> {
  Ok(T),
  Err(E),
}

Result 枚举有两个泛型类型,TEResult 有两个成员:Ok,它存放一个类型 T 的值,而 Err则存放一个类型 E 的值。

方法中的泛型

在为结构体或枚举实现方法时,也可以使用泛型。

rust 复制代码
#![allow(unused)]
struct Point<T> {
  x: T,
  y: T,
}

impl<T> Point<T> {
  fn x(&self) -> &T {
    &self.x
  }
}

fn main() {
  let point = Point {
    x: 10,
    y: 20
  };
  
  println!("x: {}, y: {}", point.x(), point.y);
}

注意必须在 impl 后声明 T ,这样就可以在 Point<T> 上实现的方法中使用 T 了。在声明泛型类型参数的 impl 中编写的方法将会定义在该类型的任何实例上。

定义方法时也可以为泛型指定限制,即增加一个额外的实现,来捕获泛型外的类型。

rust 复制代码
#![allow(unused)]
struct Point<T> {
  x: T,
  y: T,
}

impl<T> Point<T> {
  fn x(&self) -> &T {
    &self.x
  }
}

// 指定限制
impl Point<f64> {
  fn p_x(&self) -> f64 {
    self.y
  }
}

fn main() {
  let point = Point {
    x: 10,
    y: 20
  };
  
  println!("x: {}, y: {}", point.x(), point.y);
}

其他 T 不是 f64 类型的 Point<T> 实例则没有定义 p_x 方法。

结构体定义中的泛型类型参数并不总是与结构体方法签名中使用的泛型是同一种类型

rust 复制代码
#![allow(unused)]
struct Point<TX, TY> {
  x: TX,
  y: TY,
}

impl<TX, TY> Point<TX, TY> {
  fn difference<TA, TB>(self, other: Point<TA, TB>) -> Point<TX, TB> {
    Point {
      x: self.x,
      y: other.y,
    }
  }
}

fn main() {
  let point_one = Point { x: 1, y: 2 };
  let point_two = Point { x: "a", y: "b" };

  let point_three = point_one.difference(point_two);
  
  println!("point_three.x = {}, point_three.y = {}", point_three.x, point_three.y);
}

point_one 上以 point_two 作为参数调用 difference 会返回一个 point_three ,它会有一个 i32 类型的 xchar 类型的 yx 来自 point_oney 来自 point_two 。泛型参数 TATB 声明于 fn difference 之后,因为它们只是相对于方法本身的。

泛型的性能

泛型并不会使程序比具体类型运行得慢。Rust 通过在编译时进行泛型代码的单态化来保证效率 。单态化是一个通过填充编译时使用的具体类型,将通用代码转换为特定代码的过程。在这个过程中,编译器寻找所有泛型代码被调用的位置并使用泛型代码针对具体类型生成代码。

rust 复制代码
fn main() {
  let x = Some(5);
  let y = Some(6.6);
}

进行单态化处理,编译器会读取 Option<T> 的值并发现有两种 Option<T> : 一个对应 i32,一个对应 f64 。单态化时,会将泛型定义 Option<T> 展开为两个针对 i32f64 的定义,接着将泛型定义转换为这两个具体的定义。

也就是说单态化其实就是将代码中的泛型进行单独处理,再将泛型定义转换为具体的定义

转换为以下单态化:

rust 复制代码
enum Option_i32 {
  Some(i32),
  None,
}

enum Option_f64 {
  Some(f64),
  None,
}

fn main() {
  let x = Option_i32::Some(5);
  let y = Option_f64::Some(6.6);
}

泛型 Option<T> 转换为来具体的定义,Rust 会将每种情况下的泛型代码编译为具体类型,并且使用泛型没有运行时的开销。

单态化的过程,正是 Rust 泛型在运行时高效的原因。

相关推荐
一个小坑货2 小时前
Cargo Rust 的包管理器
开发语言·后端·rust
bluebonnet272 小时前
【Rust练习】22.HashMap
开发语言·后端·rust
VertexGeek4 小时前
Rust学习(八):异常处理和宏编程:
学习·算法·rust
前端与小赵1 天前
什么是Sass,有什么特点
前端·rust·sass
一个小坑货1 天前
Rust基础
开发语言·后端·rust
Object~1 天前
【第九课】Rust中泛型和特质
开发语言·后端·rust
码农飞飞1 天前
详解Rust结构体struct用法
开发语言·数据结构·后端·rust·成员函数·方法·结构体
Dontla2 天前
Rust derive macro(Rust #[derive])Rust派生宏
开发语言·后端·rust
fqbqrr2 天前
2411rust,编译时自动检查配置
rust
梦想画家2 天前
用Rust中byteorder包高效处理字节序列
rust·序列化·byteorder·文件编码