如何基于字典对象的键值自动生成对应TypeScript类型

核心逻辑是通过typeof获取常量值对应的TypeScript类型，搭配as const避免类型拓宽，完全不需要重复编写键值的类型定义，字典更新时类型会自动同步。

原写法不生效的原因 #

• 手动给常量标注了宽泛类型（比如值类型为string）时，TypeScript会直接丢失具体的字面量值信息，无法推导出精确的键值对应关系
• keyof只能作用于类型空间，要获取值对应的类型，必须先通过typeof把值空间的常量转为类型空间的对应类型
• 自定义映射类型报Type 'KeyOptions' is not assignable to type 'string | number | symbol'错误，是因为泛型参数没有添加合法对象键的类型约束

最简实现步骤 #

1. 定义常量时添加as const断言，不要给常量手动标注会丢失字面量信息的宽泛类型：

export const SHIPMETHODS = {
    'UPS': 'GND',
    'UPS AIR2': '2DA',
    'UPS 3DAY SELECT': '3DS'
} as const;

as const会告诉TypeScript该对象的所有属性只读、不会被修改，不需要做类型拓宽，保留最精确的键、值字面量类型

2. 直接从常量推导所有需要的类型，无需重复编写键值内容：

// 推导得到和手写完全一致的映射类型
export type ShipMethodOptionMap = typeof SHIPMETHODS;

// 推导得到键的联合类型：'UPS' | 'UPS AIR2' | 'UPS 3DAY SELECT'
export type UpsShipMethodOption = keyof typeof SHIPMETHODS;

// 额外可以直接推导值的联合类型：'GND' | '2DA' | '3DS'
export type UpsShipMethodValue = ShipMethodOptionMap[UpsShipMethodOption];

带结构校验的进阶写法 #

如果需要约束字典必须符合特定结构（比如值必须为字符串类型，避免编写时出错），同时不丢失字面量类型，可以按TS版本选择对应方案：

TS 4.9及以上版本（推荐） #

用satisfies操作符做结构校验，既会校验对象是否符合规则，又不会拓宽类型丢失字面量信息：

// 定义通用的字典结构约束
type OptionsMap = Record<string, string>;

export const SHIPMETHODS = {
    'UPS': 'GND',
    'UPS AIR2': '2DA',
    'UPS 3DAY SELECT': '3DS'
} as const satisfies OptionsMap;

如果编写字典时值类型错误（比如传入数字），TS会直接抛出类型错误提示。

TS 4.9以下版本 #

通过泛型工具函数实现同等效果：

const createOptionsMap = <T extends Record<string, string>>(map: T) => map as const;

export const SHIPMETHODS = createOptionsMap({
    'UPS': 'GND',
    'UPS AIR2': '2DA',
    'UPS 3DAY SELECT': '3DS'
});

原泛型映射类型的修复方式 #

如果确实需要使用预声明键联合的映射类型，给泛型参数添加extends PropertyKey约束即可解决报错，但这种方式依然需要手动维护键的联合类型，维护成本更高：

// PropertyKey是TS内置类型，等价于string | number | symbol
export type OptionsMap<KeyOptions extends PropertyKey> = {
    readonly [Property in KeyOptions]: string;
}

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