TypeScript联合类型与字面量返回值的类型推断问题咨询

这确实是TypeScript早期版本中关于字面量拓宽和联合类型下类型推断的典型问题，我来一步步拆解背后的逻辑：

首先先还原你的类型定义，方便对照分析：

type ContainingType = { funcOrVal: FunctionOrValue; };
type FunctionOrValue = Value | (() => Value);
type Value = "this" | "that" | number;

逐个场景的逻辑拆解 #

场景A：直接赋值Value类型值正常

const worksWithValue: ContainingType = { funcOrVal: "that" };

这里没问题的原因是：当直接给对象属性赋值字符串字面量"that"时，编译器会优先用目标类型FunctionOrValue中的Value分支去匹配，不会触发字面量拓宽——"that"本身就是Value的成员类型，完全符合要求。

场景B：返回字符串字面量的函数报错（旧版本）

const breaksWithLiteral: ContainingType = { funcOrVal: () => { return "that"; } };

这就是核心疑惑点，在TypeScript 3.1.2这类旧版本中，编译器的推断逻辑存在以下问题：

• 面对FunctionOrValue这种联合类型，编译器会先尝试推断传入函数的类型
• 由于没有明确的类型约束（既没有显式指定返回值类型，也不是单一函数类型目标），它会把返回的字符串字面量"that"自动拓宽为宽泛的string类型
• 此时函数类型变成了() => string，而string并不兼容Value（Value是更窄的字面量联合+number类型），因此触发报错。

场景C：返回数字字面量正常

const worksWithNumber: ContainingType = { funcOrVal: () => { return 123; } };

这里的特殊之处在于数字字面量的拓宽规则：即使123被拓宽为number类型，number本身就是Value的成员之一，所以() => number完全符合() => Value的要求，因此不会报错。

场景D：显式指定变量类型后正常

const worksWithExplicitType: ContainingType = { funcOrVal: () => { const value: Value = "that"; return value; } };

你显式给value指定了Value类型，相当于给编译器明确了返回值的约束，"that"不会被拓宽为string，函数返回值被锁定为Value，自然符合FunctionOrValue的要求。

场景E：仅允许函数类型时正常

type Function = () => Value;
type ContainingTypeFunctionOnly = { func: Function; };
const worksWithFunctionOnly: ContainingTypeFunctionOnly = { func: () => { return "that"; } };

当目标类型明确是单一的() => Value而非联合类型时，编译器会直接按照目标类型约束推断：它知道函数必须返回Value类型，因此会保留"that"的字面量类型（不拓宽为string），刚好匹配Value的成员，所以不会报错。

关于版本差异的补充 #

你提到切换到3.3版本后无法复现，这是因为TypeScript在3.2-3.3版本中优化了联合类型下的函数返回值推断逻辑：编译器开始优先尝试用联合类型中的目标函数分支（即() => Value）来约束推断过程，不再轻易将字面量拓宽为宽泛的原始类型，因此这个报错在新版本中就消失了。

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