TypeScript初始化器中条件类型无法赋值undefined的函数类型定义问题

需求与现有代码 #

想要定义一个函数，当Events[Event]的类型为void或undefined时，函数仅接受一个参数；当类型为其他值时，必须传入第二个参数（也可传undefined）。现有代码如下：

type Events = {
    ping: void,
    debug: string;
};
const emit =
    <Event extends keyof Events, Data extends Events[Event]>
        (event: Event, data: Data extends void ? undefined : (Data | undefined) = undefined) =>
        console.log(`Event ${event} with data ${data}`);

emit("ping"); // 预期通过类型检查
emit("debug"); // 预期不通过类型检查
emit("debug", "output"); // 预期通过类型检查

遇到的问题 #

使用参数初始化器= undefined时，出现类型错误：

Type 'undefined' is not assignable to type 'Data extends void ? undefined : Data | undefined'

这并非TypeScript的bug，而是因为泛型参数Data在函数定义阶段尚未被具体化，TypeScript无法确定条件类型的最终结果，因此无法确认undefined是否能安全赋值给该类型。

解决方案 #

方案一：函数重载 #

通过重载明确不同事件对应的参数要求，类型检查逻辑更直观：

type Events = {
  ping: void;
  debug: string;
};

// 重载签名：定义不同事件的参数规则
function emit(event: "ping"): void;
function emit(event: "debug", data: string | undefined): void;
// 实现签名：统一处理逻辑
function emit(event: keyof Events, data?: unknown) {
  console.log(`Event ${event} with data ${data}`);
}

emit("ping"); // ✅ 通过
emit("debug"); // ❌ 报错：缺少必需的参数
emit("debug", "output"); // ✅ 通过
emit("debug", undefined); // ✅ 通过

方案二：泛型条件与剩余参数 #

利用条件类型生成不同的参数数组，让TypeScript根据事件类型自动推断参数数量：

type Events = {
  ping: void;
  debug: string;
};

type EmitFn = {
  <Event extends keyof Events>(
    event: Event,
    ...args: Events[Event] extends void ? [] : [data: Events[Event] | undefined]
  ): void;
};

const emit: EmitFn = (event, data?) => {
  console.log(`Event ${event} with data ${data}`);
};

emit("ping"); // ✅ 通过
emit("debug"); // ❌ 报错：缺少必需的参数
emit("debug", "output"); // ✅ 通过
emit("debug", undefined); // ✅ 通过

这两种方案都能满足需求：ping事件无需传入第二个参数，debug事件必须传入第二个参数（可传undefined）。

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