为何Rust的ops::add要求以移动语义实现add方法？

首先解决你的编译错误：你写的add方法签名和std::ops::Add trait的定义不匹配，trait默认要求接收者和参数都是值类型，而非引用。

正确的移动语义实现 #

如果不需要保留原有的Point实例，直接按照trait定义实现即可：

pub struct Point {
    x: f64,
    y: f64,
}

impl std::ops::Add<Point> for Point {
    type Output = Point;
    fn add(self, b: Point) -> Point {
        Self {
            x: self.x + b.x,
            y: self.y + b.y,
        }
    }
}

如何用引用实现加法？ #

如果想保留原有的Point实例不被移动，可以为引用类型实现Add trait：

// 两个引用相加
impl std::ops::Add<&Point> for &Point {
    type Output = Point;
    fn add(self, b: &Point) -> Point {
        Point {
            x: self.x + b.x,
            y: self.y + b.y,
        }
    }
}

// 支持混合场景：引用 + 值
impl std::ops::Add<Point> for &Point {
    type Output = Point;
    fn add(self, b: Point) -> Point {
        Point {
            x: self.x + b.x,
            y: self.y + b.y,
        }
    }
}

// 值 + 引用
impl std::ops::Add<&Point> for Point {
    type Output = Point;
    fn add(self, b: &Point) -> Point {
        Point {
            x: self.x + b.x,
            y: self.y + b.y,
        }
    }
}

这样你就可以用&p + &q、&p + q或者p + &q的方式调用加法，原实例不会被移动。

为什么默认Add trait用移动语义？ #

1. 语义一致性：对于大多数基础类型（比如i32、f64），加法都是基于值的操作，移动语义符合开发者的直觉。比如1 + 2，语义上是两个值相加，原数值不会被保留（对于Copy类型，移动等价于复制，不影响使用）。

2. 灵活性优先：Rust允许为不同类型（包括引用）实现同一个trait。默认提供值语义的实现，同时给开发者留足空间，根据需求为引用类型实现trait，兼顾不同场景。

3. 显式优于隐式：如果需要保留原实例，开发者需要显式使用引用或clone，这符合Rust“避免隐式操作”的设计原则，让代码意图更清晰。

关于字面量的疑问 #

字面量本身就是值类型，直接用移动版本的Add实现就能正常工作：

let result = Point { x: 1.0, y: 2.0 } + Point { x: 3.0, y: 4.0 };

如果想让Point在移动后还能继续使用，只需为它派生Copy和Clone trait：

#[derive(Copy, Clone)]
pub struct Point {
    x: f64,
    y: f64,
}

此时p + q会自动复制p和q的值，原实例不会被移动，仍然可以正常访问。

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