5.33.运算符和重载

最后更新于:2022-04-01 00:44:40

Rust允许有限形式的运算符重载。这里有特定的运算符可以被重载。为了支持一个类型间特定的运算符,这里有一个你可以实现的特定的特性,它接着重载运算符。 例如,`+`运算符可以通过`Add`特性重载: ~~~ use std::ops::Add; #[derive(Debug)] struct Point { x: i32, y: i32, } impl Add for Point { type Output = Point; fn add(self, other: Point) -> Point { Point { x: self.x + other.x, y: self.y + other.y } } } fn main() { let p1 = Point { x: 1, y: 0 }; let p2 = Point { x: 2, y: 3 }; let p3 = p1 + p2; println!("{:?}", p3); } ~~~ 在`main`中,我们可以对我们的两个`Point`用`+`号,因为我们已经为`Point`实现了`Add`。 这里有一系列可以这样被重载的运算符,并且所有与之相关的特性都在[`std::ops`](http://doc.rust-lang.org/nightly/std/ops/)模块中。查看它的文档来获取完整的列表。 实现这些特性要遵循一个模式。让我们仔细看看[`Add`](http://doc.rust-lang.org/nightly/std/ops/trait.Add.html): ~~~ pub trait Add<RHS = Self> { type Output; fn add(self, rhs: RHS) -> Self::Output; } ~~~ 这里总共涉及到3个类型:你`impl Add`的类型,`RHS`,它默认是`Self`,和`Output`。对于一个表达式`let z = x + y`,`x`是`Self`类型的,`y`是`RHS`,而`z`是`Self::Output`类型。 ~~~ impl Add<i32> for Point { type Output = f64; fn add(self, rhs: i32) -> f64 { // add an i32 to a Point and get an f64 } } ~~~ 将允许你这样做: ~~~ let p: Point = // ... let x: f64 = p + 2i32; ~~~
';