TypeScript中能否实现函数隐式泛型推导，自动根据输入数组推导返回类型？

你之前写的基础泛型版本（function randomChoice<T>(arr: readonly T[])）本身就已经支持自动类型推导——传数字数组TS就会把T推成number，传字符串数组TS就会把T推成string，根本不需要手动写<number>/<string>。你之前的显式泛型标注属于多余操作，本质是把「空数组返回null的边界判断」和「泛型需要手动指定」两个问题搞混了。

优化的函数实现 #

通过函数重载结合泛型，就能拿到完全自动推导的精确类型，同时保留空数组的边界判断逻辑：

// 重载1：匹配非空数组入参，返回值直接为数组元素类型，不包含null
function randomChoice<T>(arr: readonly [T, ...T[]]): T;
// 重载2：匹配任意数组入参，返回值可能为null
function randomChoice<T>(arr: readonly T[]): T | null;
// 内部实现（不会被外部调用的类型提示匹配）
function randomChoice<T>(arr: readonly T[]): T | null {
  if (arr.length === 0) {
    return null;
  }
  return arr[Math.floor(Math.random() * arr.length)];
}

实际类型效果 #

• 传入数字数组const a = [1,2,3,4]：TS自动推导返回值类型为number，此时写randomChoice(a).length会直接报类型错误（number类型不存在length属性），和预期完全一致
• 传入字符串数组const b = ['1','2','3','4']：TS自动推导返回值类型为string，此时写randomChoice(b).length不会触发类型错误，和预期完全一致
• 传入空数组时：TS会自动把返回值类型标记为null，提醒你做空值兼容处理，符合函数的实际逻辑

额外特性 #

• 如果传入用as const定义的只读元组（比如const c = [1, '2', true] as const），TS会自动把返回值推导为元组元素的精确联合类型（1 | '2' | true），不会泛化成宽泛的基础类型
• 整个实现完全不需要在调用处手动标注任何泛型参数，所有类型推导由入参自动完成

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