TypeScript如何定义含枚举必选键与额外字符串键的对象类型并支持补全？

问题描述 #

需要声明一个对象，必须包含MyEnum的所有键（对应值类型为EnumValue），同时允许任意其他键对应string类型值。示例代码如下：

enum MyEnum {
    A = 'A',
    B = 'B',
}

type EnumValue = {
    title: string;
    infoText: string;
};

type RequiredType = Record<MyEnum, EnumValue>;

const myObj = {
    A: { infoText: 'a', title: 'a title' },
    B: { infoText: 'b', title: 'b title' },
    someOtherKey: 'string value',
};

需要解决两个问题：

• 如何为myObj指定类型，使其既满足Record<MyEnum, EnumValue>的必选键要求，又兼容任意其他键为string类型？
• 能否通过已声明的myObj推断属性，实现该对象所有键的自动补全？

解决方案 #

1. 正确指定对象类型 #

直接交叉Record<MyEnum, EnumValue>和Record<string, string>会导致类型冲突（枚举键会被同时要求为EnumValue和string），需要先排除枚举键在字符串索引中的冲突，再合并类型：

// 定义目标类型：必选枚举键对应EnumValue，其余字符串键对应string
type MyObjType = Omit<Record<string, string>, MyEnum> & Record<MyEnum, EnumValue>;

// 为对象指定类型
const myObj: MyObjType = {
    A: { infoText: 'a', title: 'a title' },
    B: { infoText: 'b', title: 'b title' },
    someOtherKey: 'string value',
    anotherKey: 'another string' // 新增符合要求的字符串键会被允许
};

这个类型的逻辑是：先用Omit<Record<string, string>, MyEnum>排除枚举键的字符串类型要求，再和Record<MyEnum, EnumValue>合并，确保枚举键必须是EnumValue，其他任意字符串键必须是string。

2. 实现对象所有键的自动补全 #

要基于已声明的myObj推断所有键并实现补全，需要结合const断言和工具类型，同时保留枚举键的必选要求：

// 用const断言让TypeScript保留对象的字面量类型信息
const myObjRaw = {
    A: { infoText: 'a', title: 'a title' },
    B: { infoText: 'b', title: 'b title' },
    someOtherKey: 'string value',
} as const;

// 提取原始对象的键类型
type MyObjRawKeys = keyof typeof myObjRaw;

// 定义最终类型：必选枚举键 + 原始对象的其他键，同时约束值类型
type MyObjInferredType = Record<MyEnum, EnumValue> & {
    [K in MyObjRawKeys]: typeof myObjRaw[K]
};

// 应用类型，此时访问myObj会自动补全所有已声明的键
const myObj: MyObjInferredType = myObjRaw as MyObjInferredType;

这样处理后，myObj不仅会强制要求包含MyEnum的所有键，还会自动补全someOtherKey等已声明的自定义键，值类型也严格匹配原始对象的定义。

如果需要支持后续新增自定义键的补全，可以调整类型为：

type MyObjInferredType = Record<MyEnum, EnumValue> & {
    [K in MyObjRawKeys]: typeof myObjRaw[K]
} & {
    [key: string]: string | EnumValue
};

既保留已有键的补全，也允许新增符合要求的任意字符串键。

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