3、Rust编程：类型系统与错误处理的最佳实践

Rust编程：类型系统与错误处理的最佳实践

1. 利用类型系统表达通用行为

1.1 特性（Trait）概述

在Rust中，特性是描述行为的重要机制。特性定义了一组相关的函数，这些函数由某个底层项公开提供，并且通常以 self 作为第一个参数的方法形式存在。每个特性中的函数都有一个名称，这有助于编译器区分具有相同签名的函数，也能让程序员推断函数的意图。

Rust的特性大致类似于Go和Java中的“接口”，或者C++中的“抽象类”（所有虚方法，无数据成员）。实现特性的代码必须提供所有的函数（特性定义中可以包含默认实现），并且可以有相关联的数据。这意味着代码和数据以一种面向对象的方式封装在一个通用抽象中。

例如，考虑一个 Sort 特性用于对集合进行排序：

pub trait Sort {
    /// Rearrange contents into sorted order.
    fn sort(&mut self);
}

1.2 标记特性（Marker Trait）

有时，我们希望在类型系统中区分某些行为，但无法在特性定义中用特定的函数签名来表达。这时可以使用标记特性。标记特性没有函数，但实现者仍需声明实现该特性，这就像是实现者的一个承诺。

例如，对于 Sort 特性，我们可以定义一个标记特性 StableSort 来表示排序是稳定的：