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

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

但是，这目前无法编译，因为超级特征绑定不包括f64to的左侧添加Self。我的问题是：我怎样才能陈述这个交换特征绑定？

（游乐场链接。）

编辑：要清楚，我知道这一点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
    }
}

游乐场链接