TypeScript如何避免重复指定枚举值实现类型安全的事件创建

你当前编写的createEvent函数已经完全满足需求，根本不需要重复传入两次枚举值。

1. 直接利用TS自动泛型推导，无需手动指定泛型参数 #

TypeScript 会根据函数传入的第一个eventId参数自动推导泛型K的实际类型，你完全不需要手动在函数名后的尖括号里写EventId.FOO，直接传参即可获得完整的类型校验能力：

// 无需加<EventId.FOO>泛型标注，TS自动推导返回值为EventRequest<EventId.FOO>
const event = createEvent(EventId.FOO, {
  fooOption: 'testing'
});

// 传入多余字段会直接触发类型报错，和直接写类型标注的效果完全一致
const badEvent = createEvent(EventId.FOO, {
  fooOption: 'testing',
  bad: false // ❌ 类型错误：对象字面量不能存在未知字段"bad"
});

你之前写的手动指定泛型的写法属于冗余代码——对于所有泛型参数都来自函数入参的场景，TS的自动推导是100%可靠的，不需要额外标注泛型。

2. 为什么无法实现「仅传泛型、不传运行时参数」的效果 #

不存在仅通过泛型参数指定枚举值的可行方案。TypeScript的类型系统仅在编译阶段生效，所有泛型、接口、类型标注都会在编译为JS后被完全擦除，运行时根本拿不到你传入的泛型参数对应的枚举值，自然无法给返回的对象填充正确的eventId字段。
如果硬要实现类似效果，你必须额外维护一份泛型到运行时值的映射表，本质上还是重复书写了枚举值，反而会增加后续维护的成本（新增枚举值时要同时改映射表），没有实际收益。

3. 进一步减少样板代码的优化方案 #

如果业务中某几类事件的创建频率非常高，可以通过柯里化提前生成对应事件的专用创建函数，后续调用时只需要传options即可：

// 通用柯里化工厂
function makeEventCreator<K extends EventId>(eventId: K) {
  return (options: EventIdOptionsMap[K]): EventRequest<K> => {
    return createEvent(eventId, options);
  }
}

// 提前初始化高频事件的创建函数，只需要写一次枚举值
const createFooEvent = makeEventCreator(EventId.FOO);
const createBarEvent = makeEventCreator(EventId.BAR);

// 后续调用完全不需要再传枚举值，自动带类型校验
const fooEvt = createFooEvent({ fooOption: 'test' }); // ✅ 类型正确
const badFooEvt = createFooEvent({ barOption: 123 }); // ❌ 类型错误

补充说明 #

如果你把options抽成独立变量再传入函数，TS默认不会触发严格的多余字段检查（这是TS结构类型系统的默认兼容规则，和泛型推导无关）。如果需要和内联写对象字面量一样的严格校验，可以给独立变量加as const断言，或者直接在函数调用位置内联写options对象。

内容的提问来源于stack exchange，提问作者AlexMorley-Finch