TypeScript元组式API类型：函数参数类型未正确推断问题

核心问题原因 #

TypeScript对联合元组类型的自动窄化能力有限：当直接将变量声明为Expected这类联合元组类型时，TS无法根据元组第一个元素（如'init'、'destroy'）的字面量值，自动锁定到对应的具体元组分支，导致函数参数被推断为所有可能参数的联合类型（或any，取决于TS配置），仅当参数完全不符合所有分支类型时才会触发报错。

解决方案1：用泛型函数约束创建逻辑（推荐） #

通过泛型函数接收元组，让TS反向推断出精确的元组类型，从而正确推导函数参数：

// 定义基础元组类型
type InitType = ['init', (arg: string) => void];
type DestroyType = ['destroy', (arg: number) => void];
type GetType = ['get', () => string];
type Expected = InitType | DestroyType | GetType;

// 泛型函数：约束输入为Expected的子类型，并返回精确类型
function createAction<T extends Expected>(action: T): T {
  return action;
}

// 参数类型自动推断正确
const test = createAction(['init', (arg) => {
  // arg 被推断为 string
  console.log(arg.toUpperCase());
}]);

const test1 = createAction(['destroy', (arg) => {
  // arg 被推断为 number
  console.log(arg.toFixed(2));
}]);

// 错误被正确检测：get类型的函数不接受参数
const test2 = createAction(['get', (arg) => { 
  return 'test';
}]);

解决方案2：手动指定具体元组类型 #

如果不需要动态创建，也可以直接将变量声明为具体的元组类型，跳过联合类型的模糊推断：

const test: InitType = ['init', (arg) => {
  // arg 被推断为 string
}];

const test1: DestroyType = ['destroy', (arg) => {
  // arg 被推断为 number
}];

内容的提问来源于stack exchange，提问作者Jarno van Rhijn