TypeScript函数返回类型报错：移除返回类型为何能解决索引问题？

1. 指定返回类型为object时的错误原因 #

TypeScript里的object是个极其宽泛的顶层类型，只表示「非原始值」（比如对象、数组、函数），但完全没定义具体的索引签名和键值类型。当你把keyBy的返回类型设为object时，usersById就被约束成了这个模糊的类型，TypeScript根本不知道它有哪些键、键是什么类型。

这时执行const user = usersById[message.senderId];，message.senderId的类型（比如number或string）和object类型的索引要求不匹配——因为object没有允许这类索引的签名，TypeScript就会判定你在用「任意类型」的表达式去索引无索引定义的类型，于是抛出那个错误。

2. 移除返回类型后错误消失的原因 #

不手动指定返回类型时，TypeScript会自动做类型推断，根据函数的实现逻辑推导出精准的类型。假设你的keyBy函数逻辑类似这样：

function keyBy<T, K extends keyof T>(arr: T[], key: K) {
  return arr.reduce((acc, item) => {
    acc[item[key]] = item;
    return acc;
  }, {} as Record<T[K], T>);
}

它会根据传入的实体数组和ID键，推断出返回类型是Record<实体ID类型, 实体类型>，比如Record<number, User>（如果ID是number、实体是User）。此时usersById的键值结构完全明确，message.senderId的类型和键类型完全匹配，索引操作自然不会触发类型错误。

3. 使用Object.keys断言后出现never类型的原因 #

TypeScript中Object.keys()的返回类型是string[]——这是因为JavaScript对象的键本质上都会转成字符串（哪怕你用number当键，实际存储的也是string）。

假设usersById的类型是Record<number, User>，那keyof typeof usersById就是number类型。你把Object.keys(usersById)[0]断言成keyof typeof usersById，相当于把string类型强行转成number类型，这俩类型没有交集，TypeScript会把这种无效断言的结果判定为never类型（表示不可能存在的值）。

用never类型去索引usersById，得到的结果也是never，而never类型上不存在任何属性，所以访问firstName时就会抛出对应的错误。

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