Rust 编程 | 使用？运算符解包 Option

简介

在本实验中，我们将探索 Rust 中 ? 运算符的用法，它允许轻松解包 Option 值，而无需使用嵌套的 match 语句。如果 Option 是 Some，则 ? 运算符可用于快速返回其底层值；如果 Option 是 None，则终止函数并返回 None。这个运算符可以链接在一起，使代码更具可读性和简洁性。

注意：如果实验未指定文件名，你可以使用任何你想要的文件名。例如，你可以使用 main.rs，并通过 rustc main.rs &&./main 进行编译和运行。

Skills Graph

%%%%{init: {'theme':'neutral'}}%%%% flowchart RL rust(("Rust")) -.-> rust/ErrorHandlingandDebuggingGroup(["Error Handling and Debugging"]) rust(("Rust")) -.-> rust/FunctionsandClosuresGroup(["Functions and Closures"]) rust(("Rust")) -.-> rust/MemorySafetyandManagementGroup(["Memory Safety and Management"]) rust(("Rust")) -.-> rust/DataStructuresandEnumsGroup(["Data Structures and Enums"]) rust(("Rust")) -.-> rust/AdvancedTopicsGroup(["Advanced Topics"]) rust(("Rust")) -.-> rust/BasicConceptsGroup(["Basic Concepts"]) rust(("Rust")) -.-> rust/DataTypesGroup(["Data Types"]) rust/BasicConceptsGroup -.-> rust/variable_declarations("Variable Declarations") rust/DataTypesGroup -.-> rust/integer_types("Integer Types") rust/FunctionsandClosuresGroup -.-> rust/function_syntax("Function Syntax") rust/FunctionsandClosuresGroup -.-> rust/expressions_statements("Expressions and Statements") rust/MemorySafetyandManagementGroup -.-> rust/lifetime_specifiers("Lifetime Specifiers") rust/DataStructuresandEnumsGroup -.-> rust/method_syntax("Method Syntax") rust/ErrorHandlingandDebuggingGroup -.-> rust/error_propagation("Error Propagation") rust/AdvancedTopicsGroup -.-> rust/traits("Traits") rust/AdvancedTopicsGroup -.-> rust/operator_overloading("Traits for Operator Overloading") subgraph Lab Skills rust/variable_declarations -.-> lab-99235{{"使用？解包 Option"}} rust/integer_types -.-> lab-99235{{"使用？解包 Option"}} rust/function_syntax -.-> lab-99235{{"使用？解包 Option"}} rust/expressions_statements -.-> lab-99235{{"使用？解包 Option"}} rust/lifetime_specifiers -.-> lab-99235{{"使用？解包 Option"}} rust/method_syntax -.-> lab-99235{{"使用？解包 Option"}} rust/error_propagation -.-> lab-99235{{"使用？解包 Option"}} rust/traits -.-> lab-99235{{"使用？解包 Option"}} rust/operator_overloading -.-> lab-99235{{"使用？解包 Option"}} end

使用 `?` 解包 `Option`

你可以使用 match 语句来解包 Option，但使用 ? 运算符通常更容易。如果 x 是一个 Option，那么计算 x? 时，如果 x 是 Some，它将返回其底层值，否则它将终止正在执行的任何函数并返回 None。

fn next_birthday(current_age: Option<u8>) -> Option<String> {
    // 如果 `current_age` 是 `None`，则返回 `None`。
    // 如果 `current_age` 是 `Some`，则内部的 `u8` 会被赋给 `next_age`
    let next_age: u8 = current_age? + 1;
    Some(format!("Next year I will be {}", next_age))
}

你可以将多个 ? 链接在一起，使你的代码更具可读性。

struct Person {
    job: Option<Job>,
}

#[derive(Clone, Copy)]
struct Job {
    phone_number: Option<PhoneNumber>,
}

#[derive(Clone, Copy)]
struct PhoneNumber {
    area_code: Option<u8>,
    number: u32,
}

impl Person {

    // 获取此人工作电话的区号（如果存在）。
    fn work_phone_area_code(&self) -> Option<u8> {
        // 如果没有 `?` 运算符，这将需要许多嵌套的 `match` 语句。
        // 这将需要更多代码 - 你可以自己尝试编写一下，看看哪种更简单。
        self.job?.phone_number?.area_code
    }
}

fn main() {
    let p = Person {
        job: Some(Job {
            phone_number: Some(PhoneNumber {
                area_code: Some(61),
                number: 439222222,
            }),
        }),
    };

    assert_eq!(p.work_phone_area_code(), Some(61));
}

总结

恭喜你！你已经完成了“使用 ? 解包 Option”实验。你可以在 LabEx 中练习更多实验来提升你的技能。

使用？解包 Option

简介

Skills Graph

使用 ? 解包 Option

总结

使用 `?` 解包 `Option`