TypeScript 的所有 高级类型

11,645 阅读5分钟

既然官方提供的高级类型并不多,那么就把他们全部都说明一遍吧,让我们在开发中更加效率。其中 Typescript 中的 Partial, Readonly, Record, Pick 中已经对这4个使用频率最高的进行了说明,因此这里不再重复。

备注:高级类型声明中,涉及到的 条件类型、映射类型、类型推断、never 类型,之前的均有分享,你可以在我的专栏里看到。(其实,之前解读的这些就是为介绍官方的高级类型做前提)

这些高级类型可能你并不会用到,但简单过一遍知道 TS 预置了哪些就行,当某些开放场景想起时,总会带来惊喜。(编写这些特性的是基于 v3.8-Beta版本)

Required< T >

/**
 * Make all properties in T required
 */
type Required<T> = {
    [P in keyof T]-?: T[P];
};

Partial<T> 程序类型的作用相反,将类型属性都变成必填。

type Coord = Required<{ x: number, y?:number }>;

// 等同于
type Coord = {
	x: number;
	y: number;
}

主要是因为 -? 映射条件的装饰符的能力,去掉了所有可选参数状态,更多的装饰符说明可以之前分享的 TypeScript 的映射类型 Mapped types (e.g. { [P in K]: T[P] })

Exclude<T, U>

/**
 * Exclude from T those types that are assignable to U
 */
type Exclude<T, U> = T extends U ? never : T;

排除一个 联合类型 中指定的子类型:

type T0 = Exclude<'a' | 'b' | 'c', 'b'> // 'a' | 'c'
type T1 = Exclude<string | number | boolean, boolean> // string | number

主要是基于 extends 条件类型的解析推迟的特性,返回了匹配之外的所有 候选类型,配合 never 类型 的空值特性,实现了这一高级类型。

Extract<T, U>

/**
 * Extract from T those types that are assignable to U
 */
type Extract<T, U> = T extends U ? T : never;

Exclude<T, U> 完全相反的功能,用于提取指定的 联合类型,如果不存在提取类型,则返回never。可以用在判断一个复杂的 联合类型 中是否包含指定子类型:

type T0 = Extract<'a' | 'b' | 'c', 'a'> // 'a'
type T1 = Extract<string | number | boolean, boolean> // boolean

Omit<T, K extends keyof any>

/**
 * Construct a type with the properties of T except for those in type K.
 */
type Omit<T, K extends keyof any> = Pick<T, Exclude<keyof T, K>>;

排除接口中指定的属性:

interface I1 {
	a: number;
	b: string;
	c: boolean;
}

type AC = Omit<I1, 'b'>;     // { a:number; c:boolean } 
type C = Omit<I1, 'a' |'b'>  // { c: boolean }

这个在高级类型的使用频率也比较高。

NonNullable< T >

/**
 * Exclude null and undefined from T
 */
type NonNullable<T> = T extends null | undefined ? never : T;

过滤掉 联合类型 中的 nullundefined 类型:

type T1 = NonNullable<string | null | undefined>; // string

额外说明下,因为 nullundefined 类型的特殊性,他们可以赋值给任何类型,这往往会带来意料之外的错误。当你开启 --strictNullChecks 设置后,TS 就会严格检查,只有被声明 null 后才能被赋值:

// 关闭 --strictNullChecks
let s: string = "foo";
s = null; // 正常

// 开启 --strictNullChecks
s = null; // Error: Type 'null' is not assignable to type 'string'. 

Parameters<T extends (...args: any) => any>

/**
 * Obtain the parameters of a function type in a tuple
 */
type Parameters<T extends (...args: any) => any> = T extends (...args: infer P) => any ? P : never;

获取函数的全部参数类型,以 元组类型 返回:

type F1 = (a: string, b: number) => void;

type F1ParamTypes = Parameters(F1);  // [string, number]

如果你想了解原理,可以看之前分享的 TypeScript 条件类型的 infer 类型推断能力

ConstructorParameters<T extends new (...args: any) => any>

/**
 * Obtain the parameters of a constructor function type in a tuple
 */
type ConstructorParameters<T extends new (...args: any) => any> = T extends new (...args: infer P) => any ? P : never;

同上面的类型很相似,只是这里获取的是 构造函数 的全部参数。关于构造函数声明,以及如何使用此 高级类型 的方式:

interface IEntity {
    count?: () => number
}

interface IEntityConstructor {
    new (a: boolean, b: string): IEntity;
}

class Entity implements IEntity {
    constructor(a: boolean, b: string) { }
}

type EntityConstructorParamType = ConstructorParameters<IEntityConstructor>; // [boolean, string]

这里的 IEntityConstructor 接口用来干什么的呢,当基于 创建实例函数 时就派上了用场:

function createEntity(ctor: IEntityConstructor, ...arg: EntityConstructorParamType): IEntity {
    return new ctor(...arg);
}

const entity = createEntity(Entity, true, 'a');

ReturnType<T extends (...args: any) => any>

/**
 * Obtain the return type of a function type
 */
type ReturnType<T extends (...args: any) => any> = T extends (...args: any) => infer R ? R : any;

接收函数声明,返回函数的返回值类型,如果多个类型则以 联合类型 方式返回:

type F1 = () => Date;

type F1ReturnType = ReturnType<F1>; // Date

InstanceType<T extends new (...args: any) => any>

/**
 * Obtain the return type of a constructor function type
 */
type InstanceType<T extends new (...args: any) => any> = T extends new (...args: any) => infer R ? R : any;

获取 构造函数 的返回类型,如果是多个就以 联合类型 的方式返回,我们借用上面的定义:

type EntityType = InstanceType<IEntityConstructor>; // IEntity

ThisParameterType< T >

/**
 * Extracts the type of the 'this' parameter of a function type, or 'unknown' if the function type has no 'this' parameter.
 */
type ThisParameterType<T> = T extends (this: infer U, ...args: any[]) => any ? U : unknown;

获取函数中 this 的数据类型,如果没有则返回 unknown 类型:

interface Foo {
    x: number
};

function fn(this: Foo) {}

type Test = ThisParameterType<typeof fn>; // Foo

因为可以在 TS 声明函数的 this ,此方法用于获取此声明,具体的使用:

fn.bind({ x: 1 });   // 正常

fn.bind({ x: '1' }); // Error: ...Type 'string' is not assignable to type 'number'...

OmitThisParameter< T >

/**
 * Removes the 'this' parameter from a function type.
 */
type OmitThisParameter<T> = unknown extends ThisParameterType<T> ? T : T extends (...args: infer A) => infer R ? (...args: A) => R : T;

移除函数中的 this 数据类型:

interface Foo {
    x: number
};

type Fn = (this: Foo) => void

type NonReturnFn = OmitThisParameter<Fn>; // () => void

声明此类的函数类型效果如下:

function f(this: void) {} // 此声明在函数内不可使用 this