如何为已实现Add和Neg的类型实现标准Sub trait？

问题根源 #

你遇到的是Rust孤儿规则的限制：实现外部trait（比如标准库的Sub）时，必须保证至少有一个关联类型是当前 crate 本地定义的。直接给所有T: Add + Neg实现Sub，因为T是无限制的类型参数，不属于本地 crate，所以会触发报错。

最优解决方案：自定义标记trait + 全局实现 #

不用复制粘贴每个结构体的Sub实现，也不用复杂的宏，只需要通过一个本地标记trait来规避孤儿规则：

1. 定义本地标记trait #

先创建一个空的本地trait，用来标记那些已经实现了Add和Neg的结构体：

// 本地标记trait，仅用于标识需要自动实现Sub的类型
pub trait SubFromAddNeg: Add + Neg {}

2. 为标记类型实现Sub #

基于这个本地trait，编写Sub的全局实现，同时确保类型兼容：

impl<T> Sub for T
where
    T: SubFromAddNeg,
    // 确保Add和Neg的输出类型都等于自身，保证self + (-rhs)类型合法
    <T as Add>::Output = T,
    <T as Neg>::Output = T,
{
    type Output = T;

    fn sub(self, rhs: Self) -> Self::Output {
        self + (-rhs)
    }
}

3. 给本地结构体标记trait #

对于每个已经实现了Add和Neg的本地结构体，只需要加一行代码标记这个trait，就能自动获得Sub的实现：

// 示例本地结构体，已实现Add和Neg
#[derive(Debug, Clone, Copy)]
struct MyNum(i32);

impl Add for MyNum {
    type Output = Self;
    fn add(self, rhs: Self) -> Self {
        MyNum(self.0 + rhs.0)
    }
}

impl Neg for MyNum {
    type Output = Self;
    fn neg(self) -> Self {
        MyNum(-self.0)
    }
}

// 仅需这一行，自动获得Sub实现
impl SubFromAddNeg for MyNum {}

为什么这个方法有效？ #

因为此时Sub的实现是针对**实现了本地traitSubFromAddNeg**的类型，满足了孤儿规则中“至少有一个本地关联项”的要求，Rust允许这种全局实现。相比复制粘贴，只需要给每个结构体加一行标记；相比宏，代码更简洁易读，也更容易维护。

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