如何让TypeScript方法参数类型与接口键值对应（规避泛型优先）

问题背景 #

我定义了用于约束事件类型和对应数据结构的接口，以及封装事件触发和监听的工具类，期望实现事件类型与数据类型严格绑定的效果，但当前代码存在类型校验漏洞，同时纠结是否必须使用泛型来解决问题。

定义的事件类型接口 #

export interface TriggerType {
    'sp:assign-topics:success': _CardGroup[],
    'one': string,
    'two': number,
}

初始实现的TriggerHelper类 #

export class TriggerHelper {
    public static trigger(type: keyof TriggerType, data?: TriggerType[typeof type]) {
        if (data === undefined) {
            data = null;
        }
        window.dispatchEvent(new CustomEvent(type, {detail: data}));
    }

    public static on(type: keyof TriggerType, callback: (data: TriggerType[typeof type]) => void) {

    }
}

当前存在的问题 #

上述代码无法阻止错误的调用方式，比如传入与事件类型不匹配的数据：

TriggerHelper.trigger('one', 43); // 'one'对应数据应为string，却传入number
TriggerHelper.trigger('two', 'hi'); // 'two'对应数据应为number，却传入string

我的核心需求：

• trigger方法的type参数必须是TriggerType的键，data参数必须是对应键的值类型
• 不想在调用trigger时手动传入泛型参数，希望实现集中式类型约束
• on方法的回调函数也能根据监听的事件类型，自动推导数据类型

解决方案：必须使用泛型（但可优化调用体验） #

你的判断是对的——要实现严格的类型绑定，泛型是唯一可行的方案。不过可以通过TypeScript的自动类型推导，避免手动传入泛型参数，兼顾类型安全和调用便捷性。

修改后的代码如下：

export class TriggerHelper {
    // 用泛型K绑定事件类型与数据类型的对应关系
    public static trigger<K extends keyof TriggerType>(type: K, data?: TriggerType[K]) {
        const eventData = data ?? null; // 更简洁的undefined处理
        window.dispatchEvent(new CustomEvent(type, {detail: eventData}));
    }

    public static on<K extends keyof TriggerType>(type: K, callback: (data: TriggerType[K]) => void) {
        window.addEventListener(type, (event) => {
            callback((event as CustomEvent).detail as TriggerType[K]);
        });
    }
}

效果验证 #

现在调用时TypeScript会自动推导泛型，无需手动传入，同时严格校验数据类型：

TriggerHelper.trigger('one', 'hello'); // ✅ 类型匹配，正常执行
TriggerHelper.trigger('one', 43); // ❌ 类型不匹配，编译报错
TriggerHelper.trigger('two', 123); // ✅ 类型匹配，正常执行
TriggerHelper.trigger('two', 'hi'); // ❌ 类型不匹配，编译报错
TriggerHelper.trigger('sp:assign-topics:success', []); // ✅ 类型匹配，正常执行

为什么必须用泛型？ #

原代码中TriggerType[typeof type]的问题在于：typeof type是keyof TriggerType的联合类型，因此TriggerType[typeof type]会变成所有值类型的联合（string | number | _CardGroup[]），TypeScript无法将单个事件类型与对应的具体数据类型关联起来。

只有通过泛型K，将type约束为某个具体的键，才能让TriggerType[K]指向该键对应的唯一值类型，实现真正的类型安全校验。

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