测试实例:单位阐明

    1. use std::ops::Add;
    2. use std::marker::PhantomData;
    3. /// 创建空枚举来定义单位类型。
    4. #[derive(Debug, Clone, Copy)]
    5. enum Inch {}
    6. #[derive(Debug, Clone, Copy)]
    7. enum Mm {}
    8. /// `Length` 是一个带有虚位类型参量的 `Unit`(单位),
    9. /// 而且不是关于长类型(即 `f64`)的泛型。
    10. ///
    11. /// `f64` 已经实现了 `Clone` 和 `Copy` trait.
    12. /// `Add` trait 定义了 `+` 运算符的行为。
    13. impl<Unit> Add for Length<Unit> {
    14. type Output = Length<Unit>;
    15. // add() 返回一个全新的包含总和的 `Length` 结构体。
    16. fn add(self, rhs: Length<Unit>) -> Length<Unit> {
    17. // `+` 调用了针对 `f64` 类型的 `Add` 实现。
    18. Length(self.0 + rhs.0, PhantomData)
    19. }
    20. }
    21. fn main() {
    22. // 指出 `one_foot` 拥有虚位类型参量 `Inch`。
    23. let one_foot: Length<Inch> = Length(12.0, PhantomData);
    24. // `+` 调用了 `add()` 方法,该方法对 `Length<Unit>` 进行了实现。
    25. //
    26. // 由于 `Length` 了实现了 `Copy`,于是 `add()` 不会消费 `one_foot`
    27. // 和 `one_meter`,但会复制它们到 `self` 和 `rhs`。
    28. let two_feet = one_foot + one_foot;
    29. let two_meters = one_meter + one_meter;
    30. // 加法正常执行。
    31. println!("one foot + one_foot = {:?} in", two_feet.0);
    32. println!("one meter + one_meter = {:?} mm", two_meters.0);
    33. // 无意义的操作将会失败,因为它们会导致:
    34. // 编译期报错:类型不匹配(Compile-time Error: type mismatch.)。
    35. }