【Rust指南】面向对象的实现

  前言

   面向对象的编程语言通常实现了数据的封装与继承并能基于数据调用方法。“设计模式四人帮”在《设计模式》中给出面向对象的定义：面向对象的程序由对象组成，对象包装了数据和操作这些数据的过程，这些过程通常被称作方法或操作。Rust 并不是面向对象的语言，但是面向对象的功能都可以通过自身的特点来实现。

---

1、实现封装（pub）

调用对象外部的代码无法直接访问对象内部的实现细节，唯一可以与对象进行交互的方法就是通过它公开的 API，在Rust 中使用 pub关键字来供外部访问。

封装的示例：

pub struct AveragedCollection{
    list:Vec<i32>,
    average:f64
}

impl AveragedCollection{
    pub fn add(&mut self,value:i32){
        self.list.push(value);
        self.update_average();
    }

    pub fn remove(&mut self)->Option<i32>{
        let result=self.list.pop();
        match result {
            Some(value)=>{
                self.update_average();
                Some(value)
            },
            None=>None
        }
    }

    pub fn average(&self)->f64{
        self.average
    }

    fn update_average(&mut self){
        let total:i32=self.list.iter().sum();
        self.average=total as f64 / self.list.len() as f64;
    }
}
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31

代码解释：

• 结构体 AveragedCollection 含有list动态集合与average 两个变体
  • 结构体被pub修饰，可以被外部访问，但是两个变体不可以被访问
  • 两个变体的修改交给下面定义的其他pub修饰的方法
• add与remove 完成list集合的元素添加与删除，默认调用封装的更新方法
• update_average 用来更新平均数，而average方法被pub修饰，外部可以直接访问平均数

由此示例可知 Rust 结构体等类型默认是私有的，相当于C++/Java中的private，而被pub修饰后相当于public，合理利用这些关键字可以做到封装的效果。

2、实现继承（trait）

继承可以使对象沿用另外一个对象的数据和行为，无需定义相关代码，代码复用效率高。Rust 中不存在继承，但是可以通过 trait 方法来实现代码共享，且可以在 trait 中覆盖定义的方法，这就相当于主流语言中的子类继承父类与重写父类方法。

2.1、为共有行为定义一个 Trait

Rust 避免将 struct或 enum 称为对象，因为它们与impl块是分开的。

• trait对象有些类似于其它语言中的对象:
  • 它们某种程度上组合了数据与行为
• trait 对象与传统对象不同的地方:
  • 无法为 trait对象添加数据
• trait对象被专门用于抽象某些共有行为，它没其它语言中的对象那么通用

2.2、Trait 对象执行的是动态派发

• 将trait约束作用于泛型时，Rust编译器会执行单态化:
  • 编译器会为我们用来替换泛型类型参数的每一个具体类型生成对应函数和方法的非泛型实现
• 通过单态化生成的代码会执行静态派发(static dispatch)，在编译过程中确定调用的具体方法
• 动态派发（dynamic dispatch) :
  • 无法在编译过程中确定你调用的究竟是哪一种方法
  • 编译器会产生额外的代码以便在运行时找出希望调用的方法
• 使用trait 对象，会执行动态派发:
  • 产生运行时开销
  • 阻止编译器内联方法代码，使得部分优化操作无法进行

2.3、Trait对象必须保证对象安全

• 只能把满足对象安全(object-safe）的 trait 转化为 trait 对象。
• Rust采用一系列规则来判定某个对象是否安全，只需记住两条:
  • 方法的返回类型不是Self
  • 方法中不包含任何泛型类型参数

3、实现多态（结合泛型）

继承是多态（Polymorphism）思想的实现，多态指的是编程语言可以处理多种类型数据的代码，在 Rust中使用泛型与 trait 约束（限定参数化多态 bounded parametric）模拟多态的使用。

有关Rust 泛型与特性的知识在本专栏前面已经介绍过，帮大家放个链接：Rust 泛型与特性

4、面向对象的设计模式

状态模式（state pattern）是一种面向对象设计模式：

• 一个值拥有的内部状态由数个状态对象(state object）表达而成，而值的行为则随着内
  部状态的改变而改变
• 使用状态模式意味着:
  • 业务需求变化时，不需要修改持有状态的值的代码，或者使用这个值的代码
  • 只需要更新状态对象内部的代码，以便改变其规则。或者增加一些新的状态对象
• 状态模式的缺点：
  • 某些状态之间是相互耦合的
  • 需要重复实现一些逻辑代码

---

Rust不仅能够实现面向对象的设计模式，还可以支持更多的模式，例如：
将状态和行为编码为类型：
Rust 类型检查系统会通过编译时错误来阻止用户使用无效的状态。

面向对象的经典模式并不总是Rust编程实践中的最佳选择，因为Rust具有所有权等其它面向对象语言没有的特性!