如何将嵌套对象的值用作TypeScript类型

你之前的Leaves类型生成的是键路径字符串（比如foo1.bar1），但TypeScript的类型系统无法直接将这种点分隔的字符串拆解为多层索引（categories['foo1']['bar1']），所以需要换一种思路：直接遍历对象的嵌套结构，收集所有叶子节点的值类型。

正确的工具类型实现 #

我们可以写一个递归的工具类型，直接提取所有叶子值的联合类型：

type ExtractLeafValues<T> = T extends object 
  ? { [K in keyof T]: ExtractLeafValues<T[K]> }[keyof T] 
  : T;

然后用这个类型处理你的categories对象：

const categories = {
  foo1: {
    bar1: "baz1"
  },
  foo2: {
    bar2: "baz2"
  }
} as const;

type CategoryValues = ExtractLeafValues<typeof categories>; 
// 类型为 "baz1" | "baz2"

// 最终实现你想要的Item类型
type Item = {
  categories: Array<CategoryValues>;
};

为什么之前的方法不生效？ #

你尝试用typeof categories[CategoryKeys]是行不通的，因为：

• CategoryKeys是"foo1.bar1" | "foo2.bar2"，这是单个字符串字面量，不是categories的顶层键（顶层键是foo1、foo2）
• TypeScript的类型索引只能接受当前层级的键，无法解析点分隔的路径字符串。比如categories['foo1.bar1']相当于尝试访问顶层键为"foo1.bar1"的属性，而不是先访问foo1再访问bar1。

扩展：支持深层嵌套的通用版本 #

如果你的对象有更深的嵌套层级，上面的工具类型也能正常工作，比如：

const deepCategories = {
  a: {
    b: {
      c: "val1"
    },
    d: "val2"
  },
  e: "val3"
} as const;

type DeepLeafValues = ExtractLeafValues<typeof deepCategories>;
// 类型为 "val1" | "val2" | "val3"

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