江苏龙网

  1. 首页 > 人文 > >

Rust特殊枚举Option用法( 二 )

`|= help: the trait `std::ops::Add>` is not implemented for `i8`error: aborting due to previous errorFor more information about this error, try `rustc --explain E0277`.error: could not compile `enums`.To learn more, run the command again with --verbose.激烈！实际上 ， 此错误消息表示Rust不了解如何添加i8和Option ， 因为它们是不同的类型 。 当我们具有i8Rust中类似类型的值时 ， 编译器将确保我们始终具有有效值 。 我们可以放心地进行操作 ， 而不必在使用该值之前检查null 。 只有当我们有一个Option（或我们正在使用的任何类型的值）时 ， 我们才需要担心可能没有值 ， 并且编译器将确保我们在使用该值之前处理该情况 。
换句话说 ， 您必须先将转换为Option ， T然后才能对其执行T操作 。 通常 ， 这有助于捕获null最常见的问题之一：假设某事物实际上并非为null 。
不必担心会错误地假设一个非空值 ， 这有助于您对代码更有信心 。 为了拥有一个可能为null的值 ， 您必须通过设置value的类型来明确选择加入Option 。 然后 ， 当您使用该值时 ， 要求您显式处理该值为null的情况 。 每个值的类型都不是 Option ， 您可以放心地假设该值不为null 。 对于Rust来说 ， 这是一个故意的设计决策 ， 旨在限制null的普遍性并提高Rust代码的安全性 。
Rust特殊枚举Option用法文章插图
那么 ， 当您拥有类型的值以便可以使用该值时 ， 如何T从Some变量中获取Option值呢？该Option枚举具有大量的是在各种情况下有用的方法; 您可以在文档中查看它们 。 Option在使用Rust的过程中 ， 熟悉其中的方法将非常有用 。
通常 ， 为了使用Option值 ， 您需要具有可处理每个变量的代码 。 您需要一些仅在具有Some(T)值时才运行的代码， 并且允许该代码使用inner T 。 如果您有一个None值 ， 那么您希望其他一些代码运行 ， 而该代码没有T 可用的值 。 该match表达式是一个控制流构造 ， 与枚举一起使用时会执行此操作：它将运行不同的代码 ， 具体取决于它具有的枚举的变体形式 ， 并且该代码可以使用匹配值内的数据 。
这里的None就是和空值表达类似的东西 。 那为什么要使用None而不是空值呢？这里有一个很重要的一点 ， Option和T不是同一个类型 。 不要小看着一个简单的区别 ， 这意味着Option和T是不能直接进行运算的 ， 即Option和i32是不能直接相加的 。 实际上 ， 更进一步的 ， 在对Option进行T的运算时 ， 必须先将Option转化成T类型 。 如此一来就可以帮助我们避免以为值非空而实际为空的情况 。 例如下面这段代码:
fn main() {let a: i32 = 1;let b: Option = Some(5);let c = a + b;println!("{}", c);}编译器会报如下错误
error[E0277]: cannot add `std::option::Option` to `i32` --> src/main.rs:4:15|4 |let c = a + b;|^ no implementation for `i32 + std::option::Option`|= help: the trait `std::ops::Add>` is not implementedfor `i32`error: aborting due to previous error我们必须先将b从Option类型转化为i32才能进行i32类型的运算 。 如下
fn main() {let a: i32 = 1;let b: Option = Some(5);let c = a + b.unwrap();println!("{}", c);}另外 ， 每当我们引入一个可能为空的值时 ， 我们必须先把它放到Option里 。 当我们使用这个值时 ， 我们必须先处理值为空的情况 。 也就是说 ， 只要一个值不是Option类型的 ， 我们就可以认定它的值不为空 。
这个设计相当有意思 ， 我又查了一些资料发现scala里就存在这个设计 ， rust应该就是借鉴的scala的做法 ， 无怪乎有人说rust参考了c/c++和haskell/scala两类语言 。 如果有机会应该多见识一下其他的语言 ， 开阔下思路(虽然工作估计还是c/c++ ， (-_-||)


推荐阅读


上一篇：Sharding-Jdbc之水平分库和读写分离（二）

下一篇：5G手机越来越普及，但为什么4G的iPhone依旧那么火热？