如何让TypeScript识别嵌套循环中依赖外层键的内层键类型？

解决嵌套循环中TypeScript类型推断问题的方案 #

你的问题核心在于for...in循环里TypeScript无法追踪当前迭代的具体键类型，导致第二层键被推断为never。我们可以通过泛型函数+具体键类型遍历的方式解决，同时消除冗余代码，全程保持类型安全（不用any或不必要的断言）。

首先，先明确我们的类型定义（模拟你的场景，你可以替换成实际类型）：

// 示例子类型
type tFoo1 = { a: string; b: number };
type tFoo2 = { c: boolean; d: string };
type tFoo3 = { e: number };

// 顶层foo类型
type tFoo = { foo1: tFoo1; foo2: tFoo2; foo3: tFoo3 };

// 自动推导扁平化键类型（替代手动维护的tFooFlattenedKeys）
type tFooFlattenedKeys = { 
  [K in keyof tFoo]: `${K}-${keyof tFoo[K]}` 
}[keyof tFoo];
// 推导结果：'foo1-a' | 'foo1-b' | 'foo2-c' | 'foo2-d' | 'foo3-e'

接下来，我们封装一个泛型函数来处理单个顶层键的嵌套逻辑，让TypeScript能明确锁定当前处理的键类型：

function processFooSection<K extends keyof tFoo>(
  foo: tFoo,
  firstKey: K,
  getValue: (key: tFooFlattenedKeys) => tFoo[K][keyof tFoo[K]]
) {
  const section = foo[firstKey];
  // 将Object.keys的结果断言为当前section的键数组（因为Object.keys默认返回string[]）
  (Object.keys(section) as Array<keyof typeof section>).forEach(secondKey => {
    // 模板字符串类型自动匹配扁平化键，无需手动断言
    const flattenedKey = `${firstKey}-${secondKey}` as tFooFlattenedKeys;
    section[secondKey] = getValue(flattenedKey);
  });
}

最后，遍历所有顶层键并调用这个函数即可：

const foo: tFoo = {
  foo1: { a: '', b: 0 },
  foo2: { c: false, d: '' },
  foo3: { e: 0 }
};

// 用as const将数组类型锁定为具体的联合类型，确保forEach中firstKey是单个键类型
(['foo1', 'foo2', 'foo3'] as const).forEach(firstKey => {
  processFooSection(foo, firstKey, this.getValueOfFoo);
});

为什么这个方案有效？ #

1. 泛型锁定类型：泛型K会捕获当前迭代的具体顶层键（比如'foo1'），TypeScript能据此推断出对应的第二层键类型（比如keyof tFoo1），再也不会出现never类型。
2. 自动推导扁平化键：通过映射类型自动生成tFooFlattenedKeys，不用手动维护，避免出错。
3. 消除冗余代码：把重复的嵌套循环逻辑封装到泛型函数中，只需一次遍历顶层键即可完成所有操作，替代原来10多个独立循环。
4. 类型安全：全程没有使用any，扁平化键的类型匹配完全由TypeScript自动处理，无需手动断言（除非你手动定义了tFooFlattenedKeys，但自动推导更可靠）。

如果你的tFooFlattenedKeys是手动定义的，只要它和自动推导的类型一致，上述代码依然可以正常工作——TypeScript会自动验证${firstKey}-${secondKey}是否属于该类型。

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