为何ReturnType对单值返回函数仅推断类型而非字面量值？

这个差异的核心是TypeScript的**字面量类型拓宽（Literal Widening）**行为，下面拆解具体逻辑：

1. 单返回值函数的类型拓宽 #

当函数只返回一个确定的字面量（比如3或"hello"）时，TypeScript默认会把这个字面量类型自动"拓宽"成对应的基础类型：

• 数值字面量3 → 拓宽为number
• 字符串字面量"hello" → 拓宽为string

这是因为TypeScript默认假设你可能后续会修改函数返回值，比如把testB的返回值改成4，用更宽泛的基础类型可以避免不必要的类型错误。

示例代码：

function testB() {
  return 3;
}
// ReturnType推断为number，因为字面量3被拓宽成了number类型
type ReturnB = ReturnType<typeof testB>;

2. 多分支函数的精确类型推断 #

当函数有多个分支返回不同的字面量时，TypeScript会放弃拓宽，转而推断这些字面量的联合类型：

• 分支返回1和2 → 推断为1 | 2
• 分支返回"a"和"b" → 推断为"a" | "b"

这是因为如果把这些字面量都拓宽成基础类型，会丢失掉"返回值只能是这几个特定值"的精确信息，而TypeScript的类型推断会尽可能保留对开发者有用的类型细节。

示例代码：

function testA(flag: boolean) {
  if (flag) {
    return 1;
  } else {
    return 2;
  }
}
// ReturnType推断为1 | 2，保留了两个分支的精确字面量类型
type ReturnA = ReturnType<typeof testA>;

让单返回值函数也保留字面量类型的方法 #

如果需要让单返回值函数也能被推断出精确的字面量类型，可以用以下两种方式：

方式1：显式指定返回类型 #

直接在函数定义时声明返回值为字面量类型：

function testB(): 3 {
  return 3;
}
type ReturnB = ReturnType<typeof testB>; // 3

方式2：使用as const断言 #

通过const断言告诉TypeScript不要拓宽字面量类型：

function testB() {
  return 3 as const;
}
type ReturnB = ReturnType<typeof testB>; // 3

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