用柯里化结合泛型基类构建类型安全的前端事件驱动器，核心是固化事件类型与处理器签名：泛型基类约束事件键为字符串字面量、映射唯一处理器类型，并提供on/emit方法；柯里化分三层固化命名空间、上下文与参数，实现ts精准推导payload结构、禁止错配与缺失字段；配合条件类型支持动态异步校验分支，调用时即报错。
用柯里化结合泛型基类构建类型安全的前端事件驱动器，核心在于把“事件类型”和“处理器签名”提前固化，让每次注册或触发都自带类型推导，避免手动断言、运行时错配或参数丢失。
泛型基类定义事件契约
先定义一个可复用的泛型基类，它不关心具体业务逻辑，只约束事件名与处理器的类型关系：
- 用字符串字面量类型作为事件键（如 'click'、'user:login'），确保事件名不可拼错
- 每个事件键映射到唯一处理器函数类型，例如 (payload: User) => void
- 基类提供 on
和 emit 方法，类型参数 E 自动约束 payload 结构
柯里化固化事件域与上下文
实际使用中，不同模块可能只关心某类事件（如 auth 模块只处理登录/登出），这时用柯里化分层固化：
Galileo TypeScript sdk
下载
完整的Galileo AI平台 TypeScript/JS SDK 参考，用于评估、观察和保护 GenAI 应用。适用于构建 Node.js 或 TypeScript 项目。
- 第一层：传入事件命名空间（如 '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
，对特定事件（如 'admin:reset'）启用 beforeEmit: () => Promise - 柯里化工厂函数根据配置自动包装 emit，返回 Promise
或直接 void，类型系统区分同步/异步事件流 - 调用侧无需 if-else 判断，TS 直接按事件名推导返回值类型
前端入门到VUE实战笔记：立即使用
在学习笔记中，你将探索 前端 的入门与实战技巧！
