• 派生

    派生

    通过 #[derive] 属性，编译器能够提供一些对于 trait 的基本实现。如果需要一个更复杂的业务，这些 trait 仍然可以手动实现。（原文：The compiler is capable of providing basic implementations for some traits via the #[derive] attribute. These traits can still be manually implemented if a more complex behavior is required.）

    下面列举了 “derivable”（可派生的）trait：

    • 比较 trait:
      Eq, PartialEq, Ord, PartialOrd
    • Clone, 采用复制（copy）方式从 &T 创建 T。
    • Copy，给出“复制语义”（’copy semantics’）来替代“移动语义”（’move semantics’）。
    • Hash，从 &T 计算哈希值（hash）。
    • Default, 创建数据类型的一个空实例。
    • Zero，创建数字数据类型的一个零值实例（zero instance）。
    • Debug，使用 {:?} 格式化程序（formatter）格式化一个值。
    1. // `Centimeters`，可以比较的元组结构体
    2. #[derive(PartialEq, PartialOrd)]
    3. struct Centimeters(f64);
    5. // `Inches`，可以打印的元组结构体
    6. #[derive(Debug)]
    7. struct Inches(i32);
    9. impl Inches {
    10.     fn to_centimeters(&self) -> Centimeters {
    11.         let &Inches(inches) = self;
    13.         Centimeters(inches as f64 * 2.54)
    14.     }
    15. }
    17. // `Seconds`，不带附加属性的元组结构体
    18. struct Seconds(i32);
    20. fn main() {
    21.     let _one_second = Seconds(1);
    23.     // 报错：`Seconds` 不能打印；它没有实现 `Debug` trait
    24.     //println!("One second looks like: {:?}", _one_second);
    25.     // 试一试 ^ 将此行注释去掉
    27.     // 报错：`Seconds`不能比较；它没有实现 `PartialEq` trait
    28.     //let _this_is_true = (_one_second == _one_second);
    29.     // 试一试 ^ 将此行注释去掉
    31.     let foot = Inches(12);
    33.     println!("One foot equals {:?}", foot);
    35.     let meter = Centimeters(100.0);
    37.     let cmp =
    38.         if foot.to_centimeters() < meter {
    39.             "smaller"
    40.         } else {
    41.             "bigger"
    42.         };
    44.     println!("One foot is {} than one meter.", cmp);
    45. }

    derive