TypeScript条件类型不符合预期：报错与类型推断精度问题解析

报错原因 #

TypeScript的条件类型（比如NumberOrNever<T>）在处理泛型参数时是分布式条件类型——如果T是联合类型，会拆分每个成员单独计算结果。但在函数内部的typeof判断分支里，o的类型被收窄为T & number，此时TypeScript的类型检查器无法自动识别T & number和NumberOrNever<T>是等价的：哪怕逻辑上两者一致，但泛型函数内部的类型推导无法完成这个关联，所以抛出类型不兼容的错误。

解决方法 #

方法1：使用类型断言 #

直接告知TypeScript当前的o符合返回类型：

type NumberOrNever<T> = T extends number ? T : never

function f<T>(o: T): NumberOrNever<T> {
    if (typeof o === "number") return o as NumberOrNever<T>;
    throw "Not a number!"
}

const b = f(4);
const c = f({});

方法2：利用函数重载 #

通过重载明确不同输入对应的输出类型，避开泛型条件类型的内部推导问题：

function f<T extends number>(o: T): T;
function f<T>(o: T): never;
function f(o: unknown) {
    if (typeof o === "number") return o;
    throw "Not a number!"
}

const b = f(4); // 类型为4
const c = f({}); // 类型为never

第二个例子中，返回类型就是泛型参数T，TypeScript的推断逻辑会尽可能保留输入的精确字面量类型——因为它知道返回值和输入类型完全一致，没必要拓宽类型范围。

而第一个例子的返回类型是NumberOrNever<T>，这是一个依赖T的条件类型。TypeScript在处理这种场景时，会优先把T推断为更宽泛的基础类型（比如number），而非精确的字面量4——因为条件类型的存在，推断器默认认为你需要的是符合条件的基础类型，而非具体的字面量。

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