泛型

对应小册 - 09类型编程基石：typscript中无处不在的泛型

类型别名中的泛型

类型别名如果声明了泛型坑位，可以当作一个接受参数的函数。

泛型约束与默认值

在函数中，我们只能在逻辑中通过ts的类型控制分析来做类型的分流。但是在泛型中，可以通过extends来约束传入的泛型参数。

type ResStatus<ResCode extends number = 1000> = ResCode extends 10000 | 10002
? "success" : "failure"

多泛型关联

同时传入多个泛型参数，让这几个泛型参数之间也存在联系。

函数中的泛型

泛型在调用时被填充。而类型别名更多的是手动传入泛型。