在上一篇我重点讲述了 ts 的交叉类型，本期将结合实例重点讲述 ts 中的一些高级操作符。本篇文章略长，笔者之前的文章都略短，作为男人还是要好好学习，文章还是长点好。
本期涉及的操作符如下：
- keyof
- in
- infer 关键字
- Parameters
- ReturnType
- InstanceType
- ConstructorParameters
- ThisParameterType
- OmitThisParameter
本篇文章适合有一定基础的 ts 开发，如果你完全没有用过，请先到官网学习官方文档，
通过上述操作符的学习，希望能达到以下效果：
- 不再为大佬写的 ts 定义而苦恼了
- 看源码定义不再吃力了
- 自己的 ts 代码更加智能，不再是满屏的 any 了。
下面我将结合具体实栗向大家讲述 ts 中的高级操作符。
keyof
定义
keyof与Object.keys略有相似，只是 keyof 是取 interface 的键，而且 keyof 取到键后会保存为联合类型。
interface iUserInfo {
name: string;
age: number;
}
type keys = keyof iUserInfo;
复制代码
keyof 的简单栗子
我们有这样一个需求，实现一个函数 getValue 取得对象的 value。在未接触 keyof 时，我们一般会这样写：
function getValue(o: object, key: string) {
return o[key];
}
const obj1 = { name: '张三', age: 18 };
const name = getValue(obj1, 'name');
复制代码但是，这样写就丧失了 ts 的优势：
- 无法确定返回值类型
- 无法对 key 进行约束，可能会犯拼写的错误
这时我们可以使用 keyof 来增强 getValue 函数的类型功能。
使用 keyof 后我们可以看到，可以完整的提示可以输入的值，当拼写错误时也会有清晰的提示。
function getValue<T extends Object, K extends keyof T>(o: T, key: K): T[K] {
return o[key];
}
const obj1 = { name: '张三', age: 18 };
const a = getValue(obj1, 'hh');
复制代码in
in用于取联合类型的值。主要用于数组和对象的构造。
type name = 'firstName' | 'lastName';
type TName = {
[key in name]: string;
};
复制代码
const data1 = [
{
a1: 'a',
b1: 'b',
c1: 'c',
d1: 'd',
},
];
const data2 = [
{
a2: 'a',
b2: 'b',
},
];
复制代码但切记不要用于 interface，否则会出错
infer
先看官方解释：
Within the extends clause of a conditional type, it is now possible to have infer declarations that introduce a type variable to be inferred. Such inferred type variables may be referenced in the true branch of the conditional type. It is possible to have multiple infer locations for the same type variable.
翻译过来就是：
现在在有条件类型的 extends 子语句中，允许出现 infer 声明，它会引入一个待推断的类型变量。 这个推断的类型变量可以在有条件类型的 true 分支中被引用。 允许出现多个同类型变量的 infer。
初步看来，这个 ts 关键字限制比较多，也是笔者觉得比较难理解的，但是它对我们获取一些比较复杂的类型特别有用。使用过程中需要注意以下几个关键点：
- 只能出现在有条件类型的 extends 子语句中；
- 出现 infer 声明，会引入一个待推断的类型变量；
- 推断的类型变量可以在有条件类型的 true 分支中被引用；
- 允许出现多个同类型变量的 infer
要彻底理解这个关键词的使用必须结合一些实例。
infer 实例
使用 infer 获取函数参数 Parameters
比如我们这里定义了一个函数类型 TArea，现在要实现将函数的参数类型取出来，我们该怎么做呢？
type TArea = (width: number, height: number) => number;
type params = Parameters<TArea>;
复制代码
其实 Parameters 方法 ts 已内置，源码如下：
type Parameters<T extends (...args: any) => any> = T extends (
...args: infer P
) => any
? P
: never;
复制代码我们仔细研读一下以上源码，发现遵循我们上面所说的 infer 满足的四个特点：
- 只能出现在有条件类型的 extends 子语句中；
- 出现 infer 声明，会引入一个待推断的类型变量；
- 推断的类型变量可以在有条件类型的 true 分支中被引用；
- 允许出现多个同类型变量的 infer
这里再啰嗦几句，因为我们要获取函数参数，所以传递的参数必须是个函数，所以有 T extends (...args: any) => any，由于我们要获取的是函数参数的类型，所以 infer 出现在了函数参数位置。
同理获取函数返回值的方法就呼之欲出了，如果还是写不出来，当我没说。
使用 infer 获取函数返回值 ReturnType
ReturnType 方法 ts 已内置
type ReturnType<T extends (...args: any) => any> = T extends (
...args: any
) => infer R
? R
: any;
复制代码再看一下图，不要说我骗你！
了不得了，infer 真是太强大了，下面我们继续看 infer 如何获取一个类实例的类型。
获取实例类型 InstanceType
type InstanceType<T extends new (...args: any) => any> = T extends new (
...args: any
) => infer R
? R
: any;
复制代码偷偷告诉你，聪明的 ts 官方也内置了这个工具。
获取构造函数类型 ConstructorParameters
该方法 ts 已内置我们看一下源码
type ConstructorParameters<
T extends new (...args: any) => any
> = T extends new (...args: infer P) => any ? P : never;
复制代码我们可以这样使用它
获取参数 this 参数 ThisParameterType
type ThisParameterType<T> = T extends (this: infer U, ...args: any[]) => any
? U
: unknown;
复制代码
剔除 this 参数 OmitThisParameter
实现效果如下，大家可以自己手动实现一下，这可以很好的训练一下 infer 的使用。
官方源码如下：
type OmitThisParameter<T> = unknown extends ThisParameterType<T>
? T
: T extends (...args: infer A) => infer R
? (...args: A) => R
: T;
复制代码我们可以这样理解：如果传递的函数不包含 this 参数，则直接返回。以下语法用于判断是否包含 this 参数
unknown extends ThisParameterType<T>
复制代码总结
我们重点讲述了 ts 中 keyof 和 infer 的高级用法，下面以两个思考题结束本篇文章，具体答案会在下篇文章揭晓。
