为什么Rust的运算符有类型输出变量？[副本]

Question

我一直在网上读锈书，我已经达到4.1，操作员和过载。我注意到std::ops::add将其定义为fn add（self,RHS:RHS)->self::output；，并在特征中单独定义了类型output。

我理解了这里的情况:add函数将左侧接受为self，将右侧接受为泛型参数类型rhs。

我想知道为什么输出类型是用output别名定义的，而不是另一个泛型（例如add )？这只是一个惯例，还是有一个特定的原因？

Answer 1

当函数对变量进行操作时，您可以将traits视为对类型进行操作的函数。如果这样考虑，类型参数将作为函数的输入，而关联的类型将作为输出。

由于output是一个关联的类型，因此对于我们希望IMPL ADD的两个类型a和B，我们只能选择一个output类型。如果output是一个类型参数，我们可以通过多种方式为a和B添加IMPLADD。

例如，让我们定义一个mul特征，其中output是一个参数：

trait Mul<RHS, Output> {
    fn mul(self, rhs: RHS) -> Output;
}

现在让我们定义一个complex类型：

#[derive(Debug, Clone, Copy)]
struct Complex {
    x: f64,
    y: f64,
}

impl Complex {
    fn new(x: f64, y: f64) -> Complex {
        Complex { x: x, y: y }
    }
}

我们希望能够将其乘以f64:

impl Mul<f64, Complex> for Complex {
    fn mul(self, rhs: f64) -> Complex {
        Complex::new(self.x * rhs, self.y * rhs)
    }
}

一切正常。然而,我们可以提出第二种实现方式：

impl Mul<f64, f64> for Complex {
    fn mul(self, rhs: f64) -> f64 {
        self.x * rhs
    }
}

impl std::ops::Mul<f64> for Complex {
    type Output = Complex;
    fn mul(self, rhs: f64) -> Complex {
        Complex::new(self.x * rhs, self.y * rhs)
    }
}

impl std::ops::Mul<f64> for Complex {
    type Output = f64;
    fn mul(self, rhs: f64) -> Complex {
        self.x * rhs
    }
}