为何TypeScript无法识别返回两种类型的泛型函数？

先看报错的代码示例：

interface IdLabel {
  id: number 
}
interface NameLabel {
  name: string 
}
type NameOrId<T extends number | string> = T extends number
  ? IdLabel
  : NameLabel;


function createLabel<T extends number | string>(idOrName: T): NameOrId<T> {
  // 错误提示：Type '{ name: string; } | { id: number; }' is not assignable to type 'NameOrId<T>'.
  return typeof idOrName === "string" ? {name: idOrName} : {id: idOrName}
}

而给返回值加上类型断言后就能正常运行：

function createLabelFix<T extends number | string>(idOrName: T): NameOrId<T> {
  return typeof idOrName === "string" ? {name: idOrName} as NameOrId<T> : {id: idOrName} as NameOrId<T>
}

核心原因 #

问题出在TypeScript的泛型条件类型和运行时类型守卫的匹配逻辑上：

• 泛型参数T是一个抽象的约束类型（number | string），编译阶段它并没有被具体化为某一种类型，可能是number、string，甚至是更具体的字面量类型（比如"admin"）。
• typeof idOrName === "string"这种运行时判断，只能缩小当前分支里idOrName的具体值类型，但没办法同步缩小泛型参数T的类型范围——编译器不知道此时T就等于string（毕竟调用函数时可能显式指定T的类型）。
• 因此函数返回值会被推断为{name: string} | {id: number}联合类型，但NameOrId<T>是分发式条件类型，它针对具体的T只会返回单一类型（要么IdLabel要么NameLabel），联合类型无法直接赋值给这个单一类型的结果，所以报错。

为什么类型断言能解决？ #

类型断言as NameOrId<T>是直接告诉编译器：“我确认这个分支的返回值就是NameOrId<T>对应的正确类型”，相当于手动跳过了编译器的自动类型校验，所以不会再报错。但这种方式需要你自己保证逻辑的正确性，编译器不再做检查。

更安全的替代方案：函数重载 #

如果不想用断言，推荐用函数重载实现，类型安全性更高：

function createLabel(idOrName: string): NameLabel;
function createLabel(idOrName: number): IdLabel;
function createLabel(idOrName: string | number): NameLabel | IdLabel {
  return typeof idOrName === "string" ? {name: idOrName} : {id: idOrName}
}

通过重载签名明确了不同输入对应的返回类型，编译器可以准确推导，不需要额外断言。

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