为什么TS泛型使用extends限定显式值时无法正确推导返回值类型？

问题原因 #

TypeScript 的泛型约束extends 字面量仅限制泛型的类型上界，而非将泛型固定为该字面量本身。T extends "a"的实际含义是「T 是"a"的子类型」，而非「T 等于"a"」。

TS 类型系统允许字面量存在更窄的子类型，常见的场景包括：

• never 是所有类型的子类型，自然满足extends "a"的约束
• 可以通过交叉类型构造出符合约束的特殊子类型，比如type CustomA = "a" & { __customTag: string }

你示例中的报错本质就是 TS 担心泛型 T 被实例化为这类符合约束、但和你返回的固定字面量不兼容的子类型，因此抛出了错误提示。以你给出的fn3为例，如果有人调用fn3<never>()，按类型签名返回值应该是never，但你实际返回了"a"，确实不符合类型要求，这就是报错的根本逻辑。

而fn2没有报错，是因为你直接返回了入参本身，入参的类型就是泛型 T，自然不存在类型不匹配的问题。

解决方法 #

方法一：直接使用联合类型（无泛型） #

如果不需要保留入参的精确字面量类型，直接去掉泛型，用联合类型定义入参和返回值即可：

function fn(param: "a" | "b"): "a" | "b" {
    if (param === "a") return "a"
    else return "b"
}

方法二：添加类型断言 #

如果确定你的业务逻辑不会出现边界问题，确实需要保留泛型能力，可以用as T强制断言返回值符合类型要求：

function fn<T extends "a" | "b">(param: T): T {
    if (param === "a") return "a" as T
    else return "b" as T
}

function fn3<T extends "a">(): T {
    return "a" as T
}

方法三：使用函数重载 #

不想用断言的话，可以通过重载对外暴露泛型签名，对内用非泛型实现兼容类型检查：

function fn<T extends "a" | "b">(param: T): T
function fn(param: "a" | "b") {
    if (param === "a") return "a"
    else return "b"
}

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