目录
当前位置: 首页 > 文档资料 > 通过例子学 Rust >

虚位类型参量 - 测试实例:单位阐明

优质
小牛编辑
128浏览
2023-12-01

单位转换(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;
  5. fn add(self, rhs: RHS) -> Self::Output;
  6. }
  7. // `Output` 必须是 `T<U>` 类型,所以 `T<U> + T<U> = T<U>`。
  8. impl<U> Add for T<U> {
  9. type Output = T<U>;
  10. ...
  11. }

完整实现:

  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. #[derive(Debug, Clone, Copy)]
  13. struct Length<Unit>(f64, PhantomData<Unit>);
  14. /// `Add` trait 定义了 `+` 运算符的行为。
  15. impl<Unit> Add for Length<Unit> {
  16. type Output = Length<Unit>;
  17. // add() 返回一个全新的包含总和的 `Length` 结构体。
  18. fn add(self, rhs: Length<Unit>) -> Length<Unit> {
  19. // `+` 调用了针对 `f64` 类型的 `Add` 实现。
  20. Length(self.0 + rhs.0, PhantomData)
  21. }
  22. }
  23. fn main() {
  24. // 指出 `one_foot` 拥有虚位类型参量 `Inch`。
  25. let one_foot: Length<Inch> = Length(12.0, PhantomData);
  26. // `one_meter` 拥有虚位类型参量 `Mm`。
  27. let one_meter: Length<Mm> = Length(1000.0, PhantomData);
  28. // `+` 调用了 `add()` 方法,该方法对 `Length<Unit>` 进行了实现。
  29. //
  30. // 由于 `Length` 了实现了 `Copy`,于是 `add()` 不会消费 `one_foot`
  31. // 和 `one_meter`,但会复制它们到 `self` 和 `rhs`。
  32. let two_feet = one_foot + one_foot;
  33. let two_meters = one_meter + one_meter;
  34. // 加法正常执行。
  35. println!("one foot + one_foot = {:?} in", two_feet.0);
  36. println!("one meter + one_meter = {:?} mm", two_meters.0);
  37. // 无意义的操作将会失败,因为它们会导致:
  38. // 编译期报错:类型不匹配(Compile-time Error: type mismatch.)。
  39. //let one_feter = one_foot + one_meter;
  40. }

参见:

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