如何在参数可能为void类型时收窄其类型？

问题根源 #

你碰到的核心问题是TypeScript类型系统和运行时逻辑的错位：

• 你定义的T extends void ? string : number是条件类型，但编译器无法将你对undefined/null的运行时判断，和这个条件类型的分支做关联，因此会抛出返回值类型不匹配的错误。
• 另外void在TS里是特殊类型：函数返回void时，运行时实际值是undefined，但类型层面void并不等价于undefined（比如你可以给返回void的函数传任何值，TS都不会报错，但运行时会忽略这些值）。

你的函数运行逻辑是正确的，只是编译器无法自动识别返回值符合条件类型的要求。

方案1：用类型断言快速解决 #

直接给返回值添加类型断言，明确告诉编译器返回值完全符合条件类型的约束：

const fn: <T>(a: T) => T extends void ? string : number = (a) => {
    if (typeof a === 'undefined' || a === null) {
        return '1' as T extends void ? string : number;
    }
    return 1 as T extends void ? string : number;
}

这种方式简单直接，适合你已经确认运行逻辑无误的场景。

方案2：修正重载写法 #

你之前的重载逻辑存在问题，T extends void的约束过于模糊，且重载的匹配顺序会影响类型推导结果。换用更明确的重载写法：

// 优先匹配void类型参数，返回string
function fn1(a: void): string;
// 匹配其他所有类型参数，返回number
function fn1<T>(a: T): number;
// 函数实现体用unknown接收参数，返回联合类型
function fn1(a: unknown): string | number {
    if (typeof a === 'undefined' || a === null) {
        return '1';
    }
    return 1;
}

这样TS就能正确推导类型：传入void时返回string，传入其他类型时返回number，完全符合你的需求。

方案3：自定义类型守卫（可选） #

如果想要更严谨的类型检查逻辑，可以自定义类型守卫，但仍需配合类型断言使用：

function isVoidLike(value: unknown): value is void {
    return value === undefined || value === null;
}

const fn: <T>(a: T) => T extends void ? string : number = (a) => {
    if (isVoidLike(a)) {
        return '1' as T extends void ? string : number;
    }
    return 1 as T extends void ? string : number;
}

这种方式本质和方案1类似，只是把判断逻辑抽离成了可复用的函数。

关于你的使用示例 #

你提供的这段代码：

Promise.resolve().then(
    Math.random() > 0.5 ?
        () => { } :
        () => 1
).then(fn)

这里then的回调返回void | number，因此fn会被分两次调用：一次传入void，一次传入number，运行时和类型推导都是正确的，只是函数定义阶段编译器无法自动识别返回值的匹配关系。

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