TypeScript：泛型函数可选参数默认值与类型推导问题

我有一个TypeScript泛型函数：

function complete<T>(result?: T): void {
}

想要给result添加默认值null，同时实现两种调用逻辑：

• 调用complete()时，泛型T自动推导为null
• 调用complete(valueOfSomeType)时，T推导为传入值的类型

尝试了以下写法但报错：

function complete<T = null>(result: T = null): void {
}

错误信息：

Type 'null' is not assignable to type 'T'.
  'T' could be instantiated with an arbitrary type which could be unrelated to 'null'.ts(2322)

原因很明确：如果用户显式调用complete<SomeType>()，null无法赋值给SomeType类型，因此TS抛出类型不兼容的错误。

方法1：使用函数重载 #

通过重载签名明确区分两种调用场景，实现签名中用类型断言绕过类型检查：

// 无参调用的重载：T推导为null
function complete(): void;
// 带参调用的重载：T推导为传入值的类型
function complete<T>(result: T): void;
// 通用实现签名
function complete<T = null>(result: T = null as T): void {
  // 此处编写函数逻辑
}

调用示例：

complete(); // T自动推导为null，result值为null
complete("test"); // T推导为string，result值为"test"
complete(456); // T推导为number，result值为456

方法2：泛型约束结合类型断言 #

如果不想用重载，可以直接给默认值添加类型断言，同时保留泛型默认值：

function complete<T = null>(result: T = null as T): void {
}

这种写法的逻辑是：

• 无参调用时，T使用默认值null，null as T等价于null，类型完全兼容
• 用户显式指定T时，相当于主动接受null赋值给T的风险，TS不会再报错

这种写法更简洁，但重载方式对调用者更友好，因为重载签名能明确展示函数的可用调用方式。

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