玩转 TypeScript (ts)：理解并实现类型推理与计算

最编程 2024-07-27 19:59:07

...

导言：我们都知道，ts 具有类型推导，并且可以很好的进行智能的类型推导。但是如果我们想要手动的来进行类型推导 —— 通过已知的类型来推断另一个类型，那么这个需要怎么做呢？

关键字

主要的关键字有以下几个： typeof,in, keyof 等关键字

typeof关键字

大家看到typeof, 肯定会说 js 中已经存在了哇，但是ts 中的typeof 有不一样的用法：

这里ts 在类型检查的时候报错，typeof 用在类型检查的位置。所以，在这里typeof的作用是：获取某个数据的类型, 上面的c 的类型是b的变量，这个b又是const定义的（const 和 let 定义的区别在于 const 定义常量， let 定义变量,详细）常量的值一般在声明的时候就要赋值，所以b 的类型不是string, 而是一个字面量:

如何把上面代码修改的不报错呢？

解决方法：

方法一：把const 修改成 let

-方法二：手动给const 声明类型：

由上面的这个小例子，我们可以得出：TS中的typeof，书写的位置在类型约束的位置上。表示：获取某个数据的类型但是typeof 作用于类的时候，确实一个类的构造函数。

keyof 关键字

作用于类、接口、类型别名，用于获取其他类型中的所有成员名组成的联合类型

获取多个级联类型的交集

如果没有交集的话，会类型推导出一个never类型

获取多个级联类型的并集

in 关键字

该关键字往往和keyof联用，限制某个索引类型的取值范围。

TS中预设的类型演算

Partial<T> 将类型T中的成员变为可选

样列

原理分析

/**
 * Make all properties in T optional
 */
type Partial<T> = {
    [P in keyof T]?: T[P]; // 使用泛型，把每一个属性都加上了可选的符号
};

Required<T> 将类型T中的成员变为必填

样列

原理分析

/**
 * Make all properties in T required
 */
type Required<T> = {
    [P in keyof T]-?: T[P];  // 这里的 - 号是去除条件 
};

Readonly<T> 将类型T中的成员变为只读

样列

源码分析

/**
 * Make all properties in T readonly
 */
type Readonly<T> = {
    readonly [P in keyof T]: T[P]; // 就是在前面加了一个修饰符
};

Exclude<T, U> 从T中剔除可以赋值给U的类型。

样例

源码分析

/**
 * Exclude from T those types that are assignable to U
 */
type Exclude<T, U> = T extends U ? never : T; // 通过继承来实在U 包含 T

Extract<T, U> 提取T中可以赋值给U的类型。

样例

源码分析

/**
 * Extract from T those types that are assignable to U
 */
type Extract<T, U> = T extends U ? T : never; // 和上面的exclude 相反的

NonNullable<T> 从T中剔除null和undefined。

样例

源码分析

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

ReturnType<T> 获取函数返回值类型。

样例

-方式一：

上一篇：轻松理解Java泛型中的通配符：一篇详解文章

下一篇：详解 TypeScript 中的泛型应用：＜T, K, V＞的具体用法