33_泛型数据类型

1. 概述

泛型是具体类型或其他属性的抽象代替。能提高代码复用的能力,用于处理重复代码的问题。我们可以理解为,我们编写的代码不是最终代码,而是一种模板,里面有一些"占位符"。编译器在编译的时会讲"占位符"替换为具体的类型。例如

Rust 复制代码
fn lagest<T>(list: &[T]) -> T {}

泛型的类型参数通常很短,通常是一个字母。同时使用CameCase命名规范,而字母Ttype的缩写,所以通常使用T作为泛型参数。

2. 泛型的使用

2.1 函数中定义的泛型

函数中使用泛型,通常是参数类型使用泛型或者返回类型使用泛型,通常在函数名的后面在<>里声明泛型,如下示例

ruby 复制代码
fn largest<T>(list: &[T]) -> {
    ...
}

2.2 在结构体中使用泛型

在结构体名称后面使用<>声明泛型类型,泛型类型可以用于一个或者多个字段,如下示例代码

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

fn main() {
    let integer = Point { x: 5, y: 10 };
    let float = Point { x: 1.0, y: 4.0 };
}

我们还可以声明多个泛型数据,如下示例代码

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

fn main() {
    let mix = Point { x: 5, y: 10.0 };
}

可以使用多个泛型类型参数,但是太多类型参数,可能回影响代码的阅读。

2.3 Enum定义中的泛型

可以让枚举的变体持有泛型数据类型,如下示例

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

enum Result<T, E> {
    Ok(T),
    Err(E),
}

fn main() {}

2.4 在方法定义中的泛型

为struct或enum实现方法的时候,可在定义中使用泛型,如下示例代码

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

// 使用泛型实现struct的方法,在所有的Point<T>类型中都包含x方法
impl<T> Point<T> {
    fn x(&self) -> &T {
        &self.x
    }
}

// 使用具体类型实现struct的方法,只有在Point<i32>中才有x1方法,其他的Point<T>类型中不包含x1方法
impl Point<i32> {
    fn x1(&self) -> &i32 {
        &self.x
    }
}

T放在impl关键字后面,表示在类型T上实现方法。如下示例代码

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

impl<T, U> Point<T, U> {
    fn mixup<V, W>(self, other: Point<V, W>) -> Point<T, W> {
        Point {
            x: self.x,
            y: other.y,
        }
    }
}

fn main() {
    let p1 = Point { x: 5, y: 4 };
    let p2 = Point { x: "Hello", y: "c" };
    let p3 = p1.mixup(p2);

    println!("p3.x = {}, p3.y = {}", p3.x, p3.y);
}

3. 泛型代码的性能

使用泛型的代码和使用具体类型的代码运行速度是一样的。因为rust在编译的过程中会执行一个单态化(monomorphization)的过程,即在编译时将泛型替换为具体类型的过程。下面是一段使用泛型原始代码

rust 复制代码
fn mian() {
    let integer = Some(5);
    let float = Some(5.0);
}

在编译过程中,将泛型进行单态化,变更为类似如下代码

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

enum Option_f64 {
    Some(f64),
    None,
}

fn mian() {
    let integer = Option_i32::Some(5);
    let float = Option_f64::Some(5.0);
}
相关推荐
Mintopia2 分钟前
Three.js 射线拾取原理:像素世界的侦探故事
前端·javascript·计算机图形学
掘金安东尼20 分钟前
前端周刊第421期(2025年7月1日–7月6日)
前端·面试·github
摸鱼仙人~23 分钟前
深入理解 classnames:React 动态类名管理的最佳实践
前端·react.js·前端框架
未来之窗软件服务25 分钟前
chrome webdrive异常处理-session not created falled opening key——仙盟创梦IDE
前端·人工智能·chrome·仙盟创梦ide·东方仙盟·数据调式
kymjs张涛25 分钟前
零一开源|前沿技术周报 #6
前端·ios·harmonyos
玲小珑29 分钟前
Next.js 教程系列(十)getStaticPaths 与动态路由的静态生成
前端·next.js
天天鸭35 分钟前
写个vite插件自动处理系统权限,降低99%重复工作
前端·javascript·vite
蓝婷儿39 分钟前
每天一个前端小知识 Day 23 - PWA 渐进式 Web 应用开发
前端
无奈何杨1 小时前
CoolGuard风控中新增移动距离和移动速度指标
前端·后端
恋猫de小郭1 小时前
Google I/O Extended :2025 Flutter 的现状与未来
android·前端·flutter