extends
继承
export type Extends<T,U> = T extends U;
复制代码
readonly
只读
export type Readonly<T> = { readonly [P in keyof T]: T[P] };
复制代码
is
是
export type IsType<T> = (val: any) => val is T;
复制代码
场景:判断是否属于某个或某类值
// 是否object
export const isObj: IsType<object>;
// 是否number
export const isNumber: IsType<number>;
// 是否string
export const isString: IsType<string>;
复制代码
keyof
键值
export type KeyOf<T> = keyof T;
复制代码
利用
K extends keyof WindowEventMap
将参数type:K
限制在WindowEventMap
的键值列表,listener
中的参数ev
限定为WindowEventMap
对应K
相应的值
declare function addEventListener<K extends keyof WindowEventMap>(type: K, listener: (this: Window, ev: WindowEventMap[K]) => any, options?: boolean | AddEventListenerOptions): void;
复制代码
in
在*中
export type Partial<T> = { [P in keyof T]?: T[P] };
复制代码
?
二义符
export type Extract<T, U> = T extends U ? T : never;
复制代码
&
合并
export type Merge<T,U> = T & U;
复制代码
实用
export type IsType<T = any> = (val: any) => val is T;
export type KeyOf<T> = keyof T;
export type Defaultize<P, D> = P extends any
? string extends keyof P
? P
: Pick<P, Exclude<keyof P, keyof D>> &
Partial<Pick<P, Extract<keyof P, keyof D>>> &
Partial<Pick<D, Exclude<keyof D, keyof P>>>
: never;
export type Omit<T, K extends keyof T> = Pick<T, Exclude<keyof T, K>>;
export type Matching<InjectedProps, DecorationTargetProps> = {
[P in keyof DecorationTargetProps]: P extends keyof InjectedProps
? InjectedProps[P] extends DecorationTargetProps[P]
? DecorationTargetProps[P]
: InjectedProps[P]
: DecorationTargetProps[P]
};
export type MergePropTypes<P, T> = P & Pick<T, Exclude<keyof T, keyof P>>;
export type Partial<T> = { [P in keyof T]?: T[P] };
export type Required<T> = { [P in keyof T]-?: T[P] };
export type Readonly<T> = { readonly [P in keyof T]: T[P] };
export type Pick<T, K extends keyof T> = { [P in K]: T[P] };
export type Record<K extends keyof any, T> = { [P in K]: T };
export type Exclude<T, U> = T extends U ? never : T;
export type Extract<T, U> = T extends U ? T : never;
export type NonNullable<T> = T extends null | undefined ? never : T;
export type ReturnType<T extends (...args: any[]) => any> = T extends (
...args: any[]
) => infer R
? R
: any;
export type InstanceType<
T extends new (...args: any[]) => any
> = T extends new (...args: any[]) => infer R ? R : any;
复制代码