TypeScript中{ [key: string]: unknown }与{ [key: string]: any }的差异：为何函数可赋值给后者？

这个问题的核心在于TypeScript对any和unknown这两个顶级类型的兼容性规则差异，以及any独有的“类型逃逸舱”属性。

先拆解unknown的报错原因 #

{ [key: string]: unknown }是一个带有字符串索引签名的类型，它对赋值的对象有明确要求：

• 必须是对象类型；
• 支持通过任意字符串键访问，且访问结果的类型要能匹配unknown。

虽然函数在JavaScript里本质是对象，但它并没有定义“任意字符串键都可访问”的索引签名——它只有一些内置属性（比如name、length、prototype），但TypeScript不会把这些内置属性等同于“支持全局字符串索引”。所以当你尝试把函数赋值给{ [key: string]: unknown }时，TypeScript会严格校验结构匹配度，发现函数不符合索引签名的要求，因此抛出错误。

再看any的兼容逻辑 #

any是TypeScript里最特殊的类型之一，它的设计初衷就是跳过大部分类型检查，几乎能和所有类型双向兼容。

对于{ [key: string]: any }这个类型：

1. 函数作为JS对象，满足“是对象”的基本前提；
2. 因为索引签名的返回值是any，TypeScript不会去验证这个对象是否真的支持所有字符串键——哪怕你访问一个不存在的键，any类型也能接受任何结果，不会触发类型错误。

简单来说，any的“宽松性”让TypeScript放弃了对结构的严格校验，所以函数可以顺利赋值给{ [key: string]: any }。

一句话总结 #

• unknown是类型安全的顶级类型，要求赋值的类型必须严格匹配结构；
• any是不安全的顶级类型，通过跳过类型检查实现了几乎无限制的兼容性。

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