Result/Option/unwrap/的概念是什么
本篇内容主要讲解“Result/Option/unwrap/的概念是什么”,感兴趣的朋友不妨来看看。本文介绍的方法操作简单快捷,实用性强。下面就让小编来带大家学习“Result/Option/unwrap/的概念是什么”吧!
创新互联建站专注于泰州网站建设服务及定制,我们拥有丰富的企业做网站经验。 热诚为您提供泰州营销型网站建设,泰州网站制作、泰州网页设计、泰州网站官网定制、微信小程序定制开发服务,打造泰州网络公司原创品牌,更为您提供泰州网站排名全网营销落地服务。
1、Option - 可空变量
虽然Rust中有null的概念,但是使用null并不是Rust中常见的模式。假设我们要写一个函数,输入一种手机操作系统的名称,这个函数就会返回其应用商店的名称。如果传入字符串iOS
,该函数将返回App Store
;如果传入字符串android
,那么该函数将返回Play Store。任何其他的输入都被视为无效。
在大多数开发语言中,我们可以选择返回null或字符串invalid
来表示无效的结果,不过这不是Rust的用法。
地道的Rust代码应该让该函数返回一个Option
。Option或更确切的说Option
是一个泛型,可以是Some
或None
(为了便于阅读,后续文章中将省略类型参数T)。Rust将Some
和None
称为变体(Variant) —— 这一概念在其他语言中并不存在,因此我也不 去定义到底什么是变体了。
在我们的示例中,正常情况下函数将返回包裹在Some变体中的字符串常量App Store或Play Store。而在非正常情况下,函数将返回None。
fn find_store(mobile_os: &str) -> Option<&str> { match mobile_os { "iOS" => Some("App Store"), "android" => Some("Play Store"), _ => None } }
要使用find_store(),我们可以用如下方式调用:
fn main() { println!("{}", match find_store("windows") { Some(s) => s, None => "Not a valid mobile OS" }); }
完整的代码如下:
fn find_store(mobile_os: &str) -> Option<&str> { match mobile_os { "iOS" => Some("App Store"), "android" => Some("Play Store"), _ => None } } fn main() { println!("{}", match find_store("windows") { Some(s) => s, None => "Not a valid mobile OS" }); }
2、Result - 包含错误信息的结果
Result
,或者更确切地说Result
,是和Rust中的Option相关的概念,它是一个加强版本的Option。
Result
Ok(T):结果为成员T
Err(E):结果为故障成员E
与之前我们看到Option
让我们看一个函数实例,它返回一个Result。该函数摘自用于解析JSON字符串的serde_json库,其签名为:
pub fn from_str<'a, T>(s: &'a str) -> Resultwhere T: Deserialize<'a>,
假设我们要解析如下的字符串:
let json_string = r#" { "name": "John Doe", "age": 43, "phones": [ "+44 1234567", "+44 2345678" ] }"#;
目标是解析为Rust的一个person结构对象:
#[derive(Serialize, Deserialize)] struct Person { name: String, age: u8, phones: Vec, }
解析过程的Rust代码如下:
let p:Person = match serde_json::from_str(json_string) { Ok(p) => p, Err(e) => ... //we will discuss what goes here next };
正常情况下可以得到期望的结果。不过假设在输入的json_string中有一个笔误,这导致程序运行时将执行Err分支。
当碰到Err时,我们可以采取两个动作:
panic!
返回Err
3、unwrap - 故障时执行panic!
在上面的示例中,假设我们期望panic!:
let p: Person = match serde_json::from_str(data) { Ok(p) => p, Err(e) => panic!("cannot parse JSON {:?}, e"), //panic }
当碰到Err时,上面的代码panic!就会崩掉整个程序,也许这不是你期望的。我们可以修改为:
let p:Person = serde_json::from_str(data).unwrap();
如果我们可以确定输入的json_string始终会是可解析的,那么使用unwrap没有问题。但是如果会出现Err,那么程序就会崩溃,无法从故障中恢复。在开发过程中,当我们更关心程序的主流程时,unwrap也可以作为快速 原型使用。
因此unwrap隐含了panic!。虽然与更显式的版本没有差异,但是危险在于其隐含特性,因为有时这并不是你真正期望的行为。
无论如何,如果我们需要调用panic!,代码如下:
use serde::{Deserialize, Serialize}; use serde_json::Result; #[derive(Serialize, Deserialize)] struct Person { name: String, age: u8, phones: Vec, } fn typed_example() -> Result<()> { //age2 is error on purpose let data = r#" { "name": "John Doe", "age2": 43, "phones": [ "+44 1234567", "+44 2345678" ] }"#; let p:Person = serde_json::from_str(data).unwrap(); println!("Please call {} at the number {}", p.name, p.phones[0]); Ok(()) } fn main() { match typed_example() { Ok(_) => println!("program ran ok"), Err(_) => println!("program ran with error"), } }
4、? - 故障时返回Err对象
当碰到Err时,我们不一定要panic!,也可以返回Err。不是每个Err都是不可恢复的,因此有时并不需要panic!。下面的代码返回Err:
let p: Person = match serde_json::from_str(data) { Ok(p) => p, Err(e) => return Err(e.into()), };
?
操作符提供了一个更简洁的方法来替换上面的代码:
let p:Person = serde_json::from_str(data)?;
这时完整的Rust程序代码如下:
use serde::{Deserialize, Serialize}; use serde_json::Result; #[derive(Serialize, Deserialize)] struct Person { name: String, age: u8, phones: Vec, } fn typed_example() -> Result<()> { //age2 is error on purpose let data = r#" { "name": "John Doe", "age2": 43, "phones": [ "+44 1234567", "+44 2345678" ] }"#; let p: Person = serde_json::from_str(data)?; println!("Please call {} at the number {}", p.name, p.phones[0]); Ok(()) } fn main() { match typed_example() { Ok(_) => println!("program ran ok"), Err(e) => println!("program ran with error {:?}", e), } }
5、使用unwrap和?解包Option
就像我们可以使用unwarp和?来处理Result,我们也可以使用unwrap和?来处理Option。
如果我们unwrap的Option的值是None,那么程序就会panic!。示例如下:
fn next_birthday(current_age: Option) -> Option { // If `current_age` is `None`, this returns `None`. // If `current_age` is `Some`, the inner `u8` gets assigned to `next_age` after 1 is added to it let next_age: u8 = current_age?; Some(format!("Next year I will be {}", next_age + 1)) } fn main() { let s = next_birthday(None); match s { Some(a) => println!("{:#?}", a), None => println!("No next birthday") } }
到此,相信大家对“Result/Option/unwrap/的概念是什么”有了更深的了解,不妨来实际操作一番吧!这里是创新互联网站,更多相关内容可以进入相关频道进行查询,关注我们,继续学习!
分享标题:Result/Option/unwrap/的概念是什么
网站网址:http://scjbc.cn/article/pcohjd.html