Rust 元组结构体中的派生 trait

简介

在本实验中，我们将学习 Rust 中的 #[derive] 属性，它允许编译器为某些 trait（如 Eq、PartialEq、Ord、PartialOrd、Clone、Copy、Hash、Default 和 Debug）提供基本实现。如果需要更复杂的行为，也可以手动实现这些 trait。本实验提供了示例代码，展示了这些 trait 在不同元组结构体（如 Centimeters、Inches 和 Seconds）上的用法。

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

通过 #[derive] 实现

编译器能够通过 #[derive] 属性为某些 trait 提供基本实现。如果需要更复杂的行为，这些 trait 仍然可以手动实现。

以下是可通过 #[derive] 实现的 trait 列表：

• 比较 trait：Eq、PartialEq、Ord、PartialOrd。
• Clone，用于通过复制从 &T 创建 T。
• Copy，用于赋予类型“复制语义”而非“移动语义”。
• Hash，用于从 &T 计算哈希值。
• Default，用于创建数据类型的空实例。
• Debug，用于使用 {:?} 格式化器格式化值。

// `Centimeters`，一个可比较的元组结构体
#[derive(PartialEq, PartialOrd)]
struct Centimeters(f64);

// `Inches`，一个可打印的元组结构体
#[derive(Debug)]
struct Inches(i32);

impl Inches {
    fn to_centimeters(&self) -> Centimeters {
        let &Inches(inches) = self;

        Centimeters(inches as f64 * 2.54)
    }
}

// `Seconds`，一个没有附加属性的元组结构体
struct Seconds(i32);

fn main() {
    let _one_second = Seconds(1);

    // 错误：`Seconds` 不可打印；它没有实现 `Debug` trait
    //println!("One second looks like: {:?}", _one_second);
    // TODO ^ 尝试取消注释这一行

    // 错误：`Seconds` 不可比较；它没有实现 `PartialEq` trait
    //let _this_is_true = (_one_second == _one_second);
    // TODO ^ 尝试取消注释这一行

    let foot = Inches(12);

    println!("One foot equals {:?}", foot);

    let meter = Centimeters(100.0);

    let cmp =
        if foot.to_centimeters() < meter {
            "smaller"
        } else {
            "bigger"
        };

    println!("One foot is {} than one meter.", cmp);
}

总结

恭喜你！你已经完成了“通过 #[derive] 实现”实验。你可以在 LabEx 中练习更多实验来提升你的技能。