在 Rust 特征绑定中需要交换操作

如何解决在 Rust 特征绑定中需要交换操作

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

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 具有相同的输出。我主要对不必记住根据编译器哪个是“正确的”的人体工程学感兴趣。此外，我很想知道如何做到这一点，即使这不是绝对必要的。

解决方法

像这样的倒置特征边界是 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