TypeScript 类型基础

原始类型

Copy
const name: string = 'linbudu';
const age: number = 24;
const male: boolean = false;
const undef: undefined = undefined;
const nul: null = null;
const obj: object = { name, age, male };
const bigintVar1: bigint = 9007199254740991n;
const bigintVar2: bigint = BigInt(9007199254740991);
const symbolVar: symbol = Symbol('unique');

null 与 undefined

在 JavaScript 中，null 与 undefined 分别表示 “这里有值，但是个空值” 和 “这里没有值”。而在 TypeScript 中，null 与 undefined 类型都是有具体意义的类型。也就是说，它们作为类型时，表示的是一个有意义的具体类型值。这两者在没有开启 strictNullChecks 检查的情况下，会被视作其他类型的子类型，比如 string 类型会被认为包含了 null 与 undefined 类型：

Copy
const tmp1: null = null;
const tmp2: undefined = undefined;

const tmp3: string = null; // 仅在关闭 strictNullChecks 时成立，下同
const tmp4: string = undefined;

void

TypeScript 的原始类型标注中也有 void，但与 JavaScript 中不同的是，这里的 void 用于描述一个内部没有 return 语句，或者没有显式 return 一个值的函数的返回值，如：

Copy
function func1() {}
function func2() {
return;
}
function func3() {
return undefined;
}

在这里，func1 与 func2 的返回值类型都会被隐式推导为 void，只有显式返回了 undefined 值的 func3 其返回值类型才被推导为了 undefined。但在实际的代码执行中，func1 与 func2 的返回值均是 undefined。

虽然 func3 的返回值类型会被推导为 undefined，但是你仍然可以使用 void 类型进行标注，因为在类型层面 func1、func2、func3 都表示 “没有返回一个有意义的值”。

这里可能有点绕，你可以认为 void 表示一个空类型，而 null 与 undefined 都是一个具有意义的实际类型（注意与它们在 JavaScript 中的意义区分）。而 undefined 能够被赋值给 void 类型的变量，就像在 JavaScript 中一个没有返回值的函数会默认返回一个 undefined 。null 类型也可以，但需要在关闭 strictNullChecks 配置的情况下才能成立。

Copy
const voidVar1: void = undefined;
const voidVar2: void = null; // 需要关闭 strictNullChecks

数组类型

数组同样是我们最常用的类型之一，在 TypeScript 中有两种方式来声明一个数组类型：

Copy
const arr1: string[] = [];
const arr2: Array<string> = [];

这两种方式是完全等价的，但其实更多是以前者为主，如果你将鼠标悬浮在 arr2 上，会发现它显示的类型签名是 string[]。数组是我们在日常开发大量使用的数据结构，但在某些情况下，使用 元组（Tuple） 来代替数组要更加妥当，比如一个数组中只存放固定长度的变量，并希望在越界访问时给出类型报错。

Copy
const arr4: [string, string, string] = ['lin', 'bu', 'du'];

console.log(arr4[599]);

此时将会产生一个类型错误：长度为 “3” 的元组类型 “[string, string, string]” 在索引 “599“处没有元素。除了同类型的元素以外，元组内部也可以声明多个与其位置强绑定的，不同类型的元素：

Copy
const arr5: [string, number, boolean] = ['linbudu', 599, true];

在这种情况下，对数组合法边界内的索引访问（即 0、1、2）将精确地获得对应位置上的类型。同时元组也支持了在某一个位置上的可选成员：

Copy
const arr6: [string, number?, boolean?] = ['linbudu'];
// 下面这么写也可以
// const arr6: [string, number?, boolean?] = ['linbudu', , ,];

对于标记为可选的成员，在 --strictNullCheckes 配置下会被视为一个 string | undefined 的类型。此时元组的长度属性也会发生变化，比如上面的元组 arr6 ，其长度的类型为 1 | 2 | 3：

Copy
type TupleLength = typeof arr6.length; // 1 | 2 | 3

你可能会觉得，元组的可读性实际上并不好。比如对于 [string, number, boolean] 来说，你并不能直接知道这三个元素都代表什么，还不如使用对象的形式。而在 TypeScript 4.0 中，有了具名元组（Labeled Tuple Elements）的支持，使得我们可以为元组中的元素打上类似属性的标记：

Copy
const arr7: [name: string, age: number, male?: boolean] = ['linbudu', 599, true];

对于元组，隐式的越界访问也能够被揪出来给一个警告：

Copy
const arr5: [string, number, boolean] = ['linbudu', 599, true];

// 长度为 "3" 的元组类型 "[string, number, boolean]" 在索引 "3" 处没有元素。
const [name, age, male, other] = arr5;

对象类型

每一个属性的值必须一一对应到接口的属性类型

不能有多的属性，也不能有少的属性，包括直接在对象内部声明，或是 obj1.other = 'xxx' 这样属性访问赋值的形式

可选（Optional）& 只读（Readonly）

Copy
interface IDescription {
name: string;
age: number;
male?: boolean;
func?: Function;
}

const obj2: IDescription = {
name: 'linbudu',
age: 599,
male: true,
// 无需实现 func 也是合法的
};

Copy
interface IDescription {
readonly name: string;
age: number;
}

const obj3: IDescription = {
name: 'linbudu',
age: 599,
};

// 无法分配到 "name" ，因为它是只读属性
obj3.name = "林不渡";

其实在数组与元组层面也有着只读的修饰，但与对象类型有着两处不同。

你只能将整个数组 / 元组标记为只读，而不能像对象那样标记某个属性为只读。

一旦被标记为只读，那这个只读数组 / 元组的类型上，将不再具有 push、pop 等方法（即会修改原数组的方法），因此报错信息也将是类型 xxx 上不存在属性 “push” 这种。这一实现的本质是只读数组与只读元组的类型实际上变成了 ReadonlyArray，而不再是 Array。

type 与 interface

interface 用来描述对象、类的结构，而类型别名 type 用来将一个函数签名、一组联合类型、一个工具类型等等抽离成一个完整独立的类型

object、Object 以及 { }

Object 包含了所有的类型：

Copy
// 对于 undefined、null、void 0 ，需要关闭 strictNullChecks
const tmp1: Object = undefined;
const tmp2: Object = null;
const tmp3: Object = void 0;

const tmp4: Object = 'linbudu';
const tmp5: Object = 599;
const tmp6: Object = { name: 'linbudu' };
const tmp7: Object = () => {};
const tmp8: Object = [];

和 Object 类似的还有 Boolean、Number、String、Symbol，这几个装箱类型（Boxed Types） 同样包含了一些超出预期的类型。以 String 为例，它同样包括 undefined、null、void，以及代表的 拆箱类型（Unboxed Types） string，但并不包括其他装箱类型对应的拆箱类型，如 boolean 与 基本对象类型，我们看以下的代码：

Copy
const tmp9: String = undefined;
const tmp10: String = null;
const tmp11: String = void 0;
const tmp12: String = 'linbudu';

// 以下不成立，因为不是字符串类型的拆箱类型
const tmp13: String = 599; // X
const tmp14: String = { name: 'linbudu' }; // X
const tmp15: String = () => {}; // X
const tmp16: String = []; // X

在任何情况下，你都不应该使用这些装箱类型。

object 的引入就是为了解决对 Object 类型的错误使用，它代表所有非原始类型的类型，即数组、对象与函数类型这些：

Copy
const tmp17: object = undefined;
const tmp18: object = null;
const tmp19: object = void 0;

const tmp20: object = 'linbudu'; // X 不成立，值为原始类型
const tmp21: object = 599; // X 不成立，值为原始类型

const tmp22: object = { name: 'linbudu' };
const tmp23: object = () => {};
const tmp24: object = [];

最后是{}，一个奇奇怪怪的空对象，如果你了解过字面量类型，可以认为{}就是一个对象字面量类型（对应到字符串字面量类型这样）。否则，你可以认为使用{}作为类型签名就是一个合法的，但内部无属性定义的空对象，这类似于 Object（想想 new Object()），它意味着任何非 null /undefined 的值：

Copy
const tmp25: {} = undefined; // 仅在关闭 strictNullChecks 时成立，下同
const tmp26: {} = null;
const tmp27: {} = void 0; // void 0 等价于 undefined

const tmp28: {} = 'linbudu';
const tmp29: {} = 599;
const tmp30: {} = { name: 'linbudu' };
const tmp31: {} = () => {};
const tmp32: {} = [];

虽然能够将其作为变量的类型，但你实际上无法对这个变量进行任何赋值操作：

Copy
const tmp30: {} = { name: 'linbudu' };
tmp30.age = 18; // X 类型“{}”上不存在属性“age”。

我们同样要避免使用 {}。{} 意味着任何非 null /undefined 的值，从这个层面上看，使用它和使用 any 一样恶劣。

当你不确定某个变量的具体类型，但能确定它不是原始类型，可以使用 object。但我更推荐进一步区分，也就是使用 Record<string, unknown> 或 Record<string, any> 表示对象，unknown[] 或 any[] 表示数组，(...args: any[]) => any表示函数这样。

字面量类型（Literal Types）

它代表着比原始类型更精确的类型，同时也是原始类型的子类型

字面量类型主要包括字符串字面量类型、数字字面量类型、布尔字面量类型和对象字面量类型，它们可以直接作为类型标注：

Copy
const str: "linbudu" = "linbudu";
const num: 599 = 599;
const bool: true = true;

// 报错！不能将类型“"linbudu599"”分配给类型“"linbudu"”。
const str1: "linbudu" = "linbudu599";

const str2: string = "linbudu";
const str3: string = "linbudu599";

联合类型

而联合类型你可以理解为，它代表了一组类型的可用集合，只要最终赋值的类型属于联合类型的成员之一，就可以认为符合这个联合类型。

Copy
interface Tmp {
bool: true | false;
num: 1 | 2 | 3;
str: "lin" | "bu" | "du"
mixed: true | string | 599 | {} | (() => {}) | (1 | 2)
}

对于联合类型中的函数类型，需要使用括号()包裹起来

函数类型并不存在字面量类型，因此这里的 (() => {}) 就是一个合法的函数类型

你可以在联合类型中进一步嵌套联合类型，但这些嵌套的联合类型最终都会被展平到第一级中

联合类型的常用场景之一是通过多个对象类型的联合，来实现手动的互斥属性，即这一属性如果有字段 1，那就没有字段 2：

Copy
interface Tmp {
user:
| {
vip: true;
expires: string;
}
| {
vip: false;
promotion: string;
};
}

declare var tmp: Tmp;

if (tmp.user.vip) {
console.log(tmp.user.expires);
}

在这个例子中，user 属性会满足普通用户与 VIP 用户两种类型，这里 vip 属性的类型基于布尔字面量类型声明。我们在实际使用时可以通过判断此属性为 true ，确保接下来的类型推导都会将其类型收窄到 VIP 用户的类型（即联合类型的第一个分支）

我们也可以通过类型别名来复用一组字面量联合类型：

Copy
type Code = 10000 | 10001 | 50000;
type Status = "success" | "failure";

枚举类型

Copy
enum PageUrl {
Home_Page_Url = "url1",
Setting_Page_Url = "url2",
Share_Page_Url = "url3",
}

const home = PageUrl.Home_Page_Url;

这么做的好处非常明显。首先，你拥有了更好的类型提示。其次，这些常量被真正地约束在一个命名空间下（上面的对象声明总是差点意思）。如果你没有声明枚举的值，它会默认使用数字枚举，并且从 0 开始，以 1 递增

如果你只为某一个成员指定了枚举值，那么之前未赋值成员仍然会使用从 0 递增的方式，之后的成员则会开始从枚举值递增。

Copy
enum Items {
// 0
Foo,
Bar = 599,
// 600
Baz
}

在数字型枚举中，你可以使用延迟求值的枚举值，比如函数：

Copy
const returnNum = () => 100 + 499;

enum Items {
Foo = returnNum(),
Bar = 599,
Baz
}

但要注意，延迟求值的枚举值是有条件的。如果你使用了延迟求值，那么没有使用延迟求值的枚举成员必须放在使用常量枚举值声明的成员之后（如上例），或者放在第一位：

Copy
enum Items {
Baz,
Foo = returnNum(),
Bar = 599,
}

TypeScript 中也可以同时使用字符串枚举值和数字枚举值：

Copy
enum Mixed {
Num = 599,
Str = "linbudu"
}

枚举和对象的重要差异在于，对象是单向映射的，我们只能从键映射到键值。而枚举是双向映射的，即你可以从枚举成员映射到枚举值，也可以从枚举值映射到枚举成员：

Copy
enum Items {
Foo,
Bar,
Baz
}

const fooValue = Items.Foo; // 0
const fooKey = Items[0]; // "Foo"

但需要注意的是，仅有值为数字的枚举成员才能够进行这样的双向枚举，字符串枚举成员仍然只会进行单次映射：

常量枚举

Copy
const enum Items {
Foo,
Bar,
Baz
}

const fooValue = Items.Foo; // 0

它和普通枚举的差异主要在访问性与编译产物。对于常量枚举，你只能通过枚举成员访问枚举值（而不能通过值访问成员）

函数

函数的类型签名

函数的类型就是描述了函数入参类型与函数返回值类型

Copy
function foo(name: string): number {
return name.length;
}

const foo = function (name: string): number {
return name.length
}

const foo: (name: string) => number = function (name) {
return name.length
}

const foo = (name: string): number => {
return name.length
}

const foo: (name: string) => number = (name) => {
return name.length
}

要么直接在函数中进行参数和返回值的类型声明，要么使用类型别名将函数声明抽离出来

Copy
type FuncFoo = (name: string) => number

const foo: FuncFoo = (name) => {
return name.length
}

如果只是为了描述这个函数的类型结构，我们甚至可以使用 interface 来进行函数声明：

Copy
interface FuncFooStruct {
(name: string): number
}

这时的 interface 被称为 Callable Interface，看起来可能很奇怪，但我们可以这么认为，interface 就是用来描述一个类型结构的，而函数类型本质上也是一个结构固定的类型罢了。

可选参数与 rest 参数

Copy
// 在函数逻辑中注入可选参数默认值
function foo1(name: string, age?: number): number {
const inputAge = age || 18; // 或使用 age ?? 18
return name.length + inputAge
}

// 直接为可选参数声明默认值
function foo2(name: string, age: number = 18): number {
const inputAge = age;
return name.length + inputAge
}

需要注意的是，可选参数必须位于必选参数之后。毕竟在 JavaScript 中函数的入参是按照位置（形参），而不是按照参数名（名参）进行传递。

对于 rest 参数的类型标注也比较简单，由于其实际上是一个数组，这里我们也应当使用数组类型或元组类型进行标注：

Copy
function foo(arg1: string, ...rest: any[]) { }
function foo(arg1: string, ...rest: [number, boolean]) { }

重载

要想实现与入参关联的返回值类型，我们可以使用 TypeScript 提供的函数重载签名（Overload Signature）

Copy
function func(foo: number, bar: true): string;
function func(foo: number, bar?: false): number;
function func(foo: number, bar?: boolean): string | number {
if (bar) {
return String(foo);
} else {
return foo * 599;
}
}

const res1 = func(599); // number
const res2 = func(599, true); // string
const res3 = func(599, false); // number

这里有一个需要注意的地方，拥有多个重载声明的函数在被调用时，是按照重载的声明顺序往下查找的。因此在第一个重载声明中，为了与逻辑中保持一致，即在 bar 为 true 时返回 string 类型，这里我们需要将第一个重载声明的 bar 声明为必选的字面量类型。

实际上，TypeScript 中的重载更像是伪重载，它只有一个具体实现，其重载体现在方法调用的签名上而非具体实现上。而在如 C++ 等语言中，重载体现在多个名称一致但入参不同的函数实现上，这才是更广义上的函数重载。

异步函数

对于异步函数（即标记为 async 的函数），其返回值必定为一个 Promise 类型，而 Promise 内部包含的类型则通过泛型的形式书写，即 Promise<T>

Copy
async function asyncFunc(): Promise<void> {}

Class

类与类成员的类型签名

一个函数的主要结构即是参数、逻辑和返回值，对于逻辑的类型标注其实就是对普通代码的标注，所以我们只介绍了对参数以及返回值的类型标注。而到了 Class 中其实也一样，它的主要结构只有构造函数、属性、方法和访问符（Accessor）

Copy
class Foo {
prop: string;

constructor(inputProp: string) {
this.prop = inputProp;
}

print(addon: string): void {
console.log(`${this.prop} and ${addon}`)
}

get propA(): string {
return `${this.prop}+A`;
}

set propA(value: string) {
this.prop = `${value}+A`
}
}

唯一需要注意的是，setter 方法不允许进行返回值的类型标注，你可以理解为 setter 的返回值并不会被消费，它是一个只关注过程的函数。类的方法同样可以进行函数那样的重载，且语法基本一致，这里我们不再赘述。

修饰符

在 TypeScript 中我们能够为 Class 成员添加这些修饰符：public / private / protected / readonly。除 readonly 以外，其他三位都属于访问性修饰符，而 readonly 属于操作性修饰符（就和 interface 中的 readonly 意义一致）。当你不显式使用访问性修饰符，成员的访问性默认会被标记为 public。

public：此类成员在类、类的实例、子类中都能被访问。

private：此类成员仅能在类的内部被访问。

protected：此类成员仅能在类与子类中被访问，你可以将类和类的实例当成两种概念，即一旦实例化完毕（出厂零件），那就和类（工厂）没关系了，即不允许再访问受保护的成员。

Copy
class Foo {
private prop: string;

constructor(inputProp: string) {
this.prop = inputProp;
}

protected print(addon: string): void {
console.log(`${this.prop} and ${addon}`)
}

public get propA(): string {
return `${this.prop}+A`;
}

public set propA(value: string) {
this.propA = `${value}+A`
}
}

我们通常不会为构造函数添加修饰符，而是让它保持默认的 public

简单起见，我们可以在构造函数中对参数应用访问性修饰符：

Copy
class Foo {
constructor(public arg1: string, private arg2: boolean) { }
}

new Foo("linbudu", true)

静态成员

你可以使用 static 关键字来标识一个成员为静态成员：

Copy
class Foo {
static staticHandler() { }

public instanceHandler() { }
}

不同于实例成员，在类的内部静态成员无法通过 this 来访问，需要通过 Foo.staticHandler 这种形式进行访问。
静态成员不会被实例继承，它始终只属于当前定义的这个类（以及其子类）

继承、实现、抽象类

Copy
class Base { }

class Derived extends Base { }

基类中的哪些成员能够被派生类访问，完全是由其访问性修饰符决定的。我们在上面其实已经介绍过，派生类中可以访问到使用 public 或 protected 修饰符的基类成员。除了访问以外，基类中的方法也可以在派生类中被覆盖，但我们仍然可以通过 super 访问到基类中的方法：

Copy
class Base {
print() { }
}

class Derived extends Base {
print() {
super.print()
// ...
}
}

在派生类中覆盖基类方法时，我们并不能确保派生类的这一方法能覆盖基类方法，万一基类中不存在这个方法呢？所以，TypeScript 4.3 新增了 override 关键字，来确保派生类尝试覆盖的方法一定在基类中存在定义：

Copy
class Base {
printWithLove() { }
}

class Derived extends Base {
override print() {
// ...
}
}

除了基类与派生类以外，还有一个比较重要的概念：抽象类。抽象类是对类结构与方法的抽象，简单来说，一个抽象类描述了一个类中应当有哪些成员（属性、方法等），一个抽象方法描述了这一方法在实际实现中的结构。我们知道类的方法和函数非常相似，包括结构，因此抽象方法其实描述的就是这个方法的入参类型与返回值类型。

Copy
abstract class AbsFoo {
abstract absProp: string;
abstract get absGetter(): string;
abstract absMethod(name: string): string
}

Copy
class Foo implements AbsFoo {
absProp: string = "linbudu"

get absGetter() {
return "linbudu"
}

absMethod(name: string) {
return name
}
}

此时，我们必须完全实现这个抽象类的每一个抽象成员。需要注意的是，在 TypeScript 中无法声明静态的抽象成员。

interface 不仅可以声明函数结构，也可以声明类的结构：

Copy
interface FooStruct {
absProp: string;
get absGetter(): string;
absMethod(input: string): string
}

class Foo implements FooStruct {
absProp: string = "linbudu"

get absGetter() {
return "linbudu"
}

absMethod(name: string) {
return name
}
}

除此以外，我们还可以使用 Newable Interface 来描述一个类的结构（类似于描述函数结构的 Callable Interface）：

Copy
class Foo { }

interface FooStruct {
new(): Foo
}

declare const NewableFoo: FooStruct;

const foo = new NewableFoo();

any 类型

一个被标记为 any 类型的参数可以接受任意类型的值，它可以在声明后再次接受任意类型的值，同时可以被赋值给任意其它类型的变量：

Copy
// 被标记为 any 类型的变量可以拥有任意类型的值
let anyVar: any = "linbudu";

anyVar = false;
anyVar = "linbudu";
anyVar = {
site: "juejin"
};

anyVar = () => { }

// 标记为具体类型的变量也可以接受任何 any 类型的值
const val1: string = anyVar;
const val2: number = anyVar;
const val3: () => {} = anyVar;
const val4: {} = anyVar;

你可以在 any 类型变量上任意地进行操作，包括赋值、访问、方法调用等等，此时可以认为类型推导与检查是被完全禁用的：

Copy
let anyVar: any = null;

anyVar.foo.bar.baz();
anyVar[0][1][2].prop1;

而 any 类型的主要意义，其实就是为了表示一个无拘无束的 “任意类型”，它能兼容所有类型，也能够被所有类型兼容 。
any 的本质是类型系统中的顶级类型，即 Top Type

如果是类型不兼容报错导致你使用 any，考虑用类型断言替代

如果是类型太复杂导致你不想全部声明而使用 any，考虑将这一处的类型去断言为你需要的最简类型。如你需要调用 foo.bar.baz()，就可以先将 foo 断言为一个具有 bar 方法的类型。

如果你是想表达一个未知类型，更合理的方式是使用 unknown

unknown 类型

一个 unknown 类型的变量可以再次赋值为任意其它类型，但只能赋值给 any 与 unknown 类型的变量：

Copy
let unknownVar: unknown = "linbudu";

unknownVar = false;
unknownVar = "linbudu";
unknownVar = {
site: "juejin"
};

unknownVar = () => { }

const val1: string = unknownVar; // Error
const val2: number = unknownVar; // Error
const val3: () => {} = unknownVar; // Error
const val4: {} = unknownVar; // Error

const val5: any = unknownVar;
const val6: unknown = unknownVar;

unknown 和 any 的一个主要差异体现在赋值给别的变量时，any 就像是 “我身化万千无处不在” ，所有类型都把它当自己人。而 unknown 就像是 “我虽然身化万千，但我坚信我在未来的某一刻会得到一个确定的类型” ，只有 any 和 unknown 自己把它当自己人。简单地说，any 放弃了所有的类型检查，而 unknown 并没有。这一点也体现在对 unknown 类型的变量进行属性访问时：

Copy
let unknownVar: unknown;
unknownVar.foo(); // 报错：对象类型为 unknown

要对 unknown 类型进行属性访问，需要进行类型断言，即 “虽然这是一个未知的类型，但我跟你保证它在这里就是这个类型！”：

Copy
let unknownVar: unknown;
(unknownVar as { foo: () => {} }).foo();

在类型未知的情况下，更推荐使用 unknown 标注。这相当于你使用额外的心智负担保证了类型在各处的结构，后续重构为具体类型时也可以获得最初始的类型信息，同时还保证了类型检查的存在。

never 类型

never 类型不携带任何的类型信息，因此会在联合类型中被直接移除

Copy
declare let v1: never;
declare let v2: void;

v1 = v2; // X 类型 void 不能赋值给类型 never
v2 = v1;

在编程语言的类型系统中，never 类型被称为 Bottom Type，是整个类型系统层级中最底层的类型。和 null、undefined 一样，它是所有类型的子类型，但只有 never 类型的变量能够赋值给另一个 never 类型变量。

通常我们不会显式地声明一个 never 类型，它主要被类型检查所使用。但在某些情况下使用 never 确实是符合逻辑的，比如一个只负责抛出错误的函数：

Copy
function justThrow(): never {
throw new Error()
}

在类型流的分析中，一旦一个返回值类型为 never 的函数被调用，那么下方的代码都会被视为无效的代码（即无法执行到）：

Copy
function foo (input:number){
if(input > 1){
justThrow();
// 等同于 return 语句后的代码，即 Dead Code
const name = "linbudu";
}
}

我们也可以显式利用它来进行类型检查，即上面在联合类型中 never 类型神秘消失的原因。

Copy
if (typeof strOrNumOrBool === "string") {
// 一定是字符串！
strOrNumOrBool.charAt(1);
} else if (typeof strOrNumOrBool === "number") {
strOrNumOrBool.toFixed();
} else if (typeof strOrNumOrBool === "boolean") {
strOrNumOrBool === true;
} else {
const _exhaustiveCheck: never = strOrNumOrBool;
throw new Error(`Unknown input type: ${_exhaustiveCheck}`);
}

假设某个粗心的同事新增了一个类型分支，strOrNumOrBool 变成了 strOrNumOrBoolOrFunc，却忘记新增对应的处理分支，此时在 else 代码块中就会出现将 Function 类型赋值给 never 类型变量的类型错误。这实际上就是利用了类型分析能力与 never 类型只能赋值给 never 类型这一点，来确保联合类型变量被妥善处理。

类型断言

类型断言能够显式告知类型检查程序当前这个变量的类型，可以进行类型分析地修正、类型。它其实就是一个将变量的已有类型更改为新指定类型的操作，它的基本语法是 as NewType，你可以将 any /unknown 类型断言到一个具体的类型：

Copy
const str: string = "linbudu";
(str as any).func().foo().prop;

function foo(union: string | number) {
if ((union as string).includes("linbudu")) { }
if ((union as number).toFixed() === '599') { }
}

但是类型断言的正确使用方式是，在 TypeScript 类型分析不正确或不符合预期时，将其断言为此处的正确类型：

Copy
interface IFoo {
name: string;
}

declare const obj: {
foo: IFoo
}

const {
foo = {} as IFoo
} = obj

双重断言

你的断言类型和原类型的差异太大，需要先断言到一个通用的类，即 any /unknown。这一通用类型包含了所有可能的类型，因此断言到它和从它断言到另一个类型差异不大。

Copy
const str: string = "linbudu";

(str as unknown as { handler: () => {} }).handler();

// 使用尖括号断言
(<{ handler: () => {} }>(<unknown>str)).handler();

非空断言

非空断言其实是类型断言的简化，它使用 ! 语法，即 obj!.func()!.prop 的形式标记前面的一个声明一定是非空的（实际上就是剔除了 null 和 undefined 类型），比如这个例子：

Copy
declare const foo: {
func?: () => ({
prop?: number | null;
})
};

foo.func!().prop!.toFixed();

非空断言的常见场景还有 document.querySelector、Array.find 方法等：

Copy
const element = document.querySelector("#id")!;
const target = [1, 2, 3, 599].find(item => item === 599)!;

类型断言还有一种用法是作为代码提示的辅助工具，比如对于以下这个稍微复杂的接口：

Copy
interface IStruct {
foo: string;
bar: {
barPropA: string;
barPropB: number;
barMethod: () => void;
baz: {
handler: () => Promise<void>;
};
};
}

假设你想要基于这个结构随便实现一个对象，你可能会使用类型标注：

Copy
const obj: IStruct = {};

这个时候等待你的是一堆类型报错，你必须规规矩矩地实现整个接口结构才可以。但如果使用类型断言，我们可以在保留类型提示的前提下，不那么完整地实现这个结构：

Copy
// 这个例子是不会报错的
const obj = <IStruct>{
bar: {
baz: {},
},