从两个角度理解 TypeScript 中的类型是什么？

做者：Dr. Axel Rauschmayer

翻译：疯狂的技术宅

原文：2ality.com/2020/02/und…

未经容许严禁转载

TypeScript中的类型是什么？本文中描述了两种有助于理解它们的观点。

每一个角度三个问题

如下三个问题对于理解类型如何工做很是重要，而且须要从两个角度分别回答。

1. myVariable 具备 MyType 类型是什么意思？

let myVariable: MyType = /*...*/;
复制代码

2. SourceType 是否能够分配给 TargetType？

let source: SourceType = /*...*/;
   let target: TargetType = source;
复制代码

3. TypeUnion 是如何从 Type1，Type2 和 Type3 派生的？

type TypeUnion = Type1 | Type2 | Type3;
复制代码

观点1：类型是值的集合

从这个角度来看，类型是一组值：

1. 若是 myVariable 的类型为 MyType，则意味着全部能够分配给 myVariable 的值都必须是 MyType 集合的元素。
2. SourceType 可分配给 TargetType ，SourceType 是 TargetType 的子集。结果全部能被 SourceType 接受的值也被 TargetType 接受。
3. 类型 Type1、Type2 和 Type3 的类型联合是定义它们集合的集合理论 union。

观点2：类型兼容性关系

从这个角度来看，咱们不关心值自己以及在执行代码时它们是如何流动的。相反，咱们采起了更加静态的观点：

• 源代码中包含 location，每一个 location 都有一个静态类型。在支持 TypeScript 的编辑器中，若是将光标悬停在 location 上方，则能够看到该 location 的静态类型。
• 当源 location 经过分配、函数调用等链接到目标 location 时，则源 location 的类型必须与目标 location 的类型兼容。 TypeScript 规范经过所谓的类型关系定义类型兼容性。
• 类型关系分配兼容性定义何时把源类型 S 分配给目标类型 T：
  • S 和 T 是相同的类型。
• S 或 T 是 any 类型。
  • 等

让咱们考虑如下问题：

1. 若是将 myVariable 的静态类型分配给 MyType，则 myVariable 的类型为 MyType。
2. 若是 SourceType 是兼容分配的，则能够将它们分配给 TargetType。
3. 经过类型关系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
复制代码

进一步阅读

• TypeScript 手册中的“类型兼容性”一章
• TypeScript 规范中的 “TypeRelationships” 部分

欢迎关注前端公众号：前端先锋，免费领取前端工程化实用工具包。