兜底原则： 在参数传递过程中，对于某个参数的缺失需要在最终使用其参数的函数中进行兜底（默认值）

typescript infer使用技巧

type ElementOf<T> = T extends Array<infer E> ? E : never

type TTuple = [string, number];

type ToUnion = ElementOf<TTuple>;

typescript extends

再类型中extends表示是否能赋值
T extends U ? X : Y 表示如果T能赋值给U则类型为X，否则Y

作为*泛型参数*时，如果T是union类型，则会被被分解进行比对：

type NonNullable<T> = T extends null | undefined ? never : T;

type NonNullable<'1' | '2'>

会被分解为

'1' extends null | undefined ? never : T | '2' extends null | undefined ? never : T