TypeScript：老手也容易迷惑的地方

引子

TypeScript 在 JavaScript 的基础上做了一层类型检查。这一层面既能帮助我们避免绝大多数的运行时类型错误，又能让我们尽量复用已经 написанный 代码。但这也引入了一个问题，即 JavaScript 是一个动态语言，而 TypeScript 则需要在我们标注完类型之后才能通过类型检查。这就带来一个矛盾，因为在很多时候，这些类型必须是灵活且可变的。

从 TypeScript 1.0 开始，TypeScript 就提供了诸如联合类型、类型别名、类型断言、类型推断等等一系列灵活运用类型的能力。随着版本的发展，类型变得更加多样、更具灵活性。这使 TypeScript 能够适应各种复杂的需求，也让我们在阅读类型时更容易理解和维护。

然而，这些特性的灵活性也会带来迷惑。因为它们之间存在很多重叠和相似之处。如果不了解它们各自的作用和适用场景，就很容易混淆和误用。

内容

为了帮助读者理解这些特性，本文将从几个容易造成迷惑的 TypeScript 高级类型入手，分析它们的存在意义，同时提供一些避免混淆的建议。

1. 联合类型与类型别名

联合类型和类型别名都是为了创建一个新的类型，但它们的作用和实现方式却不同。

联合类型是一种复合类型，它允许一个变量可以取多个类型的值。比如：

let a: string | number = 'hello';
a = 10;

在这个例子中，a 可以是字符串或数字。

类型别名是一种引用类型，它允许我们创建一个新的类型名称，该类型名称指向另一个类型。比如：

type StringOrNumber = string | number;
let a: StringOrNumber = 'hello';
a = 10;

在这个例子中，StringOrNumber 是一个类型别名，它指向联合类型 string | number。

联合类型和类型别名都有其优点和缺点。联合类型的优点是使用简单，我们可以直接使用 | 操作符来创建一个新的联合类型。联合类型的缺点是它可能会导致运行时错误，因为我们无法保证变量只取其中一种类型的值。

类型别名的优点是它可以帮助我们创建一个新的类型名称，该类型名称指向另一个类型。这样，我们就可以在代码中更清楚地表达变量的类型。类型别名的缺点是它可能会使代码更难读懂，因为我们需要记住类型别名的定义。

2. 类型断言与类型推断

类型断言和类型推断都是为了告诉 TypeScript 变量的类型。

类型断言是一种显式类型标注，它告诉 TypeScript 变量的类型是什么。比如：

let a = 'hello' as string;

在这个例子中，as string 是一个类型断言，它告诉 TypeScript 变量 a 的类型是字符串。

类型推断是一种隐式类型标注，它允许 TypeScript 根据变量的值来推断变量的类型。比如：

let a = 'hello';

在这个例子中，TypeScript 会根据变量 a 的值推断出 a 的类型是字符串。

类型断言和类型推断都有其优点和缺点。类型断言的优点是它可以强制 TypeScript 将变量的类型视为我们指定