TypeScript能否不用问号，通过特殊类型实现泛型函数参数动态可选？

解决方案 #

你可以通过两种方式实现第二个参数的动态可选控制： #

方式一：条件类型推导参数元组（适合泛型依赖场景） #

把整个函数的参数列表作为整体做条件判断，完全通过泛型规则动态控制参数数量，示例如下：

class A {
    public foo:string = ''
}

// 定义参数列表的条件类型：根据第一个参数的类型返回不同的参数元组
type FuncArgs<T> = T extends A ? [arg1: T, arg2: number] : [arg1: T]

// 函数直接接收该元组作为剩余参数
function func<T>(...args: FuncArgs<T>) {
  const arg1 = args[0]
  const arg2 = args[1]
  // 后续业务逻辑
}

// 符合预期：第一个参数是A的子类型，第二个参数必填
func({ foo: 'bar'}, 10); 
// 符合预期：第一个参数非A子类型，不需要传第二个参数
func({ other: 'bar'});
// 错误提示符合预期：A类型参数不传第二个参数会提示参数数量不匹配
func({ foo: 'bar' })

这种方式不需要写多份重载签名，适合参数规则高度依赖泛型、规则灵活可变的场景。 #

方式二：函数重载（可读性更高） #

如果参数规则比较固定，用函数重载的写法更易懂，维护成本更低：

class A {
    public foo:string = ''
}

// 重载签名1：第一个参数为A子类型时，第二个参数必填
function func<T extends A>(arg1: T, arg2: number): void
// 重载签名2：第一个参数非A子类型时，不需要第二个参数
function func<T>(arg1: T): void
// 实现签名，兼容所有重载情况
function func(arg1: any, arg2?: number) {
  // 业务逻辑
}

// 符合预期
func({ foo: 'bar'}, 10); 
func({ other: 'bar'});
// 错误提示符合预期
func({ foo: 'bar' })

原写法失效原因说明 #

参数的可选标记?是函数签名的静态属性，无法通过单个参数的泛型条件类型动态控制，因此必须把参数列表作为整体做条件推导，或者通过重载拆分不同参数规则的分支。

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