作者：Dr. Axel Rauschmayer
翻译：疯狂的技术宅
未经允许严禁转载
TypeScript中的类型是什么？本文中描述了两种有助于理解它们的观点。
每个角度三个问题
以下三个问题对于理解类型如何工作非常重要，并且需要从两个角度分别回答。
myVariable具有MyType类型是什么意思？
let myVariable: MyType = /*...*/;
SourceType是否可以分配给TargetType？
let source: SourceType = /*...*/;
let target: TargetType = source;
TypeUnion是如何从Type1，Type2和Type3派生的？
type TypeUnion = Type1 | Type2 | Type3;
观点1：类型是值的集合
从这个角度来看，类型是一组值：
- 如果
myVariable的类型为MyType，则意味着所有可以分配给myVariable的值都必须是MyType集合的元素。 SourceType可分配给TargetType，SourceType是TargetType的子集。结果所有能被SourceType接受的值也被TargetType接受。- 类型
Type1、Type2和Type3的类型联合是定义它们集合的集合理论 union。
观点2：类型兼容性关系
从这个角度来看，我们不关心值本身以及在执行代码时它们是如何流动的。相反，我们采取了更加静态的观点：
- 源代码中包含 location，每个 location 都有一个静态类型。在支持 TypeScript 的编辑器中，如果将光标悬停在 location 上方，则可以看到该 location 的静态类型。
- 当源 location 通过分配、函数调用等连接到目标 location 时，则源 location 的类型必须与目标 location 的类型兼容。 TypeScript 规范通过所谓的类型关系定义类型兼容性。
- 类型关系分配兼容性定义什么时候把源类型
S分配给目标类型T：S和T是相同的类型。
S或T是any类型。- 等
让我们考虑以下问题：
- 如果将
myVariable的静态类型分配给MyType，则myVariable的类型为MyType。 - 如果
SourceType是兼容分配的，则可以将它们分配给TargetType。 - 通过类型关系apparent 成员定义类型 union 的工作方式。
TypeScript 类型系统的一个有趣特征是，同一变量在不同位置可以具有不同的静态类型：
const arr = [];
// %inferred-type: any[]
arr;
arr.push(123);
// %inferred-type: number[]
arr;
arr.push('abc');
// %inferred-type: (string | number)[]
arr;
名义类型系统与结构类型系统
静态类型系统的职责之一是确定两种静态类型是否兼容：
- 实际参数的静态类型
U（例如，通过函数调用提供） - 对应形式参数的静态类型
T（在函数定义中指定）
这通常意味着检查 U 是否为 T 的子类型。大致有两种检查方法：
- 在名义类型系统中，两个静态类型如果具有相同的标识（“名称”）则相等。如果明确声明了它们的子类型关系，则一种类型是另一种类型的子类型。
- 名义类型的语言为 C ++、Java、C#、Swift 和 Rust。
- 在结构类型系统中，两个静态类型具有相同的结构（如果它们具有相同的名称和相同的类型）则相等。如果
U具有T的所有部分（可能还有其他），并且U的每个部分具有T的相应部分的子类型，则类型U是另一种类型T的子类型。 - 具有结构化类型的语言为 OCaml/ReasonML、Haskell 和 TypeScript。
以下代码在名义类型系统中会产生类型错误（A 行），但在 TypeScript 的结构类型系统中是合法的，因为类 A 和类 B 具有相同的结构：
class A {
name = 'A';
}
class B {
name = 'B';
}
const someVariable: A = new B(); // (A)
TypeScript 的 interface 在结构上也可以正常工作 —— 不必为了匹配而实现它们：
interface Point {
x: number;
y: number;
}
const point: Point = {x: 1, y: 2}; // OK
进一步阅读
欢迎关注前端公众号：前端先锋，免费领取前端工程化实用工具包。
