如何将元组条目映射为TypeScript对象类型？

你当前的MapTuple类型之所以每个键对应的值都是所有元组元素的联合类型，是因为在使用I in keyof T遍历元组索引时，T[I]会被TypeScript推断为元组所有元素的联合，而非单个元素的类型。

正确的类型定义 #

可以通过遍历元组元素的联合类型来实现键与值的一一对应：

type MapTuple<
  T extends readonly Record<PropertyKey, unknown>[],
  K extends keyof T[number]
> = {
  [E in T[number] as E[K] & PropertyKey]: E;
};

原理说明 #

• 用E in T[number]直接遍历元组中所有元素的联合类型，每个E代表元组里的单个元素
• 通过as E[K] & PropertyKey将元素的指定字段K转换为对象的键
• 此时值的类型就是当前遍历的单个元素E，而非所有元素的联合

测试验证 #

type Values = [{ ref: "a" }, { ref: "b" }, { ref: "c" }];
type Test = MapTuple<Values, "ref">;

生成的类型符合预期：

{
    a: { ref: "a"; };
    b: { ref: "b"; };
    c: { ref: "c"; };
}

注意事项 #

如果元组中存在多个元素的K字段值相同，最终对象中对应的键会保留最后一个元素的类型（TypeScript对象类型的键重复时会覆盖）。

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