函数是伟大的,不过如果你在一些数据上调用了一堆函数,这将是令人尴尬的。 考虑下面代码:
~~~
baz(bar(foo(x)));
~~~
我们可以从左向右阅读,我们会看到“baz bar foo”。不过这不是函数被调用的顺序,调用应该是从内向外的:“foo bar baz”。如果能这么做不是更好吗?
~~~
x.foo().bar().baz();
~~~
幸运的是,正如对上面那个问题的猜测,你可以!Rust通过`impl`关键字提供了使用_方法调用语法_(_method call syntax_)。
## 方法调用
这是它如何工作的:
~~~
struct Circle {
x: f64,
y: f64,
radius: f64,
}
impl Circle {
fn area(&self) -> f64 {
std::f64::consts::PI * (self.radius * self.radius)
}
}
fn main() {
let c = Circle { x: 0.0, y: 0.0, radius: 2.0 };
println!("{}", c.area());
}
~~~
这会打印`12.566371`。
我们创建了一个代表圆的结构体。我们写了一个`impl`块,并且在里面定义了一个方法,`area`。方法的第一参数比较特殊,`&self`。它有3种变体:`self`,`&self`和`&mut self`。你可以认为这第一个参数就是`x.foo()`中的`x`。这3种变体对应`x`可能的3种类型:`self`如果只是栈上的一个值,`&self`如果是一个引用,然后`&mut self`如果是一个可变引用。我们应该默认使用`&self`,因为它最常见。这是一个三种变体的例子:
~~~
struct Circle {
x: f64,
y: f64,
radius: f64,
}
impl Circle {
fn reference(&self) {
println!("taking self by reference!");
}
fn mutable_reference(&mut self) {
println!("taking self by mutable reference!");
}
fn takes_ownership(self) {
println!("taking ownership of self!");
}
}
~~~
最后,你可能还记得,一个圆的面积是`π*r²`。因为我们向`area`传递了`&self`参数,我们可以像任何其它参数那样使用它。因为我们知道它是一个`Circle`,我们可以像处理其它结构体一样访问`radius`。导入`π`再进行一些乘法,我们就有了面积。
## 链式方法调用(Chaining method calls)
现在我们知道如何调用方法了,例如`foo.bar()`。那么我们最开始的那个例子呢,`foo.bar().baz()`?我们称这个为“方法链”,我们可以通过返回`self`来做到这点。
~~~
struct Circle {
x: f64,
y: f64,
radius: f64,
}
impl Circle {
fn area(&self) -> f64 {
std::f64::consts::PI * (self.radius * self.radius)
}
fn grow(&self) -> Circle {
Circle { x: self.x, y: self.y, radius: (self.radius * 10.0) }
}
}
fn main() {
let c = Circle { x: 0.0, y: 0.0, radius: 2.0 };
println!("{}", c.area());
let d = c.grow().area();
println!("{}", d);
}
~~~
注意返回值:
~~~
fn grow(&self) -> Circle {
~~~
我们看到我们返回了一个`Circle`。通过这个函数,我们可以增长一个圆的面积100倍。
## 静态方法
我们也可以定义一个不带`self`参数的方法。这是一个Rust代码中非常常见的模式:
~~~
struct Circle {
x: f64,
y: f64,
radius: f64,
}
impl Circle {
fn new(x: f64, y: f64, radius: f64) -> Circle {
Circle {
x: x,
y: y,
radius: radius,
}
}
}
fn main() {
let c = Circle::new(0.0, 0.0, 2.0);
}
~~~
这个_静态函数_(_static method_)为我们构建了一个新的`Circle`。注意静态函数是通过`Struct::method()`语法调用的,而不是`ref.method()`语法。
## 创建者模式(Builder Pattern)
我们说我们需要我们的用户可以创建圆,不过我们只允许他们设置他们关心的属性。否则,`x`和`y`将是`0.0`,并且`radius`将是`1.0`。Rust并没有方法重载,命名参数或者可变参数。我们利用创建者模式来代替。它看起像这样:
~~~
struct Circle {
x: f64,
y: f64,
radius: f64,
}
impl Circle {
fn area(&self) -> f64 {
std::f64::consts::PI * (self.radius * self.radius)
}
}
struct CircleBuilder {
coordinate: f64,
radius: f64,
}
impl CircleBuilder {
fn new() -> CircleBuilder {
CircleBuilder { coordinate: 0.0, radius: 0.0, }
}
fn coordinate(&mut self, coordinate: f64) -> &mut CircleBuilder {
self.coordinate = coordinate;
self
}
fn radius(&mut self, radius: f64) -> &mut CircleBuilder {
self.radius = radius;
self
}
fn finalize(&self) -> Circle {
Circle { x: self.coordinate, y: self.coordinate, radius: self.radius }
}
}
fn main() {
let c = CircleBuilder::new()
.coordinate(10.0)
.radius(5.0)
.finalize();
println!("area: {}", c.area());
}
~~~
我们在这里又声明了一个结构体,`CircleBuilder`。我们给它定义了一个创建者函数。我们也在`Circle`中定义了`area()`方法。我们还定义了另一个方法`CircleBuilder: finalize()`。这个方法从构造器中创建了我们最后的`Circle`。现在我们使用类型系统来强化我们的考虑:我们可以用`CircleBuilder`来强制生成我们需要的`Circle`。
- 前言
- 1.介绍
- 2.准备
- 2.1.安装Rust
- 2.2.Hello, world!
- 2.3.Hello, Cargo!
- 3.学习Rust
- 3.1.猜猜看
- 3.2.哲学家就餐问题
- 3.3.其它语言中的Rust
- 4.高效Rust
- 4.1.栈和堆
- 4.2.测试
- 4.3.条件编译
- 4.4.文档
- 4.5.迭代器
- 4.6.并发
- 4.7.错误处理
- 4.8.外部语言接口
- 4.9.Borrow 和 AsRef
- 4.10.发布途径
- 5.语法和语义
- 5.1.变量绑定
- 5.2.函数
- 5.3.原生类型
- 5.4.注释
- 5.5.If语句
- 5.6.for循环
- 5.7.while循环
- 5.8.所有权
- 5.9.引用和借用
- 5.10.生命周期
- 5.11.可变性
- 5.12.结构体
- 5.13.枚举
- 5.14.匹配
- 5.15.模式
- 5.16.方法语法
- 5.17.Vectors
- 5.18.字符串
- 5.19.泛型
- 5.20.Traits
- 5.21.Drop
- 5.22.if let
- 5.23.trait对象
- 5.24.闭包
- 5.25.通用函数调用语法
- 5.26.包装箱和模块
- 5.27.`const`和`static`
- 5.28.属性
- 5.29.`type`别名
- 5.30.类型转换
- 5.31.关联类型
- 5.32.不定长类型
- 5.33.运算符和重载
- 5.34.`Deref`强制多态
- 5.35.宏
- 5.36.裸指针
- 6.Rust开发版
- 6.1.编译器插件
- 6.2.内联汇编
- 6.3.不使用标准库
- 6.4.固有功能
- 6.5.语言项
- 6.6.链接参数
- 6.7.基准测试
- 6.8.装箱语法和模式
- 6.9.切片模式
- 6.10.关联常量
- 7.词汇表
- 8.学院派研究
- 勘误