TypeScript中带可选参数的泛型默认类型无法推断，如何解决？

我尝试编写一个带有泛型参数默认值和可选参数的TypeScript函数：

function doSomething<T = number>(a?: T): T {
    if (a === undefined) return 5;
    return a;
}

当未传入参数a时，我期望泛型T被推断为number类型，但TypeScript报错。

使用as类型断言可以临时解决：

function doSomething<T = number>(a?: T): T {
    if (a === undefined) return 5 as T;
    return a;
}

但这种方式存在两个问题：

• 泛型默认类型失去了实际约束意义，显得冗余
• 类型断言会绕过TypeScript的类型检查，可能引入未被检测的错误，比如以下代码可以正常编译，但逻辑明显错误：

function doSomething<T = number>(a?: T): T {
    if (a === undefined) return "asdf" as T;
    return a;
}

请问有没有办法让TypeScript在泛型对应的参数为可选时，正确推断泛型类型？

可以通过函数重载明确区分不同调用场景的类型约束，让TypeScript在无参数时自动使用泛型默认值，同时保留类型安全：

// 重载签名1：无参数调用时，返回number类型
function doSomething(): number;
// 重载签名2：传入参数T时，返回对应T类型
function doSomething<T>(a: T): T;
// 实现签名：兼容两种调用场景，泛型默认值确保无参数时T为number
function doSomething<T = number>(a?: T): T {
    if (a === undefined) return 5 as T;
    return a;
}

这样调用时：

• doSomething()：TypeScript会匹配第一个重载，推断返回值为number，内部返回的5完全符合类型要求
• doSomething("hello")：匹配第二个重载，推断T为string，返回值为string
• 若尝试在无参数时返回非number值，比如"asdf"，TypeScript会直接报错，避免了类型断言带来的风险

另一种更简洁的方式是利用条件类型，让返回值类型根据参数是否传入动态调整：

function doSomething<T = number>(a?: T): T extends undefined ? number : T {
    return (a ?? 5) as ReturnType<typeof doSomething>;
}

这种方式通过T extends undefined判断是否传入参数，无参数时返回number，有参数时返回T，同时保留了类型安全。

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