需要在 Rust trait bound 中进行交换操作

Question

假设我有一组相关的非标量结构，在它们上面定义了交换算术运算。例如，

struct Foo {
    a: f64,
    b: f64
}

impl Add<f64> for Foo {
    type Output = Foo;
    
    fn add(self, v: f64) -> Self::Output {
        Foo {
            a: self.a + v,
            b: self.b + v
        }
    }
}

impl Add<Foo> for f64 {
    type Output = Foo;
    
    fn add(self, foo: Foo) -> Self::Output {
        Foo {
            a: foo.a + self,
            b: foo.b + self
        }
    }
}

我想在这组结构上实现一个特征，利用这个操作。也就是说，我想要如下内容：

trait Bar: Add<f64, Output = Self> + Sized {
    fn right_add(self, f: f64) -> Self {
        self + f
    }
    
    // Doesn't compile!
    fn left_add(self, f: f64) -> Self {
        f + self
    }
}

但是，这目前无法编译，因为超级特征绑定不包括 f64 到 Self 的左加法。我的问题是：如何表述这个可交换性状界限？

(Playground link.)

编辑：明确地说，我知道 right_add 和 left_add 具有相同的输出。我主要对不必根据编译器记住哪个是“正确”的人体工程学感兴趣。此外，我很想了解如何执行此操作，即使这不是绝对必要的。

Answer 1

像这样的反向特征边界是 where 语法的确切用例：

trait Bar
where
    f64: Add<Self, Output = Self>,
    Self: Add<f64, Output = Self> + Sized,
{
    fn right_add(self, f: f64) -> Self {
        self + f
    }

    fn left_add(self, f: f64) -> Self {
        f + self
    }
}

Playground link

需要在 Rust trait bound 中进行交换操作

Require commutative operation in Rust trait bound

traits

rust

commutativity