如何利用柯里化结合泛型基类深入构建类型安全的前端事件驱动器

用柯里化结合泛型基类构建类型安全的前端事件驱动器，核心是固化事件类型与处理器签名：泛型基类约束事件键为字符串字面量、映射唯一处理器类型，并提供on/emit方法；柯里化分三层固化命名空间、上下文与参数，实现TS精准推导payload结构、禁止错配与缺失字段；配合条件类型支持动态异步校验分支，调用时即报错。

用柯里化结合泛型基类构建类型安全的前端事件驱动器，核心在于把“事件类型”和“处理器签名”提前固化，让每次注册或触发都自带类型推导，避免手动断言、运行时错配或参数丢失。

泛型基类定义事件契约

先定义一个可复用的泛型基类，它不关心具体业务逻辑，只约束事件名与处理器的类型关系：

• 用字符串字面量类型作为事件键（如 'click'、'user:login'），确保事件名不可拼错
• 每个事件键映射到唯一处理器函数类型，例如 (payload: User) => void
• 基类提供 on<E extends keyof Events> 和 emit<E extends keyof Events> 方法，类型参数 E 自动约束 payload 结构

柯里化固化事件域与上下文

实际使用中，不同模块可能只关心某类事件（如 auth 模块只处理登录/登出），这时用柯里化分层固化：

• 第一层：传入事件命名空间（如 'auth'），返回一个只认 auth:* 事件的驱动器实例
• 第二层：传入当前组件或服务的 this 上下文（或依赖注入容器），自动绑定 handler 的 this，并支持依赖注入式参数解析
• 第三层：调用时只需传事件名和 payload，TS 能精确提示 payload 字段、禁止多余字段、不允许缺失必填项

类型安全的 emit 与 on 组合

关键不是“能调用”，而是“调用时就报错”。例如：

立即学习“前端免费学习笔记（深入）”；

• emit('user:delete', { id: '123' }) ✅ 正确 —— 类型匹配
• emit('user:delete', { id: 123 }) ❌ 报错 —— id 应为 string
• emit('user:edit', {}) ❌ 报错 —— 缺少 required 字段 name
• on('user:delete', handler) 自动推导 handler 参数为 { id: string }，无需 any 或断言

配合条件类型实现动态事件分支

当某些事件需异步校验权限或加载依赖时，可在泛型基类中嵌入条件类型：

• 定义 EventConfig<E>，对特定事件（如 'admin:reset'）启用 beforeEmit: () => Promise<boolean>
• 柯里化工厂函数根据配置自动包装 emit，返回 Promise<void> 或直接 void，类型系统区分同步/异步事件流
• 调用侧无需 if-else 判断，TS 直接按事件名推导返回值类型