• 条件类型提供了一个 infer 关键字, 可以让我们在条件类型中定义新的类型

博主假设有这么一个需求: 定义一个类型, 如果传入的是数组, 就返回数组的元素类型, 如果传入的是普通类型, 则直接返回这个类型。

传入的是数组：

type MyType<T> = T extends any[] ? T[number] : T;
type res = MyType<string[]>;

传入的是普通类型：

type MyType<T> = T extends any[] ? T[number] : T;
type res = MyType<number>;

除了如上的实现方式以外，还可以利用 infer 关键字来实现。

传入的是数组：

type MyType<T> = T extends Array<infer U> ? U : T;
type res = MyType<string[]>;

传入的是普通类型：

type MyType<T> = T extends Array<infer U> ? U : T;
type res = MyType<number>;