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

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
    }
}

但是，这目前无法编译，因为超特征边界不包括f64to的左添加Self。我的问题是：我怎样才能说明这个交换特征界限？

（游乐场链接。）

编辑：明确地说，我知道right_add并且left_add有相同的输出。根据编译器，我主要对不必记住哪个是“正确的”的人体工程学感兴趣。此外，我很想学习如何做到这一点，即使它不是绝对必要的。

回答

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
    }
}