TypeScript动态键函数返回类型优化问题：如何实现精确的具体键类型返回

没问题！你的需求完全可以实现，核心是要让TypeScript能准确推导出自定义键名对应的返回类型，而不是 fallback 到通用的索引签名。我们可以通过显式定义泛型默认值+映射类型构造返回结构来解决这个问题：

优化后的代码 #

function dynamicKeys<KeyOne extends PropertyKey = 'foo', KeyTwo extends PropertyKey = 'bar'>(
  keyOne: KeyOne = 'foo' as KeyOne,
  keyTwo: KeyTwo = 'bar' as KeyTwo
) {
  return {
    [keyOne]: {},
    [keyTwo]: [],
  } as { [K in KeyOne]: {} } & { [K in KeyTwo]: [] };
}

效果验证 #

• 无参调用时，TypeScript会自动使用泛型的默认值，返回类型精确为：

  const result1 = dynamicKeys();
  // result1 的类型为：{ foo: {}; bar: []; }
  

• 传入自定义键名时，返回类型会精准匹配传入的键：

  const result2 = dynamicKeys('baz', 'boo');
  // result2 的类型为：{ baz: {}; boo: []; }
  

为什么原代码无法正确推导？ #

原代码中虽然用了as const断言，但因为对象使用了动态计算的属性名（哪怕是const断言的字符串），TypeScript会默认将其推断为{ readonly [x: string]: {}; }这类通用索引签名，而不会识别出具体的键名。通过显式使用映射类型{ [K in KeyOne]: {} }和交叉类型，我们强制TypeScript将泛型参数映射为具体的键值对结构，从而实现精确的类型推导。

额外说明 #

如果传入的两个键名重复（比如dynamicKeys('foo', 'foo')），TypeScript会自动合并类型，返回{ foo: {} & [] }，这也是符合逻辑的类型表现。

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