TS为何允许对可能为Record<string, never>的值调用forEach？

这个类型校验漏洞是TS的结构化类型规则、never类型特性、Record<string, never>语义偏差共同导致的：

• 首先纠正一个认知偏差：Record<string, never>并不是严格意义上的「空对象类型」，它的实际语义是所有字符串键对应的属性值类型为never的对象。只要类型带了字符串索引签名，TS就会默认任意字符串键的属性都是存在的，只是值类型匹配索引签名的返回值，不会去校验属性是否真的在对象上存在。
• 访问联合类型的属性时，TS会取所有联合成员对应属性类型的联合结果作为最终属性类型：
  • 联合成员string[]的forEach属性，是数组内置的遍历方法，类型为标准的数组forEach函数类型
  • 联合成员Record<string, never>访问forEach这个字符串键时，根据索引签名得到的属性类型是never
• never是TS的底层类型，代表不可能出现的值，它和任意类型做联合运算时都会被直接消去，即T | never = T。所以最终TS推导出来的slice.forEach类型就是数组的forEach函数类型，自然不会拦截调用操作。

Record<string, never>确实可以接受无forEach方法的普通对象赋值，比如直接赋值{}是完全符合类型要求的，这时候运行时调用forEach就会抛出forEach is not a function错误，这属于TS类型系统的已知边界问题：索引签名只校验属性值的类型，不会严格校验属性是否存在。

如果要准确表达「值要么是字符串数组，要么是没有forEach方法的普通对象」的语义，不要用Record<string, never>，可以通过明确标记不存在的属性，让TS正确识别类型风险：

declare const slice: string[] | { forEach?: never };
// 直接调用slice.forEach会报类型错误，需要先做类型缩窄
if (Array.isArray(slice)) {
  slice.forEach(foo => console.log(foo)) // 缩窄为数组类型后可正常调用
}

补充：TS目前没有内置能精准表达「无任何自有属性的空对象」的类型，Record<string, never>是社区流传的近似写法，使用时要注意它存在上述索引签名带来的类型漏洞。

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