4.1.2 代数数据类型 (ADT)

文档摘要

4.1.2 代数数据类型 (ADT) 代数数据类型（Algebraic Data Types，ADT）不是语法糖，不是设计模式的优雅包装，更不是函数式编程的玄学附庸——它是类型系统在可构造性与可穷举性之间达成的一次精密平衡。当你在 Rust 中写下，在 Haskell 中定义，或在 TypeScript 中用联合类型模拟，你调用的不是某种“高级特性”，而是在直接操纵类型系统的底层算术：加法与乘法。这正是本节要剖开的内核：ADT 的实现本质，不是抽象概念的堆砌，而是编译器如何将“和”与“积”这两种代数运算，映射为内存布局、模式匹配逻辑、类型检查规则与运行时行为的完整工程链条。我们不谈“ADT 很强大”，我们要问：当语句执行时，CPU 看到了什么？