Merge pull request #11 from itfanr/master

完善17-01
This commit is contained in:
KaiserY 2017-04-09 19:31:28 -05:00 committed by GitHub
commit 7d5fc646c5
2 changed files with 25 additions and 2 deletions

View File

@ -115,7 +115,7 @@ let home = IpAddr::V4(127, 0, 0, 1);
let loopback = IpAddr::V6(String::from("::1")); let loopback = IpAddr::V6(String::from("::1"));
``` ```
这些代码展示了使用枚举来储存两种不同 IP 地址的几种可能的选择。然而,事实证明储存和编码 IP 地址实在是太常见了[以致标准库提供了一个可供使用的定义!][IpAddr]<!-- ignore -->让我们看看标准库如何定义`IpAddr`的:它正有着跟我们定义和使用的一样的枚举和成员,不过它将成员的地址数据嵌入到了两个不同形式的结构体中,他们对不同的成员的定义是不同的: 这些代码展示了使用枚举来储存两种不同 IP 地址的几种可能的选择。然而,事实证明储存和编码 IP 地址实在是太常见了[以致标准库提供了一个可供使用的定义!][IpAddr]<!-- ignore -->让我们看看标准库如何定义`IpAddr`的:它正有着跟我们定义和使用的一样的枚举和成员,不过它将成员的地址数据嵌入到了两个不同形式的结构体中,他们对不同的成员的定义是不同的:
[IpAddr]: https://doc.rust-lang.org/std/net/enum.IpAddr.html [IpAddr]: https://doc.rust-lang.org/std/net/enum.IpAddr.html

View File

@ -1,4 +1,4 @@
## 什么是面向对象? ## 什么是面向对象?
> [ch17-01-what-is-oo.md](https://github.com/rust-lang/book/blob/master/second-edition/src/ch17-01-what-is-oo.md) > [ch17-01-what-is-oo.md](https://github.com/rust-lang/book/blob/master/second-edition/src/ch17-01-what-is-oo.md)
> <br> > <br>
@ -73,4 +73,27 @@ impl AveragedCollection {
Listing 17-2:在`AveragedCollection`结构体上实现了add、remove和average public方法 Listing 17-2:在`AveragedCollection`结构体上实现了add、remove和average public方法
public方法`add`、`remove`和`average`是修改`AveragedCollection`实例的唯一方式。当使用add方法把一个元素加入到`list`或者使用`remove`方法来删除它,这些方法的实现同时会调用私有的`update_average`方法来更新`average`成员变量。因为`list`和`average`是私有的,没有其他方式来使得外部的代码直接向`list`增加或者删除元素,直接操作`list`可能会引发`average`字段不同步。`average`方法返回`average`字段的值,这指的外部的代码只能读取`average`而不能修改它。
因为我们已经封装好了`AveragedCollection`的实现细节,所以我们也可以像使用`list`一样使用的一个不同的数据结构,比如用`HashSet`代替`Vec`。只要签名`add`、`remove`和`average`公有函数保持相同,使用`AveragedCollection`的代码无需改变。如果我们暴露`List`给外部代码时,未必都是这样,因为`HashSet`和`Vec`使用不同的函数增加元素,所以如果要想直接修改`list`的话,外部的代码可能还得修改。
如果封装是一个语言被认为是面向对象语言必要的方面的话那么Rust满足要求。在代码中不同的部分使用或者不使用`pub`决定了实现细节的封装。
## 作为类型系统的继承和作为代码共享的继承
继承是一个很多编程语言都提供的机制,一个对象可以从另外一个对象的定义继承,这使得可以获得父对象的数据和行为,而不用重新定义。很多人定义面向对象语言时,认为继承是一个特色。
如果一个语言必须有继承才能被称为面向对象的语言那么Rust就不是面向对象的。没有办法定义一个结构体继承自另外一个结构体从而获得父结构体的成员和方法。然而如果你过去常常在你的编程工具箱使用继承依赖于你要使用继承的原因在Rust中有其他的方式。
使用继承有两个主要的原因。第一个是为了重用代码一旦一个特殊的行为从一个类型继承继承可以在另外一个类型实现代码重用。Rust代码可以被共享通过使用默认的trait方法实现可以在Listing 10-14看到我们增加一个`summary`方法到`Summarizable`trait。任何继承了`Summarizable`trait的类型上会有`summary`方法,而无需任何的父代码。这类似于父类有一个继承的方法,一个从父类继承的子类也因为继承有了继承的方法。当实现`Summarizable`trait时我们也可以选择覆写默认的`summary`方法,这类似于子类覆写了从父类继承的实现方法。
第二个使用继承的原因是使用类型系统子类型可以在父类型被使用的地方使用。这也称为多态意味着如果多种对象有一个相同的shape它们可以被其他替代。
>虽然很多人使用多态来描述继承但是它实际上是一种特殊的多态称为子类型多态。也有很多种其他形式在Rust中带有通用的ttait绑定的一个参数
>也是多态——更特殊的类型多态。在多种类型的多态间的细节不是关键的所以不要过于担心细节只需要知道Rust有多种多态相关的特色就好不像很多其他OOP语言。
为了支持这种样式Rust有trait对象这样我们可以指定给任何类型的值只要值实现了一种特定的trait。
继承最近在很多编程语言的设计方案中失宠了。使用继承类实现代码重用需要共享比你需要共享的代码。子类不应该经常共享它们的父类的所有特色,但是继承意味着子类得到了它的父类的数据和行为。这使得一个程序的设计不灵活,创建了无意义的子类的方法被调用的可能性或者由于方法不适用于子类但是必须从父类继承,从而触发错误。另外,很多语言只允许从一个类继承,更加限制了程序设计的灵活性。
因为这些原因Rust选择了一个另外的途径使用trait替代继承。让我们看一下在Rust中trait对象是如何实现多态的。