TypeScript-keyof 与 in 操作符

前言

keyof和in操作符的使用方式看着有些相像，其实有很大的不同，keyof一般对对象类型使用，表示获取对象中的属性名。而in用于对象类型的定义中，右边跟一个联合类型，用来"迭代"联合类型简化对象类型的声明。本章介绍keyof和in操作符的用法，同时记录两个相关的实战案例。

我们如果需要获取对象类型中的属性名，通常需要使用keyof。如下图，key可以使用"name"和"age"进行赋值，但是不能用"sex"，因为Person类型中没有定义sex属性。

如果对声明了索引签名的对象使用keyof，会直接返回索引签名中的类型：

需要注意的是，如果索引签名的类型是string，那么使用keyof推导出的类型是number|string，原因是js中，使用数字作为属性名会被转换成字符串，SomeType $1$ 和 SomeType $"1"$ 是等价的。

对泛型参数使用keyof时需要注意，在js中允许使用数字、字符串、和Symbol类型来作为属性名，因此对泛型类型和any类型使用keyof时，推导出的类型为string|number|symbol

如果确定了对象只有某个类型的属性名，可以使用Extract关键字将类型提取出来：

商场做的会员等级分为C、B、A、S四个等级，用户购买之后根据出示的会员卡计算折扣

根据描述我们很容易能写出如下的式子，但是ts会提示discountStrategy有确定的属性名，传入string是不合法的。

这个时候就可以借助keyof来获取discountStrategy的属性名，并声明VIPLevel只属于这个属性名范围：

实现步骤如下：

in操作符比较简单，一般用在对象类型的声明中, 右边跟一个联合类型。常用方法如下：

可以看到，使用了in关键字后，ts自动推断出了CarValue的属性名和类型，不需要我们手动写。

上一章的实战使用in操作符，我们可以进行如下的优化：

实现步骤如下：

具体实现：

scala 复制代码

type MyPick<T, K extends keyof T> = {
  [key in K]: T[key];
};

实现思路：

使用示例：