TypeScript中如何遍历Parameters生成的参数元组类型

TypeScript 存在完全隔离的值空间与类型空间：

• 你声明的let i = 0是值空间的运行时变量，类型系统在编译阶段完成所有类型计算时，根本感知不到运行时变量的值，因此不能把值变量放在类型索引的位置，这就是报错提示i refers to a value, but is being used as a type here的根源。
• 你之前用固定索引访问类型成员之所以能生效，是因为TestParams[0]里的0是类型层面的数字字面量类型，不是值层面的数字0。
• 类型层面不存在运行时的for循环语法，遍历元组类型需要用TS原生的类型语法实现。

根据具体场景二选一即可：

1. 映射类型（适合批量转换元组成员） #

元组本质是键为数字字面量的特殊对象类型，直接用keyof搭配映射类型语法，就能按顺序遍历所有元组成员，T[K]就是当前遍历到的成员类型。这种写法是TS官方原生支持的元组遍历逻辑，会自动保留元组的长度、顺序结构，不会把元组误转为普通联合类型或数组类型。

function auxFunction(arg1: number, arg2: string, arg3: boolean): string {
  return arg1 + arg2;
}
type TestParams = Parameters<typeof auxFunction>;

// 遍历元组，对每个成员类型做自定义处理
type ProcessEachParam<T extends unknown[]> = {
  [K in keyof T]: 
    // 此处写单类型处理逻辑，示例为将每个类型包裹为Promise类型
    Promise<T[K]>
}

type ProcessedParams = ProcessEachParam<TestParams>;
// 类型计算结果：[Promise<number>, Promise<string>, Promise<boolean>]

2. 递归条件类型（适合逐成员做分支判断、累积计算） #

如果需要按顺序逐个取出成员类型做条件判断、累积计算结果，可以用递归+infer推断首元素的方式实现类型层面的“循环”：每次取出元组第一个元素处理，再把剩余元素组成的元组递归传入，直到元组为空时终止递归。

// 示例：遍历元组，将所有string类型的成员替换为null，其余类型保留
type WalkAndReplace<T extends unknown[]> = 
  // 推断第一个元素为First，剩余元素组成的元组为Rest
  T extends [infer First, ...infer Rest]
    ? First extends string
      ? [null, ...WalkAndReplace<Rest>] // 是string类型则替换，继续遍历剩余元素
      : [First, ...WalkAndReplace<Rest>] // 非string类型则保留，继续遍历剩余元素
    : [] // 递归终止条件：元组为空时返回空数组

type ReplacedParams = WalkAndReplace<TestParams>;
// 类型计算结果：[number, null, boolean]

如果你的需求是运行时遍历函数传入的实参，不需要做类型层面的遍历，直接用普通JS的for/forEach等循环逻辑遍历参数列表即可，TS会自动根据TestParams元组类型推导每个遍历项的类型。

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