Rust常用特型之TryFrom和TryInto特型

embedded/2024/9/23 19:54:34/

在Rust标准库中,存在很多常用的工具类特型,它们能帮助我们写出更具有Rust风格的代码。

我们前面学习了了FromInto特型,今天我们来学们一下两个相似的特型TryFromTryInto。看名字就知道他们是试图转换的意思,那为什么有试图转换?在前面的学习中我们也介绍过,FromInto是转换不能失败的,但是有时转换需求是会失败的,例如字符串转数字,你怎么把英文字母转成数字呢?所以转换可能成功,可能失败,这时就需要使用TryFromTryInto特型了。

由于Rust并不是很明确怎样从i64转换成i32,因此它并没有实现为i32实现From<i64>(但反过来实现了),因为这种转换会丢失信息,其它会丢失信息的数字转换也是一样没有实现。作为替代,i32实现了TryFrom<i64>。同FromInto特型的关系一样,TryFromTryInto也是对称的,你实现了TryFrom,则目标类型的TryInto也自动实现了。

他们的定义仅是比FromInto特型复杂一点:

rust">pub trait TryFrom<T>: Sized {type Error;fn try_from(value: T) -> Result<Self, Self::Error>;
}
pub trait TryInto<T>: Sized {type Error;fn try_into(self) -> Result<T, Self::Error>;
}

因为有可能转换失败,所以try_into函数返回一个Result。我们在处理返回值时可以根据返回的是否错误来决定下一步怎么办,例如

rust">use std::convert::TryInto;
// Saturate on overflow, rather than wrapping
let smaller: i32 = huge.try_into().unwrap_or(i32::MAX);

上面的转换如果超过了i32的最大值,则返回错误,因此unwrap_or函数会使用一个i32的最大值作为smaller的值。

这里直接使用默认值时无法进一步灵活选择,下面的代码在出错时根据转换的是正还是负值从而返回不同的值,此时unwrap_or_else的参数为一闭包函数。

rust">let smaller: i32 = huge.try_into().unwrap_or_else(|_|{if huge >= 0 {i32::MAX} else {i32::MIN}
});

在你自己的类型上实现可失败的转换也很容易。根据程序需求和功能不同,转换失败时的错误类型Error可以比较简单或者稍微复杂。上面的例子中,由于唯一可能发生的错误为溢出,标准库使用了一个空结构体来代表错误发生本身这个信息,不再提供其它额外信息。相对的,复杂类型的转换有可能需要返回更多的关于错误的信息,例如下面的代码。

rust">impl TryInto<LinearShift> for Transform {type Error = TransformError;fn try_into(self) -> Result<LinearShift, Self::Error> {if !self.normalized() {return Err(TransformError::NotNormalized);}...}
}

上面的例子中,返回的TransformError包含多个枚举变量,因此它返回值有附带进一步信息,而不像之前的示例只有溢出这一种错误。

FromInto用来处理相关类型的简单转换,TryFromTryInto拓展了这种转换,增加了错误处理,因为复杂转换可能会失败。这四种特型可以一起使用来在一个crate里关联多种类型。


http://www.ppmy.cn/embedded/12714.html

相关文章

材质系统(1):起源与概念

目录 前言 1. 材质系统的源头 2. 材质系统与光照模型的关系 前言 材质系统是计算机图形学的一部分。在图形学中&#xff0c;材质(Material)是一种描述表面外观的属性。在三维计算机图形中&#xff0c;通常需要为每个物体指定材质&#xff0c;以便在渲染时准确地呈现物体的外…

Android RecycleView DiffUtil内部move导致item移动到屏幕可见范围之外原因及处理方案

DiffUtil.calculateDiff (Callback cb, boolean detectMoves) 方法中的 detectMoves 参数用于指示是否需要检测列表中的数据项是否有移动操作。 如果 detectMoves 设置为 true&#xff08;默认&#xff09;&#xff0c;DiffUtil 将会尝试找出数据项的移动操作&#xff0c;即数…

pycharm远程连接server

1.工具–部署–配置 2.部署完成后&#xff0c;将现有的项目的解释器设置为ssh 解释器。实现在远端开发 解释器可以使用/usr/bin/python3

ISP比普通的静态代理相比有什么优势?

ISP&#xff08;Internet Service Provider&#xff09;&#xff0c;即互联网服务提供商&#xff0c;是向广大用户综合提供互联网接入业务、信息业务、增值业务的电信运营商。而静态代理则是一个固定不变的代理IP地址&#xff0c;具有稳定性强、兼容性好和管理方便等特点。当我…

MySQL简解

文章目录 1. MySQL框架2. 执行流程2.1. 连接池&#xff1a;2.2. SQL 前端(SEVER)2.2.0. 查询缓存2.2.1. SQL 接口2.2.2. SQL 解析器2.2.3. SQL 执行器2.2.4. INNODB 中读写操作 2.3. 数据的保存形式 3.其他重要概念3.1. 索引3.1.1. 简单概念3.1.2. 索引优化&#xff1a;1. Usin…

C++11统一列表初始化,initializer_list

目录 1.C11统一了列表的初始化 2.initializer_list 3.initializer_list是如何支持的 1.C11统一了列表的初始化 现在无论内置类型和自定义类型都可以用列表初始化。 class Date {public:Date(int year, int month, int day):_year(year),_month(month),_day(day) {}private:…

Java | Leetcode Java题解之第45题跳跃游戏II

题目&#xff1a; 题解&#xff1a; class Solution {public int jump(int[] nums) {int length nums.length;int end 0;int maxPosition 0; int steps 0;for (int i 0; i < length - 1; i) {maxPosition Math.max(maxPosition, i nums[i]); if (i end) {end maxP…

IDEA 编码格式设置 UTF-8

IDEA 编码格式设置 UTF-8 1.文件编码设置为UTF-8 Editor > File Encodings 2.编译编码设置为utf-8 Build&#xff0c;Execution&#xff0c;Deployment > Complier > Java Complier 按图中设置&#xff1a;-encoding utf-8