探索 Rust 特性作为约束条件

简介

在本实验中，代码通过以 Eq 和 Copy 特性为例，展示了即使特性不包含任何功能，也可将其用作约束条件。

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

Skills Graph

%%%%{init: {'theme':'neutral'}}%%%% flowchart RL rust(("Rust")) -.-> rust/BasicConceptsGroup(["Basic Concepts"]) rust(("Rust")) -.-> rust/DataTypesGroup(["Data Types"]) rust(("Rust")) -.-> rust/FunctionsandClosuresGroup(["Functions and Closures"]) rust(("Rust")) -.-> rust/MemorySafetyandManagementGroup(["Memory Safety and Management"]) rust(("Rust")) -.-> rust/AdvancedTopicsGroup(["Advanced Topics"]) rust/BasicConceptsGroup -.-> rust/variable_declarations("Variable Declarations") rust/DataTypesGroup -.-> rust/string_type("String Type") rust/FunctionsandClosuresGroup -.-> rust/function_syntax("Function Syntax") rust/FunctionsandClosuresGroup -.-> rust/expressions_statements("Expressions and Statements") rust/MemorySafetyandManagementGroup -.-> rust/lifetime_specifiers("Lifetime Specifiers") rust/AdvancedTopicsGroup -.-> rust/traits("Traits") rust/AdvancedTopicsGroup -.-> rust/operator_overloading("Traits for Operator Overloading") subgraph Lab Skills rust/variable_declarations -.-> lab-99349{{"测试用例：空约束条件"}} rust/string_type -.-> lab-99349{{"测试用例：空约束条件"}} rust/function_syntax -.-> lab-99349{{"测试用例：空约束条件"}} rust/expressions_statements -.-> lab-99349{{"测试用例：空约束条件"}} rust/lifetime_specifiers -.-> lab-99349{{"测试用例：空约束条件"}} rust/traits -.-> lab-99349{{"测试用例：空约束条件"}} rust/operator_overloading -.-> lab-99349{{"测试用例：空约束条件"}} end

测试用例：空约束条件

约束条件的工作方式带来的一个结果是，即使一个 trait 不包含任何功能，你仍然可以将其用作约束条件。Eq 和 Copy 就是 std 库中这类 trait 的示例。

struct Cardinal;
struct BlueJay;
struct Turkey;

trait Red {}
trait Blue {}

impl Red for Cardinal {}
impl Blue for BlueJay {}

// 这些函数仅对实现了这些
// trait 的类型有效。这些 trait 为空这一事实无关紧要。
fn red<T: Red>(_: &T)   -> &'static str { "red" }
fn blue<T: Blue>(_: &T) -> &'static str { "blue" }

fn main() {
    let cardinal = Cardinal;
    let blue_jay = BlueJay;
    let _turkey   = Turkey;

    // 由于约束条件，`red()` 对冠蓝鸦不起作用，反之亦然
    println!("一只主红雀是 {}", red(&cardinal));
    println!("一只冠蓝鸦是 {}", blue(&blue_jay));
    //println!("一只火鸡是 {}", red(&_turkey));
    // ^ TODO：尝试取消注释这一行。
}

总结

恭喜你！你已完成“测试用例：空约束条件”实验。你可以在 LabEx 中练习更多实验来提升你的技能。