Rust 编程 | 通用 DoubleDrop 特性

简介

在这个实验中，定义了一个通用的 DoubleDrop 特性，其中包含一个 double_drop 方法，该方法允许一个类型释放自身以及一个输入参数。

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

Skills Graph

%%%%{init: {'theme':'neutral'}}%%%% flowchart RL rust(("Rust")) -.-> rust/DataStructuresandEnumsGroup(["Data Structures and Enums"]) rust(("Rust")) -.-> rust/AdvancedTopicsGroup(["Advanced Topics"]) rust(("Rust")) -.-> rust/BasicConceptsGroup(["Basic Concepts"]) rust(("Rust")) -.-> rust/FunctionsandClosuresGroup(["Functions and Closures"]) rust/BasicConceptsGroup -.-> rust/variable_declarations("Variable Declarations") rust/FunctionsandClosuresGroup -.-> rust/function_syntax("Function Syntax") rust/FunctionsandClosuresGroup -.-> rust/expressions_statements("Expressions and Statements") rust/DataStructuresandEnumsGroup -.-> rust/method_syntax("Method Syntax") rust/AdvancedTopicsGroup -.-> rust/traits("Traits") rust/AdvancedTopicsGroup -.-> rust/operator_overloading("Traits for Operator Overloading") subgraph Lab Skills rust/variable_declarations -.-> lab-99347{{"实现通用双释放特性"}} rust/function_syntax -.-> lab-99347{{"实现通用双释放特性"}} rust/expressions_statements -.-> lab-99347{{"实现通用双释放特性"}} rust/method_syntax -.-> lab-99347{{"实现通用双释放特性"}} rust/traits -.-> lab-99347{{"实现通用双释放特性"}} rust/operator_overloading -.-> lab-99347{{"实现通用双释放特性"}} end

特性

当然，trait 也可以是泛型的。这里我们定义了一个 trait，它将 Drop trait 重新实现为一个泛型方法，用于释放自身和一个输入。

// 不可复制类型。
struct Empty;
struct Null;

// 一个以 `T` 为泛型的 `trait`。
trait DoubleDrop<T> {
    // 在调用者类型上定义一个方法，该方法接受一个
    // 额外的单参数 `T`，但不对其进行任何操作。
    fn double_drop(self, _: T);
}

// 为任何泛型参数 `T` 和调用者 `U` 实现 `DoubleDrop<T>`。
impl<T, U> DoubleDrop<T> for U {
    // 此方法获取两个传入参数的所有权，
    // 并释放两者。
    fn double_drop(self, _: T) {}
}

fn main() {
    let empty = Empty;
    let null  = Null;

    // 释放 `empty` 和 `null`。
    empty.double_drop(null);

    //empty;
    //null;
    // ^ TODO: 尝试取消注释这些行。
}

总结

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