TypeScript中如何实现基于首个参数类型的条件必填参数？

问题原因 #

你的原代码存在两个核心问题：

• 泛型T没有和第一个参数的类型绑定，TS无法根据第一个入参的实际类型推断T的取值，自然无法触发条件类型的逻辑
• TypeScript 中「参数类型允许为undefined」和「参数可选」是两个独立规则：即便参数类型是xx | undefined，只要没有加?修饰符，TS仍然要求你必须显式传入该参数（哪怕传的是undefined），所以会抛出参数数量不匹配的错误。

解决方案 #

方案1：函数重载（推荐） #

这是最直观、智能提示最友好的实现方式，直接为两种入参场景定义不同的重载签名即可：

// 重载签名：第一个参数为string时，仅需1个参数
function func(arg1: string): void;
// 重载签名：第一个参数为number时，需要传递第二个参数
function func<P>(arg1: number, arg2: P): void;
// 实现签名
function func(arg1: string | number, arg2?: any) {
  // 内部实现逻辑
}

// 调用测试
func('foo'); // 正常无报错
func(123); // 报错：需要2个参数，但只传入了1个
func(123, 'bar'); // 正常

方案2：条件类型推导参数列表 #

如果后续需要扩展更多参数分支，不想写大量重复的重载签名，可以用条件类型直接推导整个参数数组的结构：

// 条件推导参数列表类型
type FuncArgs<T extends string | number, P> = 
  T extends string ? [arg1: T] : [arg1: T, arg2: P];

function func<T extends string | number, P>(...args: FuncArgs<T, P>) {
  const [arg1, arg2] = args;
  // 内部实现逻辑
}

// 调用效果和重载方案完全一致
func('foo');
func(123, 'bar');

内容的提问来源于stack exchange，提问作者cyrus-d