TypeScript如何根据泛型条件动态设置函数参数是否可选

1. TypeScript 中参数是否允许省略本质由两个规则共同决定：
   • 语法层面是否给参数添加了可选标记?，这是优先级最高的判断依据
   • 仅当参数类型是直接书写在参数定义位置的、包含void的非泛型联合类型时，TS 会做特殊兼容，允许省略参数；但如果该类型是通过泛型、条件类型计算得到的派生类型，这个兼容规则不会生效
2. 你定义的OptionalIf是条件类型，哪怕泛型默认值为null时计算得到的类型是number | void，TS 也不会自动将该参数识别为可省略，只会按语法层面的「无?标记」判定为必填参数，这就是你 hover 看类型正确但调用报错的根本原因。

可以通过条件类型+参数元组的方式实现需求，直接通过类型控制参数的可选性，无需写多重重载：

// 调整辅助类型：返回参数元组，直接内置可选标记
type OptionalIf<S, T> = S extends null ? [arg?: T] : [arg: T]

// 用剩余参数接收元组类型
function f<S = null>(...[arg]: OptionalIf<S, number>) {
  // 函数内部逻辑正常使用arg即可
}

// 调用测试
f(2); // 正常
f(); // 正常，无报错

如果需要适配多参数、更复杂的泛型逻辑，也可以用函数重载的方式实现：

// 泛型为null时的重载
function f<S extends null>(): void
// 泛型非null时的重载
function f<S>(arg: number): void
// 实现签名
function f(arg?: number) {
  // 实现逻辑
}

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