为何使用"if someString in object"无法将类型收窄为对象的键类型？

你遇到的问题是：TypeScript的in操作符仅在运行时检查字符串是否为对象的键，但不会自动将字符串类型收窄到对象的已知键类型（如KnownStrings），因此出现索引类型错误（TS7053）。以下是几种简便的解决方式：

1. 自定义类型守卫（推荐） #

通过类型守卫函数明确告诉TypeScript，当字符串满足条件时，它属于KnownStrings类型。这种方式类型安全，且能准确收窄类型：

type KnownStrings = "foo" | "bar";
type MyRecordType = Record<KnownStrings, number>;

const obj: MyRecordType = {
  foo: 123,
  bar: 456
};

const someRuntimeStr: string = "foo";

// 自定义类型守卫函数
function isKnownString(str: string): str is KnownStrings {
  return ["foo", "bar"].includes(str);
}

if (isKnownString(someRuntimeStr)) {
  // 此处someRuntimeStr类型已收窄为KnownStrings，可直接作为索引
  console.log(obj[someRuntimeStr]);
}

2. 类型断言（快速但需谨慎） #

如果已经通过in操作符确保字符串是对象的合法键，可以使用类型断言强制将字符串转换为keyof MyRecordType：

if (someRuntimeStr in obj) {
  console.log(obj[someRuntimeStr as keyof MyRecordType]);
}

注意：这种方式跳过了TypeScript的类型检查，若后续修改MyRecordType的键但未同步更新断言逻辑，可能引发运行时错误。

3. 添加字符串索引签名（适用于允许任意字符串索引的场景） #

若你的业务场景允许用任意字符串索引对象（即使键不存在），可以给MyRecordType添加字符串索引签名：

type MyRecordType = Record<KnownStrings, number> & {
  [key: string]: number | undefined;
};

const obj: MyRecordType = {
  foo: 123,
  bar: 456
};

const someRuntimeStr: string = "foo";

if (someRuntimeStr in obj) {
  console.log(obj[someRuntimeStr]);
}

此方式会让对象接受任何字符串索引，不存在的键会返回undefined，需根据实际需求选择。

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