如何为TypeScript中obj[variable]形式的动态键获取正确类型？

你的问题根源在于字符串索引签名的设计：当你定义interface Groups { [name: string]: Stats; }时，TypeScript会认为任何字符串作为键都能获取到Stats类型的值，但实际运行中不存在的键会返回undefined，这就造成了类型推断和实际行为的不一致。

可以通过以下几种方式解决：

1. 固定键场景：使用具体类型+keyof #

如果你的Groups对象的键是固定的，不要用字符串索引签名，直接定义包含所有键的类型，结合keyof限定变量的类型范围，编译期就能拦截无效键：

interface Stats {
  total: number;
  count: number;
  average: number;
}

// 直接定义具体键的类型，而非字符串索引
type Groups = {
  someGroupName: Stats;
  someOtherGroupName: Stats;
};

const groups: Groups = {
  someGroupName: { total: 30, count: 3, average: 10 },
  someOtherGroupName: { total: 60, count: 3, average: 20 },
};

// 有效键：类型推断为Stats
const validKey: keyof Groups = 'someGroupName';
const foundStat = groups[validKey];

// 无效键：编译期直接报错
const invalidKey: keyof Groups = 'noExistKey'; // 类型错误：'"noExistKey"' 不能赋值给类型 '"someGroupName" | "someOtherGroupName"'

2. 动态键场景：调整索引签名返回类型 #

如果需要支持任意动态字符串键，修改索引签名的返回类型为Stats | undefined，让TypeScript正确推断可能的undefined：

interface Stats {
  total: number;
  count: number;
  average: number;
}

interface Groups {
  [name: string]: Stats | undefined; // 明确可能返回undefined
}

const groups: Groups = {
  someGroupName: { total: 30, count: 3, average: 10 },
  someOtherGroupName: { total: 60, count: 3, average: 20 },
};

const someVariable = 'noExistKey'; 
const foundStat = groups[someVariable]; // 类型为 Stats | undefined，符合实际行为

3. 动态键场景：使用类型守卫缩小范围 #

如果需要在运行时检查键是否存在，并在代码分支中获得精确的类型推断，可以自定义类型守卫：

interface Stats {
  total: number;
  count: number;
  average: number;
}

interface Groups {
  [name: string]: Stats;
}

const groups: Groups = {
  someGroupName: { total: 30, count: 3, average: 10 },
  someOtherGroupName: { total: 60, count: 3, average: 20 },
};

// 自定义类型守卫，判断键是否存在于对象中
function isValidGroupKey<K extends string>(obj: Groups, key: K): obj is Groups & Record<K, Stats> {
  return key in obj;
}

const someVariable = 'noExistKey'; 
if (isValidGroupKey(groups, someVariable)) {
  // 此分支中，foundStat的类型为Stats
  const foundStat = groups[someVariable];
} else {
  // 此分支中，foundStat的类型为undefined
  const foundStat = groups[someVariable];
}

总结 #

• 固定键优先用具体类型+keyof，编译期拦截错误，类型最安全；
• 动态键场景要么修改索引签名返回Stats | undefined，要么用类型守卫做运行时检查，确保类型推断和实际行为一致。

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