TypeScript-条件和分布式条件类型

条件类型(三目运算)

判断前面一个类型是否是后面一个类型或者继承于后面一个类型如果是就返回第一个结果, 如果不是就返回第二个结果语法: T extends U ? X : Y;

代码语言：typescript复制

type MyType<T> = T extends string ? string : any;
type res = MyType<boolean>

被检测类型是一个联合类型的时候, 该条件类型就被称之为分布式条件类型

代码语言：typescript复制

type MyType<T> = T extends any ? T : never;
type res = MyType<string | number | boolean>;

从 T 中剔除可以赋值给 U 的类型

代码语言：typescript复制

type MyType<T, U> = T extends U ? never : T;
type res = MyType<string | number | boolean, number>

像如上的这种需求比较常用 TS 内部其实已经封装了对于的方法 Exclude

代码语言：typescript复制

type MyType<T, U> = T extends U ? never : T;
type res = Exclude<string | number | boolean, number>

提取 T 中可以赋值给 U 的类型 Extract

代码语言：typescript复制

type MyType<T, U> = T extends U ? never : T;
type res = Extract<string | number | boolean, number | string>

从 T 中剔除 null 和 undefined NonNullable

代码语言：typescript复制

type MyType<T, U> = T extends U ? never : T;
type res = NonNullable<string | null | boolean | undefined>

获取函数返回值类型 ReturnType

代码语言：typescript复制

type res = ReturnType<(() => number)>

获取一个类的构造函数参数组成的元组类型 ConstructorParameters

代码语言：typescript复制

class Person {
    constructor(name: string, age: number) {
    }
}

type res = ConstructorParameters<typeof Person>;

获得函数的参数类型组成的元组类型 Parameters

代码语言：typescript复制

function say(name: string, age: number, gender: boolean) {
}

type res = Parameters<typeof say>;

本期结束咱们下次再见

0 人点赞