为什么TypeScript中in运算符无法正常配合string类型索引使用？

报错原因 #

TypeScript 现有版本的类型缩小逻辑不会将in运算符的判断结果关联到字符串变量的类型收窄上。你声明的toPick是通用string类型，而test对象仅明确包含a、c两个固定键，没有声明通用字符串索引签名，因此TS会判定用任意字符串索引访问test属于非法操作，即使你已经写了toPick in test的运行时判断也不会触发自动类型收窄。

解决方法 #

• 方法1：自定义类型守卫（最安全，无类型风险）
  把in判断封装为可触发类型收窄的守卫函数：

const test = {
  a: 'b',
  c: 'd',
} as const;

function isKeyOf<T extends object>(key: unknown, obj: T): key is keyof T {
  return typeof key === 'string' && key in obj;
}

const toPick: string = 'a';

if (isKeyOf(toPick, test)) {
  console.log(test[toPick]); // 类型正常，输出b
}

• 方法2：临时类型断言（适合小型场景，逻辑确定时使用）
  在访问对象时直接断言toPick是test的合法键：

const test = {
  a: 'b',
  c: 'd',
} as const;

const toPick: string = 'a';

if (toPick in test) {
  console.log(test[toPick as keyof typeof test]);
}

• 方法3：给对象添加索引签名（适合纯字典场景）
  如果你的对象本身就是用于存储任意字符串键的字典，可以直接给它声明索引签名：

// 声明为字符串键、字符串值的字典类型，会丢失原有字面量类型
const test: Record<string, string> = {
  a: 'b',
  c: 'd',
};

const toPick: string = 'a';

if (toPick in test) {
  console.log(test[toPick]);
}

内容的提问来源于stack exchange，提问作者Altaula