如何从const定义的Record中获取字符串字面量类型

你遇到的问题核心是：给TabsDefinition加上Record<string, ReadonlyArray<Tab>>类型注解后，原本能被推断为具体字面量联合类型的MyNames变成了宽泛的string类型。这是因为Record的类型约束会让TypeScript把数组中name的字面量值（比如"general"）向上拓宽为string，覆盖了as const带来的精确推断效果。

下面是两种实用的解决方法：

方法一：使用satisfies关键字（TypeScript 4.9+推荐） #

satisfies可以验证变量类型是否符合指定约束，同时保留原始的字面量类型推断，不会像类型注解那样覆盖精确类型。

// 定义基础Tab类型
type Tab = {
  name: string;
  label: string;
};

// 用satisfies验证结构，同时保留as const的精确推断
export const TabsDefinition = {
  dimensionDetails: [
    { name: 'general', label: 'General' },
    { name: 'settings', label: 'Settings' },
    { name: 'list', label: 'List' },
  ],
} as const satisfies Record<string, ReadonlyArray<Tab>>;

// 此时MyNames会被正确推断为 "general" | "settings" | "list"
type MyNames = typeof TabsDefinition.dimensionDetails[number]['name'];

方法二：用泛型函数推导类型（兼容低版本TypeScript） #

如果你的TypeScript版本低于4.9，不支持satisfies，可以用泛型函数实现：先让函数推导出字面量的精确类型，再约束这个类型符合目标结构。

type Tab = {
  name: string;
  label: string;
};

// 泛型函数，约束输入结构，同时返回精确字面量类型
function createTabs<T extends Record<string, ReadonlyArray<Tab>>>(tabs: T) {
  return tabs as const;
}

export const TabsDefinition = createTabs({
  dimensionDetails: [
    { name: 'general', label: 'General' },
    { name: 'settings', label: 'Settings' },
    { name: 'list', label: 'List' },
  ],
});

// 同样得到 "general" | "settings" | "list"
type MyNames = typeof TabsDefinition.dimensionDetails[number]['name'];

原理说明 #

原来的写法中，直接给变量加Record<string, ReadonlyArray<Tab>>类型注解，相当于告诉TypeScript“这个变量的类型就是这个宽泛结构”，因此会忽略as const带来的精确字面量推断，把name的类型统一为string。

而上面两种方法都是先让TypeScript推导出最精确的字面量类型，再验证这个类型是否符合我们需要的结构约束，既保证了类型安全，又保留了字面量类型的精确性。

内容的提问来源于stack exchange，提问作者Kamil Kaźmierczak