Record<string, unknown>与Record<string, any>的异常行为探究

先看两种场景的代码对比：

场景1：使用Record<string, unknown> #

function fn(param: Record<string, unknown>) {
  //...
}

fn({ hello: "world" }); // 正常运行
fn(["hi"]); // 报错 -> Index signature for type 'string' is missing in type 'string[]'

这是合理的，因为数组的索引签名是number类型，而Record<string, unknown>要求的是string类型的索引签名，二者不兼容。

场景2：使用Record<string, any> #

function fn(param: Record<string, any>) {
  //...
}

fn({ hello: "world" }); // 正常运行
fn(["hi"]); // 同样正常运行

问题： #

Record的键类型并未改变，仅将值类型改为any，数组的索引签名仍为number，为何此时不会报错？

解答： #

核心原因是TypeScript对any类型的特殊兼容规则：

1. Record<string, T>的本质：它定义了一个带有字符串索引签名的类型，要求所有通过字符串键访问的属性值都必须兼容T类型。
2. 数组的索引特性：数组自带数字索引签名，元素通过数字键访问，返回对应元素类型（比如string[]的数字索引返回string）。

当T为unknown时，TypeScript的类型检查是严格的：数字索引和字符串索引属于不同的签名类型，string[]无法满足Record<string, unknown>的字符串索引要求，因此报错。

当T换成any时，情况完全不同：

• any是TypeScript中最宽松的类型，任何类型都可以赋值给any，any也可以赋值给任何类型；
• 涉及any的类型检查会被大幅放宽，TypeScript会默认允许很多严格类型下不合法的兼容场景。

具体到这个场景：数组的数字索引返回的string类型可以自动适配Record<string, any>的字符串索引要求——因为string可以赋值给any，TypeScript判定这种兼容是合法的，因此不再抛出索引签名不匹配的错误。

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