为何TypeScript对makeSafe函数的参数类型推断结果不同？

第一个版本的推断逻辑 #

泛型定义为 <Args extends string | number, R>，参数类型是 (...args: Args[])：

• 这里的Args被约束为单个的string或number类型，因此Args[]代表的是由同类型元素组成的数组（比如纯number[]、纯string[]，或是无固定顺序的(string | number)[]）。
• 当传入参数为(a: number, b: string) => string时，TypeScript需要找一个符合string | number的Args来适配，但原函数的参数是number和string两种不同类型且有固定顺序，所以只能将Args推断为string | number，对应参数数组就是(string | number)[]。这种数组类型允许任意顺序的混合元素，和原函数要求的「第一个参数必须是number、第二个必须是string」的固定结构不兼容，因此触发类型报错。

第二个版本的推断逻辑 #

泛型定义为 <Args extends (string | number)[], R>，参数类型是 (...args: Args)：

• 这里的Args被约束为元素是string或number的数组/元组类型。TypeScript在处理剩余参数...args: Args时，会优先将传入的参数列表推断为元组类型——因为元组可以精确描述参数的顺序、数量和每个位置的具体类型，比普通数组更贴合函数参数的结构。
• 当传入(a: number, b: string) => string时，TypeScript会直接把Args推断为[number, string]这个元组，完全匹配原函数的参数结构，因此不会报错，测试可以通过。

核心差异总结 #

两个版本的本质区别在于泛型约束的目标：

• 第一个版本约束的是单个参数的类型，只能推导出无固定顺序的同类型/混合类型数组，无法表达多参数的固定类型顺序；
• 第二个版本约束的是整个参数列表的数组/元组类型，TypeScript会用元组精确匹配参数的结构，从而兼容原函数的参数要求。

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