为何key为string类型时，'key in myObject'无法收窄TypeScript类型？

先看问题代码：

const VALUES = {
  name: "name",
  age: "age",
  address: "address",
};

export function getVal(key: string) {
  if (key in VALUES) {
    // 报错：Element implicitly has an 'any' type because expression of type 'string' can't be used to index type '{ name: string; age: string; address: string; }'.
    //  No index signature with a parameter of type 'string' was found on type '{ name: string; age: string; address: string; }'.ts(7053)
    return VALUES[key];
  }

  return "";
}

问题原因 #

TS的类型系统不会自动把key in obj这种运行时判断转化为编译时的类型收窄。虽然key in VALUES能在运行时确认key是对象的键，但key的原始类型是宽泛的string，TS无法反向推导并将其类型缩小为keyof typeof VALUES——这是TS类型推断的固有限制。

现有方案的局限性 #

你提到的两种修复方法各有取舍：

• 方案A：添加字符串索引签名

const VALUES: { [index: string]: string } = {
  name: "name",
  age: "age",
  address: "address",
};

该方案能消除报错，但会丢失VALUES的精确键类型约束——现在VALUES可以被任意字符串索引，TS不再校验它的键是否只能是name/age/address。

• 方案B：限制参数为keyof typeof VALUES

export function getVal(key: keyof typeof VALUES) {
  // ...
}

该方案保留了VALUES的精确类型，但函数参数只能接受VALUES的已知键，不符合你希望参数仍为string类型的需求。

满足双重需求的解决方案 #

如果要同时实现VALUES保留精确键类型约束和函数参数接受任意string类型，可以通过自定义类型守卫函数手动实现类型收窄：

const VALUES = {
  name: "name",
  age: "age",
  address: "address",
};

// 自定义类型守卫，用类型谓词明确返回true时key的类型
function isValidKey(key: string): key is keyof typeof VALUES {
  return key in VALUES;
}

export function getVal(key: string) {
  if (isValidKey(key)) {
    // 此时TS会自动将key收窄为keyof typeof VALUES，无类型报错
    return VALUES[key];
  }

  return "";
}

这里的isValidKey函数通过key is keyof typeof VALUES这个类型谓词，告诉TS：当函数返回true时，参数key的类型就是VALUES的键类型。这样既保留了VALUES的精确类型约束，又允许函数接受任意string类型参数，同时保证了编译时的类型安全。

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