Rust中,Some是枚举类型。Some是枚举类型Option的一个枚举值,另一个枚举值是None,所以Some的类型是Option。枚举体中的所以变量名都会被赋值,其值从0开始,向正数方向增加,且定义后不可改变值。Rust 语言枚举体不仅可以包含枚举项,每个枚举项还可以包含值。
Rust中,Some是枚举类型。Some是枚举类型Option的一个枚举值,另一个枚举值是None,所以Some的类型是Option。
Rust 语言的枚举体像 C 语言枚举体和联合体的综合体,它源自于函数式编程语言如 Haskell 的 sum type。Rust 语言枚举体不仅可以包含枚举项,每个枚举项还可以包含值。
枚举体是c/c++语言中的一种复合结构体。其定义使用关键字:enum。枚举在生活中极为常见。
枚举体中的所以变量名都会被赋值,其值从0开始,向正数方向增加,且定义后不可改变值。
所以对于Option来说,你必须:
第一步: 你必须先判断是Some value,还是None,如果是None,那么简单,直接处理完事。
第二步,如果判断出来的是Some value,那么你还需要把具体的value取出来再用。
这样的打包方式,核心还是利用编译器帮忙来消除忘记处理没有返回值或者无效返回值的问题。本质上还是为了实践Rust强调的“安全性”。
实际在Rust里, Option和Result是枚举(Enum)类型, 枚举的特点是:同一时间只能存在一个枚举值, 对应非黑即白的独一性枚举可以把不相干的任意类型组合, 对应”可能性打包”在使用match/ if let 等判断语法时候, 必须穷尽一切可能性(或者隐性穷尽, 比如你只需要处理Some的情况) , 对应必须判断这个值是Some 还是None
延伸阅读:
什么是Rust语言?
Rust是一门系统编程语言,专注于安全,尤其是并发安全,支持函数式和命令式以及泛型等编程范式的多范式语言。Rust在语法上和C++类似,但是设计者想要在保证性能的同时提供更好的内存安全。 Rust最初是由Mozilla研究院的Graydon Hoare设计创造,然后在Dave Herman, Brendan Eich以及很多其他人的贡献下逐步完善的。Rust的设计者们通过在研发Servo网站浏览器布局引擎过程中积累的经验优化了Rust语言和Rust编译器。
Rust编译器是在MIT License 和 Apache License 2.0双重协议声明下的免费开源软件。 Rust已经连续七年(2016,2017,2018,2019,2020, 2021, 2022)在Stack Overflow开发者调查的“最受喜爱编程语言”评选项目中折取桂冠。
文章标题:Rust中,Some到底是什么类型,发布者:小编,转载请注明出处:https://worktile.com/kb/p/39263