Rust 中的部分移动解构：解锁灵活的变量处理

简介

在这个实验中，我们将学习在单个变量解构时的部分移动，其中可以同时使用 按值移动 和 按引用 模式绑定。这会导致变量的部分移动，允许某些部分被移动，而其他部分仍可被引用。如果父变量被部分移动，那么之后它就不能作为一个整体使用了，但仅被引用而未被移动的部分仍然可以使用。

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

Skills Graph

%%%%{init: {'theme':'neutral'}}%%%% flowchart RL rust(("Rust")) -.-> rust/FunctionsandClosuresGroup(["Functions and Closures"]) rust(("Rust")) -.-> rust/MemorySafetyandManagementGroup(["Memory Safety and Management"]) rust(("Rust")) -.-> rust/AdvancedTopicsGroup(["Advanced Topics"]) rust(("Rust")) -.-> rust/BasicConceptsGroup(["Basic Concepts"]) rust(("Rust")) -.-> rust/DataTypesGroup(["Data Types"]) rust(("Rust")) -.-> rust/DataStructuresandEnumsGroup(["Data Structures and Enums"]) rust/BasicConceptsGroup -.-> rust/variable_declarations("Variable Declarations") rust/DataTypesGroup -.-> rust/integer_types("Integer Types") rust/DataTypesGroup -.-> rust/string_type("String Type") rust/DataTypesGroup -.-> rust/type_casting("Type Conversion and Casting") 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/AdvancedTopicsGroup -.-> rust/operator_overloading("Traits for Operator Overloading") subgraph Lab Skills rust/variable_declarations -.-> lab-99197{{"Rust 中的部分移动解构"}} rust/integer_types -.-> lab-99197{{"Rust 中的部分移动解构"}} rust/string_type -.-> lab-99197{{"Rust 中的部分移动解构"}} rust/type_casting -.-> lab-99197{{"Rust 中的部分移动解构"}} rust/function_syntax -.-> lab-99197{{"Rust 中的部分移动解构"}} rust/expressions_statements -.-> lab-99197{{"Rust 中的部分移动解构"}} rust/lifetime_specifiers -.-> lab-99197{{"Rust 中的部分移动解构"}} rust/method_syntax -.-> lab-99197{{"Rust 中的部分移动解构"}} rust/operator_overloading -.-> lab-99197{{"Rust 中的部分移动解构"}} end

部分移动

在单个变量的[解构]过程中，可以同时使用 按值移动 和 按引用 模式绑定。这样做会导致变量的 部分移动，这意味着变量的某些部分会被移动，而其他部分会保留。在这种情况下，父变量之后不能再作为一个整体使用，但是仅被引用（而未被移动）的部分仍然可以使用。

fn main() {
    #[derive(Debug)]
    struct Person {
        name: String,
        age: Box<u8>,
    }

    let person = Person {
        name: String::from("Alice"),
        age: Box::new(20),
    };

    // `name` 从 `person` 中被移出，但 `age` 被引用
    let Person { name, ref age } = person;

    println!("The person's age is {}", age);

    println!("The person's name is {}", name);

    // 错误！借用了部分移动的值：`person` 发生了部分移动
    //println!("The person struct is {:?}", person);

    // `person` 不能再使用，但 `person.age` 可以使用，因为它没有被移动
    println!("The person's age from person struct is {}", person.age);
}

（在这个例子中，我们将 age 变量存储在堆上以说明部分移动：如果删除上述代码中的 ref，将会出现错误，因为 person.age 的所有权会被移动到变量 age 上。如果 Person.age 存储在栈上，则不需要 ref，因为 age 的定义会复制 person.age 中的数据而不移动它。）

总结

恭喜你！你已经完成了“部分移动”实验。你可以在 LabEx 中练习更多实验来提升你的技能。