TypeScript泛型恒等函数能否自动推断元组类型？

解决方案：用const泛型参数自动推断元组类型 #

如果你使用的是TypeScript 5.0及以上版本，最简单的方法就是给泛型参数加上const修饰符，不需要用户做任何额外操作，就能让函数自动推断出元组类型：

function h<const T>(x: T): T { 
  // 你的实际操作逻辑
  return x; 
}

测试效果完全符合预期：

h(['a', 2]); // T被推断为精确的元组类型['a', 2]
h(123); // T: 123（保留字面量类型）
h('stringval'); // T: 'stringval'（保留字面量类型）

原来的代码之所以会推断成联合数组，是因为TypeScript默认会把数组字面量“拓宽”成普通的联合数组类型（比如(string|number)[]）。而const泛型参数会告诉编译器：保留这个值的最精确字面量类型，不要自动拓宽，所以元组的结构和元素类型都会被完整保留下来。

兼容旧版本TypeScript的方案 #

如果需要支持TypeScript 5.0以下的版本，可以用函数重载来引导类型推断：

// 优先匹配数组/元组类型的重载
function h<T extends readonly any[]>(x: T): T;
// 匹配其他所有类型的重载
function h<T>(x: T): T;
// 函数实现体
function h<T>(x: T): T {
  return x;
}

这个重载的逻辑是：当传入的参数是数组或元组时，编译器会优先使用第一个重载，从而推断出精确的元组类型；对于非数组参数，则回退到第二个重载，完全不影响原有类型推断的行为。

这两种方案都能避免让用户手动调用辅助函数或者标记元组类型，完美实现自动推断的需求。

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