解读

在 Rust 面试里，这道题考察的是对 标准库核心 trait 的泛型签名差异 是否敏感，以及能否把“语法糖”还原成“显式泛型参数”。
国内大厂（华为、阿里、字节、蚂蚁、PingCAP）的二面/三面常出此题，目的是筛掉只会“抄模板”的候选人。
面试官希望你用 不超过 90 秒 说清楚三点：

1. 默认类型参数机制
2. 运算符重载时 Self 与 Rhs 的协变关系
3. 对孤儿规则与逆向运算的潜在影响

知识点

1. Add<Rhs> 是完整形式，Rhs 可任意指定；Add<Output = Self> 只是省略了 Rhs 的简写，等价于 Add<Self, Output = Self>。
2. Output 是关联类型，默认值为 Self；一旦显式写出 Output = Self，就强制结果类型与左操作数一致，Rhs 仍保持默认 Self。
3. 当 Rhs ≠ Self 时，必须同时实现 Add<Rhs> for Self 与 Add<Self> for Rhs 才能支持对称表达式，否则编译器会因孤儿规则拒绝逆向实现。
4. 泛型 impl 块里若出现 impl<T> Add<T> for Vec<T>，则 Output 默认 Vec<T>；若写成 impl<T> Add<T, Output = Vec<T>> for Vec<T>，语义相同但 显式约束了返回类型，可读性更高，也利于后续 trait bound 推导。
5. #[derive(Add)] 不存在，所有运算符重载必须手写 impl；面试时若提到 derive 会直接减分。

答案

Add<Output = Self> 是 Add<Self, Output = Self> 的简写，Rhs 仍取默认值 Self；而 Add<Rhs> 把 Rhs 显式换成非 Self 类型，Output 默认仍是 Self，但可以通过关联类型语法改成任意类型。
核心区别只有一点：Rhs 是否被重新指定。
因此：

• 若只想让“自己加自己返回自己”，用 Add<Output = Self> 即可，Rhs 隐式为 Self；
• 若需要“自己加别人返回第三种类型”，必须写 Add<Rhs> 并额外给出 Output = Target。

拓展思考

1. 在 no_std 嵌入式场景 里，为了减少单态化代码体积，常把 Rhs 设成引用类型 &T，同时把 Output 设为 T，从而避免多次生成同一算法的机器码；此时 Add<&T, Output = T> 就比默认 Add 签名更省体积。
2. 做 区块链状态机 时，余额类型 U256 需要同时支持 U256 + U256 以及 U256 + u64，就必须实现：
   impl Add<u64, Output = U256> for U256
   impl Add<U256, Output = U256> for u64
   若忘记第二条，表达式 1u64 + balance 会因孤儿规则无法编译，这是线上事故常见根因。
3. 面试加分句：
   “在字节跳动做高性能缓存时，我们用 Add<Output = Self> 保证返回类型始终为自定义的 AtomicMetric，避免意外把 i64 隐式混进来，从而让 clippy 的 arithmetic_overflow lint 一次通过。”