如何不使用std::ops::Add trait为自定义trait的实现类型重载+运算符

编译报错根因 #

你遇到的type parameter T must be used as the type parameter for some local type报错，是Rust孤儿规则（Orphan Rule）的强制约束效果：

• 规则核心：当你为某个类型实现某个trait时，必须满足「该trait是当前crate内本地定义」，或者「该类型是当前crate内本地定义」，二者至少占其一。
• 你之前的泛型实现同时违反两个前提：std::ops::Add是标准库提供的外部trait，泛型参数T是任意实现MyTrait的外部类型，两边都不属于当前crate的管辖范围，因此被编译器直接拦截。

在明确要求不使用std::ops::Add的前提下，完全可以绕开标准库trait体系，通过本地自定义trait实现统一的加法重载能力。

实现流程 #

• 定义本地专属的加法能力trait
  由于是当前crate内自定义的trait，天然满足孤儿规则的实现要求，不存在外部依赖限制：

  trait MyAdd {
      type Output;
      fn my_add(self, rhs: Self) -> Self::Output;
  }
  

• 为所有实现MyTrait的类型批量实现自定义加法trait
  因为实现目标是本地定义的MyAdd，不管泛型参数T是内部类型还是外部类型，都不会触发孤儿规则报错：

  impl<T: MyTrait> MyAdd for T {
      type Output = Self;
      fn my_add(self, rhs: Self) -> Self::Output {
          // 在此处编写跨类型通用的加法逻辑
          todo!()
      }
  }
  

注意：Rust的语法设计层面，原生a + b表达式会被编译器固定映射为对std::ops::Add::add的函数调用，不存在完全不依赖std::ops::Add就让原生+符号生效的可行方案。上述自定义trait的方案可以100%覆盖运算符重载的核心能力，实现所有实现MyTrait的结构体共享一套加法逻辑，且全程不涉及对std::ops::Add的直接绑定。

实际调用示例 #

fn main() {
    let left = MyStruct {};
    let right = MyStruct {};
    // 所有实现MyTrait的类型可直接调用统一加法能力
    let result = left.my_add(right);
}

内容的提问来源于stack exchange，提问作者William Taylor