TypeScript如何收窄泛型？条件类型返回值报错怎么解决

你的代码报错是因为TypeScript的控制流分析无法将typeof arg的运行时判断和泛型T的条件类型约束关联起来——泛型T是在函数调用时才确定的类型，函数内部无法提前知晓T是否满足string | number的约束，因此没办法自动推断true或1符合返回值的条件类型。

以下几种方法可以解决这个错误：

方法1：使用函数重载（推荐） #

通过重载签名明确不同输入类型对应的返回类型，实现签名用宽泛类型兼容所有情况：

// 重载签名：定义输入输出的对应关系
function test_fn(arg: string | number): boolean;
function test_fn(arg: unknown): number;

// 实现签名：处理实际逻辑
function test_fn(arg: unknown): boolean | number {
    if (typeof arg === "string" || typeof arg === "number") {
        return true;
    }
    return 1;
}

这种方式类型安全，调用时的类型提示也清晰，是最推荐的方案。

方法2：使用类型断言 #

如果不想改函数结构，可以用类型断言强制告诉TypeScript返回值符合条件类型，但要确保自己的逻辑没有问题（断言会跳过类型检查）：

function test_fn<T>(arg: T): T extends string | number ? boolean : number {
    if (typeof arg === "string" || typeof arg === "number") {
        return true as T extends string | number ? boolean : number;
    }
    return 1 as T extends string | number ? boolean : number;
}

方法3：细化泛型约束的重载 #

进一步拆分泛型约束，让每个重载对应明确的泛型分支：

// 覆盖所有泛型分支的重载签名
function test_fn<T>(arg: T): T extends string | number ? boolean : number;
function test_fn<T extends string | number>(arg: T): boolean;
function test_fn<T>(arg: Exclude<T, string | number>): number;

// 统一实现逻辑
function test_fn(arg: unknown): boolean | number {
    if (typeof arg === "string" || typeof arg === "number") {
        return true;
    }
    return 1;
}

这种方式对泛型的约束更严谨，适合复杂场景。

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