TypeScript中函数重载正常但泛型实现报类型错误的原因

这个报错既不是泛型写法逻辑错误，也不是你对泛型机制存在理解偏差，本质是TypeScript的已知设计限制：函数内部的控制流收窄逻辑，不会作用于和泛型参数绑定的条件返回类型。

两个实现版本的编译校验逻辑差异如下：

• 重载版本的实现签名返回值是宽泛的string | number联合类型。TypeScript对函数重载的校验规则，仅要求实现层的返回值覆盖所有对外暴露的重载签名的返回类型即可，不会逐分支校验返回值和重载签名的精确匹配，因此你的重载代码可以无报错通过编译。
• 泛型版本的返回值是T extends StringType ? string : number，这是和泛型参数T强绑定的条件类型。当你在函数内部通过val.isString做分支判断时，TypeScript只会收窄入参val的类型，不会同步收窄泛型参数T本身，因此编译器无法证明分支中返回的'w/e'（string类型）、0（number类型）符合和T绑定的条件类型，直接抛出类型错误：

Type 'string' is not assignable to type 'T extends StringType ? string : number'.

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

这是类型安全度最高、最符合TypeScript设计习惯的写法，对外通过重载签名暴露精确的类型匹配关系，内部用宽泛的联合类型完成逻辑实现即可，也就是你已经验证可正常运行的版本：

interface StringType {
  isString: true;
  value: string;
}

interface NumberType {
  isString: false;
  value: number;
}

function overloadFunc(val: StringType): string;
function overloadFunc(val: NumberType): number;
function overloadFunc(val: StringType | NumberType): string | number {
  if (val.isString) {
    return 'w/e';
  }
  return 0;
}

方案2：类型断言绕过编译校验 #

如果你不想写重载，且确定分支逻辑的返回值完全符合类型约定，可以用类型断言强制让编译器通过校验。注意这种方式需要你自行保证分支逻辑的正确性，编译器不会做额外的类型安全校验：

function genericsFunc<T extends StringType | NumberType>(val: T): T extends StringType ? string : number {
  type ResType = T extends StringType ? string : number;
  if (val.isString) {
    return 'w/e' as ResType;
  }
  return 0 as ResType;
}

补充说明：截止TypeScript 5.x正式版本，官方仍未实现泛型条件返回值的控制流自动窄化，相关特性还在需求迭代阶段，现阶段遇到这类判别式类型映射的场景，优先选择重载实现即可。

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