Rust Trait 系统与零成本抽象：从静态分发到特化的全栈实战

在系统编程语言的竞技场中，C 用模板元编程实现了零成本抽象，Haskell 用 type class 定义了多态的优雅范式。Rust 的 trait 系统是这两条路线的交汇与超越——它既承载了 Haskell-style 的接口契约精神，又实现了 C 式的零运行时开销承诺，更通过孤儿规则、GATs、特化和动态分发机制，在类型系统层面解决了长期以来困扰生态的"菱形继承"与"接口污染"问题。

一、Trait 的本质：从接口到数学结构的提升

1.1 Trait 的代数语义

Trait 在 Rust 中远不止"接口"这么简单。从类型理论的角度看，trait 是一组方法签名的集合，施加于类型上的约束条件。如果我们把类型看作集合中的元素，trait 就是对元素的分类器：

// Draw 是所有实现了 draw 方法的类型的集合
trait Draw {
    fn draw(