能否配置TypeScript使泛型函数尾参数类型为undefined时可省略？

TypeScript没有内置配置项直接实现你要的需求，但可以通过函数重载精准达成目标——让泛型函数在末尾参数类型为undefined时允许省略，非undefined时强制要求传入。

具体实现代码 #

type Events = {
  readonly first: { readonly foo: string };
  readonly second: undefined;
}

// 重载签名1：当payload类型不是undefined时，必须传入第二个参数
function sendEvent<Name extends keyof Events>(name: Name, payload: Exclude<Events[Name], undefined>): void;
// 重载签名2：当payload类型是undefined时，第二个参数可选（可省略）
function sendEvent<Name extends keyof Events>(name: Name): void;

// 函数实现
function sendEvent<Name extends keyof Events>(name: Name, payload?: Events[Name]) {
  console.log(`SEND EVENT "${name}"`, name, payload);
}

// 测试用例
sendEvent('first', { foo: 'bar' }); // ✅ 正常执行
sendEvent('second', undefined); // ✅ 正常执行
sendEvent('first'); // ❌ 报错（缺少必填参数，符合预期）
sendEvent('second'); // ✅ 正常执行（符合期望，无需传undefined）

方案说明 #

• 两个重载签名分别对应两种场景：Exclude<Events[Name], undefined>用来过滤出payload类型不为undefined的事件名，确保这类调用必须传入第二个参数；第二个重载则针对payload为undefined的情况，允许省略参数。
• TypeScript会根据你传入的name自动匹配对应的重载规则，既满足了灵活省略参数的需求，又严格保证了类型安全。

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