01-测试实例：单位检查

Thu, 20 Aug 2026 21:20:00 +0800

译文 · 基于 Rust By Example

原文链接: https://doc.rust-lang.org/stable/rust-by-example/generics/phantom/testcase_units.html

测试实例：单位检查

通过实现一个带虚类型参数的 Add trait 可以实现单位检查。这种 Add trait 的代码如下：

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13


// 这个 `trait` 会要求 `Self + RHS = Output`。`<RHS = Self>` 表示 RHS 的默认值
// 为 Self 类型，也就是如果没有在实现中另行指定，RHS 就取 Self 类型。
pub trait Add<RHS = Self> {
 type Output;

 fn add(self, rhs: RHS) -> Self::Output;
}

// `Output` 必须是 `T<U>` 类型，所以是 `T<U> + T<U> = T<U>`。
impl<U> Add for T<U> {
 type Output = T<U>;
 ...
}

完整实现：

09-虚类型参数 on 编程那些事儿

01-测试实例：单位检查

测试实例：单位检查