为自定义类型实现AddAssign时遇`+=`无法应用的Rust问题求助

错误原因分析 #

你遇到的E0368错误核心原因大概率是未将标准库的AddAssign trait导入当前作用域。Rust的+=运算符是和std::ops::AddAssign这个标准trait绑定的，如果实现时没有显式导入该trait，编译器会把你的实现当成自定义trait处理，完全不会关联到+=运算符的逻辑上，自然就会报错说无法应用该操作。

另外也需要确认你的Infinitesimal::new方法实现是否正确——比如初始化的diffs数组类型、长度是否和定义匹配，类型不匹配也可能导致编译器无法匹配到正确的AddAssign实现。

修正后的代码示例 #

首先必须导入标准库的运算符trait：

use std::ops::{Add, AddAssign};
use ndarray::Array1;

然后补充完整结构体、方法和trait实现：

#[derive(Debug, Clone)]
struct Infinitesimal<F> {
    value: F,
    diffs: Array1<F>,
}

// 示例new方法实现（根据你的实际需求调整diffs的初始化逻辑）
impl<F: Clone + Default> Infinitesimal<F> {
    fn new(value: F) -> Self {
        Self {
            value,
            diffs: Array1::default(1), // 这里示例用长度为1的全0数组，按需修改
        }
    }
}

// Add实现保持你的原有逻辑即可
impl<F: Add<Output = F>> Add for Infinitesimal<F>
where
    Array1<F>: Add<Output = Array1<F>>,
{
    type Output = Self;
    fn add(self, rhs: Self) -> Self::Output {
        Self {
            value: self.value + rhs.value,
            diffs: self.diffs + rhs.diffs,
        }
    }
}

// 正确绑定到标准库AddAssign的实现
impl<F: AddAssign> AddAssign for Infinitesimal<F>
where
    Array1<F>: AddAssign,
{
    fn add_assign(&mut self, rhs: Self) {
        self.value += rhs.value;
        self.diffs += rhs.diffs;
    }
}

// 测试代码
fn main() {
    let mut x: Infinitesimal<f64> = Infinitesimal::new(1.0);
    x += Infinitesimal::new(1.0);
    println!("{:?}", x);
}

额外优化：支持引用操作 #

如果想避免不必要的拷贝，还可以额外实现针对引用的AddAssign，这样就能支持x += &y的写法：

impl<F: AddAssign + Clone> AddAssign<&Self> for Infinitesimal<F>
where
    Array1<F>: AddAssign,
{
    fn add_assign(&mut self, rhs: &Self) {
        self.value += rhs.value.clone();
        self.diffs += &rhs.diffs;
    }
}

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