## 2.3 结构化类型系统与类型兼容性

文档摘要

## 2.3 结构化类型系统与类型兼容性 2.3 结构化类型系统与类型兼容性从"身份证书"到"能力清单"：类型系统的范式革命当我们谈论类型系统时，脑海中浮现的往往是Java或C#那样严苛的 nominal typing（名义类型）体系——每个类型都如同持有独特身份证的公民，类型之间的兼容性完全取决于它们是否在声明时明确标注了继承关系。这种基于类型"身份"的判定方式，在静态类型语言的历史长河中统治了数十年。然而，TypeScript的出现带来了一场静默的革命，它拥抱的 structural typing（结构化类型）体系，将类型兼容性的判定从"你是谁"转向了"你能做什么"。这种转变绝非简单的语法糖，而是对类型本质认知的深层重构。