如何根据推断类型将TypeScript可选参数设为必填？

你的核心需求是：让testing函数根据传入的键，自动约束是否必须传递对应参数——对应回调需要参数的键必须传参，不需要参数的键不能传参。当前实现因为可选参数的| undefined特性导致testing('a')不报错，下面给出通用的解决方案：

方案：利用条件类型构造参数元组 #

通过TypeScript的条件类型和参数元组，动态生成符合要求的函数参数列表：

const foo = {
  a: (arg: string) => null,
  b: () => null,
}

type Keys = keyof typeof foo;

// 获取每个键对应的回调函数参数元组
type ArgsForKey<K extends Keys> = Parameters<typeof foo[K]>;

// 动态构造函数参数：
// - 如果回调无参数，函数仅接收键
// - 如果回调有参数，函数必须接收键+对应参数
function testing<K extends Keys>(...args: ArgsForKey<K> extends [] ? [K] : [K, ...ArgsForKey<K>]) {
  const [key, ...rest] = args;
  foo[key](...rest as Parameters<typeof foo[K]>);
}

// 测试场景
testing('a', 'bar'); // ✅ 正确
testing('a', 5); // ❌ 报错：类型“5”不能赋值给“string”
testing('b'); // ✅ 正确
testing('b', 'baz'); // ❌ 报错：参数数量不匹配（期望1个，实际2个）
testing('a'); // ❌ 报错：参数数量不匹配（期望2个，实际1个）

方案说明 #

1. ArgsForKey<K>：通过Parameters工具类型提取对应键的回调函数参数元组，比如ArgsForKey<'a'>是[string]，ArgsForKey<'b'>是[]。
2. 条件判断参数结构：
   • 当参数元组为空（对应无参回调），函数参数仅允许[K]（只传键）；
   • 当参数元组非空（对应有参回调），函数参数要求[K, ...ArgsForKey<K>]（必须传键+对应参数）。
3. 函数内部调用：通过解构args拿到键和剩余参数，再传递给对应回调，as Parameters<typeof foo[K]>是为了让TypeScript正确推断参数类型，避免类型报错。

为什么原方案不生效？ #

原代码中arg?: FirstArgument<T>将参数标记为可选，TypeScript会自动为其添加| undefined类型，导致testing('a')时arg被推断为string | undefined，而foo.a的参数虽然是string，但TypeScript允许传递undefined（因为可选参数的特性），这就出现了你不期望的“不报错”情况。

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