• 测试实例：单位阐明
    • 参见：

    测试实例：单位阐明

    单位转换（unit conversion）中的一个有效方法可以通过实现 Add trait 来检验，其中 Add 带有虚位类型参量（原文：A useful method of unit conversions can be examined by implementing Add with a phantom type parameter）。用作检验 Add trait 的代码如下：

    1. // 这个结构得到加强：`Self + RHS = Output`，其中 RHS 要
    2. // 是没有给出特定实现的话会默认成为 Self。
    3. pub trait Add<RHS = Self> {
    4.     type Output;
    6.     fn add(self, rhs: RHS) -> Self::Output;
    7. }
    9. // `Output` 必须是 `T<U>` 类型，所以 `T<U> + T<U> = T<U>`。
    10. impl<U> Add for T<U> {
    11.     type Output = T<U>;
    12.     ...
    13. }

    完整实现：

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

    参见：

    Borrowing (&), Bounds (X: Y), enum, impl & self,
    Overloading, ref, Traits (X for Y), 和 TupleStructs.