TypeScript 2322错误：泛型函数返回值无法赋值给联合类型问题咨询

TypeScript 该报错行为属于正确的类型校验逻辑，核心原因如下： #

问题根因拆解 #

先回顾代码定义：

type RetType = string| null | object;
const returnGenericString = <T extends RetType = string>(): T => 'test' as any;
// 赋值正常
const value1: string | number = 'test';
// 赋值报错
const value2: string | number = returnGenericString();

报错信息：

Type 'RetType' is not assignable to type 'string | number'.
  Type 'null' is not assignable to type 'string | number'.

1. 泛型约束的作用范围 #

你定义的函数泛型约束为 <T extends RetType = string>，其中：

• T extends RetType 表示 T 的所有合法取值只能是 RetType 的子类型，调用方可以手动传入 T 为 string、null、object 或它们的子类型，默认值 string 仅作为无手动指定、且无法从上下文推导 T 时的兜底逻辑，不是强制的固定类型。
• TS 做类型安全校验时，必须覆盖所有合法的调用场景：如果调用方手动指定 T = null 或 T = object，返回值就会是 null 或 object，这两个类型都无法赋值给 string | number，因此 TS 会直接拦截该赋值操作，避免潜在的类型风险。

2. 函数类型校验的规则 #

TS 在校验函数调用的返回值类型时，只会读取函数的类型签名，不会深入函数内部的实现逻辑判断实际返回值。哪怕你在实现里写死返回字符串，TS 也只会以签名里的返回值类型 T 作为校验依据。

3. 直接赋值正常的原因 #

value1 直接赋值字符串字面量 'test'，类型确定为 string，天然兼容 string | number，因此不会触发报错。 #

修复方案 #

如果确定调用该函数时返回值为 string，可以手动指定泛型参数即可通过校验：

const value2: string | number = returnGenericString<string>();

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