Rust如何定义限制&Self实现指定trait的自定义trait并修复生命周期报错

你原有的写法将固定生命周期'a绑定到了MyTrait上，要求AddAssign接收的&Self借用必须满足生命周期'a；而'a是函数级泛型生命周期，长度由调用方决定、至少长于整个函数的执行周期，远长于函数内部局部变量b的生命周期，因此&b的生命周期无法匹配要求，触发编译报错。

使用Rust的高阶trait约束（HRTB）for<'a>语法，该语法可以表示「对于任意生命周期'a，类型都满足对应的约束」，不需要和某个固定长度的生命周期绑定，刚好匹配你的需求：AddAssign操作只需要临时借用参数，不需要延长借用周期。

修改后的完整可运行代码 #

// 移除trait的生命周期参数，用for<'a>声明该trait的实现类型支持任意生命周期的&Self借用作为AddAssign右操作数
trait MyTrait: for<'a> std::ops::AddAssign<&'a Self> {}

// 自动实现：所有满足约束的类型自动实现MyTrait，可根据业务需求调整
impl<T: for<'a> std::ops::AddAssign<&'a T>> MyTrait for T {}

fn func<T: MyTrait>(a: &mut T, b: T) {
    *a += &b;
}

// 测试用例验证编译正常
fn main() {
    let mut x = 1;
    func(&mut x, 2);
    assert_eq!(x, 3);
}

特殊场景兼容：如果必须保留trait的生命周期参数 #

如果业务逻辑确实需要MyTrait携带生命周期参数，可以将函数的泛型约束改为高阶生命周期形式：

trait MyTrait<'a>: 'a + std::ops::AddAssign<&'a Self> {}

// 用for<'a>声明T可以满足任意生命周期'a下的MyTrait<'a>约束
fn func<T: for<'a> MyTrait<'a>>(a: &mut T, b: T) {
    *a += &b;
}

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