如何从嵌套对象中推导属性为联合类型？

要实现这个需求，核心是让TypeScript保留对象属性值的字面量类型，再通过索引类型提取目标联合类型，具体步骤如下：

1. 锁定对象的字面量类型 #

首先给原对象加上as const断言，让TypeScript将每个answer的值识别为具体的字符串字面量，而非宽泛的string类型：

const data = {
  question1: {
    answer: 'answer1',
  },
  question2: {
    answer: 'answer2',
  },
  question3: {
    answer: 'answer3',
  },
} as const;

2. 定义目标联合类型 #

通过TypeScript的索引类型特性，逐层提取answer的类型：

type AnswerUnion = typeof data[keyof typeof data]['answer'];

逻辑拆解： #

• typeof data：获取data的完整类型结构
• keyof typeof data：得到data所有键的联合类型 'question1' | 'question2' | 'question3'
• typeof data[keyof typeof data]：通过键联合类型索引，得到所有问题对象的类型联合
• 最后通过['answer']索引，提取出所有answer值的字面量联合类型，也就是预期的'answer1' | 'answer2' | 'answer3'

关键说明 #

如果不加as const，TypeScript会默认把answer的值推断为string类型，最终得到的联合类型会是string而非具体的字面量集合，所以as const是实现精确类型推导的核心。

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