TypeScript中unknown类型函数参数兼容性问题：如何不用any定义可运行函数

为什么代码会报错？ #

TypeScript对函数类型的兼容性遵循逆变规则：当你把一个函数赋值给另一个函数类型时，源函数的参数类型必须能兼容目标函数的参数类型（简单说，目标函数的参数类型得是源函数参数类型的父类型）。

你的目标类型(...args: unknown[]) => unknown代表“可以接收任意数量、任意类型参数的函数”，但你要赋值的(xx: number) => {}只能接受number类型的参数。如果允许这种赋值，后续调用y时（比如y('abc')），目标类型允许传任意unknown类型的值，但实际执行的函数会收到string类型的参数，和它期望的number类型冲突，会引发运行时错误。所以TypeScript直接抛出了类型不兼容的报错。

满足需求的解决方案 #

要让y能存储任意可运行的函数，同时尽量避免any，可以用以下几种方式：

1. 使用Function类型 #

Function是所有函数类型的基类，能兼容任何函数。虽然调用它时返回值是any，但比直接用any更具语义，明确表示变量是函数：

const y: Function = (xx: number) => {}; // 正常通过类型检查

2. 使用unknown类型 #

如果想要更严格的类型安全，用unknown存储函数。调用前必须先做类型判断或断言，确保操作合法：

const y: unknown = (xx: number) => {}; // 正常通过类型检查

// 调用前先确认类型
if (typeof y === 'function') {
  // 通过类型断言指定函数具体类型后调用
  (y as (xx: number) => void)(32);
}

3. 泛型定义通用函数类型 #

如果需要保留函数的参数和返回值类型信息，可以用泛型定义通用类型。这种方式适合需要明确函数类型的场景：

type GenericFunction<Args extends unknown[] = unknown[], Return = unknown> = (...args: Args) => Return;

// 手动指定泛型参数，匹配函数的参数和返回值类型
const y: GenericFunction<[number], void> = (xx: number) => {}; // 正常通过类型检查

关于unknown的工作机制 #

unknown是TypeScript最安全的顶层类型，代表“未知类型”——和any不同，你不能直接操作unknown类型的值，必须先做类型缩小或断言。

在这个场景里，(...args: unknown[]) => unknown要求函数能接收任意unknown类型的参数，但你的源函数只能处理number类型，无法保证调用时传入的unknown值符合要求，这就是TypeScript拒绝赋值的核心原因。这也体现了unknown的设计初衷：在类型不确定时强制你做类型检查，避免不安全的操作。

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