Rust程序设计语言第二版ch17-02-白红宇

Rust程序设计语言第二版ch17-02

阅读量：5771 次

发布时间：2019-06-18

本文共 6949 字，大约阅读时间需要 23 分钟。

为使用不同类型的值而设计的Trait对象

commit 872dc793f7017f815fb1e5389200fd208e12792d

在第8章，我们谈到了vector的局限是vectors只能存储同种类型的元素。我们在Listing 8-1有一个例子，其中定义了一个SpreadsheetCell 枚举类型，可以存储整形、浮点型和text，这样我们就可以在每个cell存储不同的数据类型了，同时还有一个代表一行cell的vector。当我们的代码编译的时候，如果交换地处理的各种东西是固定的类型是已知的，那么这是可行的。

有时，我们想我们使用的类型集合是可扩展的，可以被使用我们的库的程序员扩展。比如很多图形化接口工具有一个条目列表，从这个列表迭代和调用draw方法在每个条目上。我们将要创建一个库crate，包含称为rust_gui的CUI库的结构体。我们的GUI库可以包含一些给开发者使用的类型，比如Button或者TextField。使用rust_gui的程序员会创建更多可以在屏幕绘图的类型：一个程序员可能会增加Image，另外一个可能会增加SelectBox。我们不会在本章节实现一个完善的GUI库，但是我们会展示如何把各部分组合在一起。

当要写一个rust_gui库时，我们不知道其他程序员要创建什么类型，所以我们无法定义一个enum来包含所有的类型。我们知道的是rust_gui需要有能力跟踪所有这些不同类型的大量的值，需要有能力在每个值上调用draw方法。我们的GUI库不需要确切地知道当调用draw方法时会发生什么，只要值有可用的方法供我们调用就可以。

在有继承的语言里，我们可能会定义一个名为Component的类，该类上有一个draw方法。其他的类比如Button、Image和SelectBox会从Component继承并继承draw方法。它们会各自覆写draw方法来自定义行为，但是框架会把所有的类型当作是Component的实例，并在它们上调用draw。

定义一个带有自定义行为的Trait

不过，在Rust语言中，我们可以定义一个名为Draw的trait，其上有一个名为draw的方法。我们定义一个带有trait对象的vector，绑定了一种指针的trait，比如&引用或者一个Box<T>智能指针。

我们提到，我们不会调用结构体和枚举的对象，从而区分于其他语言的对象。在结构体的数据或者枚举的字段和impl块中的行为是分开的，而其他语言则是数据和行为被组合到一个概念里。Trait对象更像其他语言的对象，在这种场景下，他们组合了由指针组成的数据到实体对象，该对象带有在trait中定义的方法行为。但是，trait对象是和其他语言是不同的，因为我们不能向一个trait对象增加数据。trait对象不像其他语言那样有用：它们的目的是允许从公有的行为上抽象。

trait定义了在给定场景下我们所需要的行为。在我们会使用一个实体类型或者一个通用类型的地方，我们可以把trait当作trait对象使用。Rust的类型系统会保证我们为trait对象带入的任何值会实现trait的方法。我们不需要在编译阶段知道所有可能的类型，我们可以把所有的实例统一对待。Listing 17-03展示了如何定义一个名为Draw的带有draw方法的trait。

Filename: src/lib.rs

pub trait Draw {    fn draw(&self);}

Listing 17-3:Draw trait的定义

因为我们已经在第10章讨论过如何定义trait，你可能比较熟悉。下面是新的定义：Listing 17-4有一个名为Screen的结构体，里面有一个名为components的vector，components的类型是Box<Draw>。Box<Draw>是一个trait对象：它是一个任何Box内部的实现了Drawtrait的类型的替身。

Filename: src/lib.rs

# pub trait Draw {#     fn draw(&self);# }#pub struct Screen {    pub components: Vec
    
     
      >,}

Listing 17-4: 定义一个Screen结构体，带有一个含有实现了Drawtrait的components vector成员

在Screen结构体上，我们将要定义一个run方法，该方法会在它的components上调用draw方法，如Listing 17-5所示：

Filename: src/lib.rs

# pub trait Draw {#     fn draw(&self);# }## pub struct Screen {#     pub components: Vec
    
     
      >,# }#impl Screen {    pub fn run(&self) {        for component in self.components.iter() {            component.draw();        }    }}

Listing 17-5:在Screen上实现一个run方法，该方法在每个组件上调用draw方法

这是区别于定义一个使用带有trait绑定的通用类型参数的结构体。通用类型参数一次只能被一个实体类型替代，而trait对象可以在运行时允许多种实体类型填充trait对象。比如，我们已经定义了Screen结构体使用通用类型和一个trait绑定，如Listing 17-6所示：

Filename: src/lib.rs

# pub trait Draw {#     fn draw(&self);# }#pub struct Screen
    
      {    pub components: Vec
     
      ,}impl
      
        Screen
       
            where T: Draw {    pub fn run(&self) {        for component in self.components.iter() {            component.draw();        }    }}

Listing 17-6: 一种Screen结构体的替代实现，它的run方法使用通用类型和trait绑定

这个例子只能使我们有一个Screen实例，这个实例有一个组件列表，所有的组件类型是Button或者TextField。如果你有同种的集合，那么可以优先使用通用和trait绑定，这是因为为了使用具体的类型，定义是在编译阶段是单一的。

而如果使用内部有Vec<Box<Draw>> trait对象的列表的Screen结构体，Screen实例可以同时包含Box<Button>和Box<TextField>的Vec。我们看它是怎么工作的，然后讨论运行时性能的实现。

来自我们或者库使用者的实现

现在，我们增加一些实现了Drawtrait的类型。我们会再次提供Button，实际上实现一个GUI库超出了本书的范围，所以draw方法的内部不会有任何有用的实现。为了想象一下实现可能的样子，Button结构体可能有 width、height和label`字段，如Listing 17-7所示：

Filename: src/lib.rs

# pub trait Draw {#     fn draw(&self);# }#pub struct Button {    pub width: u32,    pub height: u32,    pub label: String,}impl Draw for Button {    fn draw(&self) {        // Code to actually draw a button    }}

Listing 17-7: 实现了Draw trait的Button 结构体

在Button上的 width、height和label会和其他组件不同，比如TextField可能有width、height, label和 placeholder字段。每个我们可以在屏幕上绘制的类型会实现Drawtrait，在draw方法中使用不同的代码，定义了如何绘制Button（GUI代码的具体实现超出了本章节的范围）。除了Draw trait，Button可能也有另一个impl块，包含了当按钮被点击的时候的响应方法。这类方法不适用于TextField这样的类型。

有时，使用我们的库决定了实现一个包含width、height和options``SelectBox结构体。它们在SelectBox类型上实现了Drawtrait，如 Listing 17-8所示：

Filename: src/main.rs

extern crate rust_gui;use rust_gui::Draw;struct SelectBox {    width: u32,    height: u32,    options: Vec
    
     ,}impl Draw for SelectBox {    fn draw(&self) {        // Code to actually draw a select box    }}

Listing 17-8: 另外一个crate中，在SelectBox结构体上使用rust_gui和实现了Draw trait

我们的库的使用者现在可以写他们的main函数来创建一个Screen实例，然后通过把自身放入Box<T>变成trait对象，向screen增加SelectBox 和Button。它们可以在每个Screen实例上调用run方法，这会调用每个组件的draw方法。 Listing 17-9展示了实现：

Filename: src/main.rs

use rust_gui::{Screen, Button};fn main() {    let screen = Screen {        components: vec![            Box::new(SelectBox {                width: 75,                height: 10,                options: vec![                    String::from("Yes"),                    String::from("Maybe"),                    String::from("No")                ],            }),            Box::new(Button {                width: 50,                height: 10,                label: String::from("OK"),            }),        ],    };    screen.run();}

Listing 17-9: 使用trait对象来存储实现了相同trait的不同类型

虽然我们不知道有些人可能有一天会增加SelectBox类型，但是我们的Screen 有能力操作SelectBox和绘制，因为SelectBox实现了Draw类型，这意味着它实现了draw方法。

只关心值响应的消息，而不关心值的具体类型，这类似于动态类型语言中的duck typing：如果它像鸭子一样走路，像鸭子一样叫，那么它肯定是只鸭子！在Listing 17-5的Screen的run方法的实现中，run不需要知道每个组件的具体类型。它也不检查是否一个组件是Button或者SelectBox的实例，只是调用组件的draw方法即可。通过指定Box<Draw>作为componentsvector中的值类型，我们定义了：Screen需要可以被调用其draw方法的值。

使用trait对象和支持duck typing的Rust类型系统的好处是，我们永远不需要在运行时检查一个值是否实现了一个特殊方法，或者担心因为调用了一个值没有实现方法而遇到错误。如果值没有实现trait对象需要的trait，Rust不会编译我们的代码。

比如，Listing 17-10展示了当我们创建一个把String当做其成员的Screen时发生的情况：

Filename: src/main.rs

extern crate rust_gui;use rust_gui::Draw;fn main() {    let screen = Screen {        components: vec![            Box::new(String::from("Hi")),        ],    };    screen.run();}

Listing 17-10: 尝试使用一种没有实现trait对象的trait的类型

我们会遇到这个错误，因为String没有实现 Drawtrait：

error[E0277]: the trait bound `std::string::String: Draw` is not satisfied  -->   | 4 |             Box::new(String::from("Hi")),   |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Draw` is not   implemented for `std::string::String`   |   = note: required for the cast to the object type `Draw`

这个报错让我们知道，或者我们传入了本来不想传给Screen的东西，我们应该传入一个不同的类型，或者是我们应该在String上实现Draw，这样，Screen才能调用它的draw方法。

Trait对象执行动态分发

回忆一下第10章，我们讨论过当我们使用通用类型的trait绑定时，编译器执行单类型的处理过程：在我们需要使用通用类型参数的地方，编译器为每个实体类型产生了非通用的函数实现和方法。由于非单类型而产生的代码是 static dispatch：当方法被调用，代码会执行在编译阶段就决定的方法，这样寻找那段代码是非常快速的。

当我们使用trait对象，编译器不能执行单类型的，因为我们不知道可能被代码调用的类型。而，当方法被调用的时候，Rust跟踪可能被使用的代码，然后在运行时找出为了方法被调用时该使用哪些代码。这也是我们熟知的dynamic dispatch，当运行时的查找发生时是比较耗费资源的。动态分发也防止编译器选择内联函数的代码，这样防止了一些优化。虽然我们写代码时得到了额外的代码灵活性，不过，这是一个权衡考虑。