运算符重载
在 Rust 中,大部分运算符都可以通过 trait 来重载。也就是说,这些运算符可以根据它们输入的参数来完成不同的任务。为什么这样做是可行的呢,是因为运算符是对方法调用的语法糖。例如,a + b
中的 +
运算符会调用 add
方法(也就是 a.add(b)
)。这个 add
方法是 Add
trait 的一部分。因此,+
运算符可以被 Add
trait 的实现者(implementor)使用。
点击这里查看列举的重载运算符 trait,比如 Add
。(原文:A list of the traits, such as Add
, that overload operators are available here.)
use std::ops; struct Foo; struct Bar; #[derive(Debug)] struct FooBar; #[derive(Debug)] struct BarFoo; // `std::ops::Add` trait 在这里用来指明 `+` 的功能,我们给出 `Add<Bar>`——关于 // 加法的 trait,带有一个 `Bar` 类型的右操作数(RHS)。下面代码块实现了这样的 // 运算: Foo + Bar = FooBar。 impl ops::Add<Bar> for Foo { type Output = FooBar; fn add(self, _rhs: Bar) -> FooBar { println!("> Foo.add(Bar) was called"); FooBar } } // 通过反转类型,我们以实现非交换的加法作为结束。 // 这里我们给出 `Add<Foo>`——关于加法的 trait,带有一个 `Foo` 类型的右操作数。 // 这个代码块实现了这样的操作:Bar + Foo = BarFoo。 impl ops::Add<Foo> for Bar { type Output = BarFoo; fn add(self, _rhs: Foo) -> BarFoo { println!("> Bar.add(Foo) was called"); BarFoo } } fn main() { println!("Foo + Bar = {:?}", Foo + Bar); println!("Bar + Foo = {:?}", Bar + Foo); }
###参见: