TypeScript中如何基于字符串常量元组从指定类型提取对应类型生成新元组

要实现你想要的类型转换，核心是利用TypeScript对const元组的字面量类型支持和元组映射类型的特性，下面直接上完整示例和分步解释：

完整示例代码 #

// 你的const元组（确保用as const锁定字面量类型）
const tuple = ["a", "b", "n"] as const;

// 对应的目标类型
type MyType = {
  a: string;
  b: number;
  n: boolean;
};

// 生成对应顺序的元组类型
type MyTypeToTuple = { 
  -readonly [K in keyof typeof tuple]: MyType[typeof tuple[K]] 
};

// 验证结果：MyTypeToTuple 等价于 [string, number, boolean]
type Test = MyTypeToTuple; // 鼠标hover可以看到类型是 [string, number, boolean]

关键步骤解释 #

1. 锁定元组的字面量类型：
   你用as const定义的tuple，其类型是readonly ["a", "b", "n"]——这是一个readonly的字面量元组，而非宽泛的string[]。这一步很重要，它让TypeScript能记住元组中每个元素的具体值和顺序。

2. 元组的映射类型：
   TypeScript允许对元组类型进行映射遍历，当你写{ [K in keyof typeof tuple]: ... }时：

   • keyof typeof tuple得到的是元组的索引字面量（"0"、"1"、"2"），而非泛泛的number，这保证了遍历会严格按照原元组的顺序进行。
   • typeof tuple[K]会取出元组对应位置的字面量值（"a"、"b"、"n"），再通过MyType[typeof tuple[K]]获取对应属性的类型。

3. 移除readonly修饰符（可选）：
   因为原元组是readonly的，默认映射出来的类型也是readonly元组。如果需要普通的可变元组类型，就在映射类型前加-readonly修饰符，如示例中所示。

额外的类型安全保障 #

如果你的元组中出现了MyType不存在的属性名，TypeScript会直接抛出类型错误，帮你提前发现元组和类型定义不一致的问题——这是类型系统带来的额外好处。

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