TypeScript函数数组无法推断最后一个函数参数类型怎么解决？

问题分析 #

你定义的FnList类型是一个元组，要求前面是任意数量的双参string函数，最后一个是单参string函数，但直接给数组标注该类型时，TypeScript无法自动推断最后一个函数的参数类型——这是因为TS在处理「剩余元素+固定末尾元素」的元组类型时，反向推导函数参数的能力存在局限性。

解决方案 #

方案1：显式标注最后一个函数的参数类型 #

最简单的方式是直接给最后一个函数的参数加上类型标注：

type FnList = [...((a: string, b: string) => void)[], (a: string) => void]

const newList: FnList = [
  (a, b) => {}, // 自动推断a: string, b: string
  (a, b) => {}, // 自动推断a: string, b: string
  (a: string) => {}, // 显式标注参数类型，解决any报错
]

方案2：使用辅助函数实现自动推断 #

如果不想手动标注，可以通过辅助函数约束参数类型，让TS自动推导：

// 拆分类型，提高可读性
type TwoArgFn = (a: string, b: string) => void;
type OneArgFn = (a: string) => void;
type FnList = [...TwoArgFn[], OneArgFn];

// 定义辅助函数，约束传入参数符合FnList类型
function buildFnList<T extends TwoArgFn[]>(...items: [...T, OneArgFn]): FnList {
  return items as FnList;
}

// 使用辅助函数创建数组，TS会自动推断所有参数类型
const newList = buildFnList(
  (a, b) => {}, // a: string, b: string
  (a, b) => {}, // a: string, b: string
  (a) => {}     // a: string，自动推断成功
);

这种方式通过函数参数的类型约束，让TypeScript能够根据OneArgFn的定义自动推断最后一个函数的参数类型，无需手动标注。

内容的提问来源于stack exchange，提问作者Aníbal Español