你可以在没有显式引用或所有权移动的情况下在结构上实现数学操作吗？

Question

我无法弄清楚如何在结构上拥有干净的数学，而不需要在任何地方复制这些结构值。

如果你想要一个可以执行数学运算的结构，你可以这样写：

use std::ops::*;

struct Num {
    i: i32,
}

impl Add for Num {
    type Output = Num;
    fn add(self, other: Num) -> Num {
        Num {
            i: self.i + other.i,
        }
    }
}

（这是一个简化的例子。一个实际的例子可能是做矢量数学）

这让我们可以编写漂亮的a + (b / (c * d))样式代码。

由于借用语义，上面的代码与a + b + a一样快。一旦a被使用，它就不能再次使用，因为所有权被转移到相关功能（即add）。

解决这个问题的简单方法是为结构实现Copy：

#[derive(Copy)]
struct Num {
    i: i32,
}

这意味着当Nums传递给add时，它们的值会被自动克隆，以便它们可以干净地丢弃。

但这似乎效率低下！我们不需要在整个地方复制这些结构：它是只读的，我们真的只需要引用它来创建我们返回的新结构。

这让我认为我们应该在引用上实现数学运算：

impl<'a> Add for &'a Num {
    type Output = Num;
    fn add(&'a self, other: &'a Num) -> Num {
        Num {
            i: self.i + other.i,
        }
    }
}

现在我们有数学运算，我们不是在那里克隆数据，但现在我们的数学看起来很糟糕！ a + (b / (c * d))现在必须是&a + &(&b / &(&c * &d))。如果你有值类型引用（例如let a = &Num { /* ... */ }），它没有帮助，因为add的返回值仍然是Num。

是否有一种干净的方法来实现结构的操作，使数学运算看起来干净，并且结构值不会被复制到任何地方？

有关：

Generic math without copying in rust