为何TypeScript不对该区分联合类型返回值报错？

为什么TypeScript不对test1函数的返回值报错，却会对test2函数的返回值报错？按道理应该像检测test2一样，检测出test1的返回值错误。

相关代码如下：

interface A {
  status: 'a'
  data: {
    value: string
  }
}

interface B {
  status: 'b'
}

type AB = A | B

function test1(arg: 'foo' | 'bar'): AB {
  // 此处未触发TS错误，但实际存在问题
  return {
    status: arg === 'foo' ? 'b' : 'a',
    data: { value: 'hello' }
  }
}

function test2(arg: 'foo' | 'bar'): AB {
  if(arg === 'foo') {
    return {
      status: 'a',
      data: { value: 'hello' }
    }
  }
  // 此处触发预期的错误
  return {
    status: 'b',
    data: { value: 'hello' }
  }
}

原因解析 #

这是TypeScript的设计行为，核心差异在于对象字面量的类型检查逻辑：

• test2的分支返回检查：TypeScript会单独验证每个分支的返回值是否匹配联合类型AB中的某一个成员。当返回{status: 'b', data: ...}时，这个对象包含B接口没有的data属性，同时status值不符合A的要求，因此触发类型错误。
• test1的单一对象返回检查：TypeScript会先推断该对象的类型为{status: 'a' | 'b', data: {value: string}}，随后检查这个类型是否可赋值给AB。由于TypeScript采用结构化类型系统，它会认为这个推断类型是A和B的超类型——当status为'a'时符合A，status为'b'时理论上适配B，但不会深入验证条件分支对应的属性兼容性，因此未报错。但实际上当status为'b'时，多余的data属性违反了B的定义。

替代实现方式（无需显式分分支返回各类型） #

如果不想写test2那样的分支返回逻辑，可以用以下几种方式确保类型正确：

1. 类型断言（逻辑明确时使用） #

通过断言明确标记不同分支的返回类型，让TypeScript跳过宽泛的超类型检查：

function test1(arg: 'foo' | 'bar'): AB {
  return arg === 'foo' 
    ? { status: 'b' } as B 
    : { status: 'a', data: { value: 'hello' } } as A;
}

2. 动态属性构建+类型断言 #

利用展开运算符动态添加属性，让TypeScript更精准地推断分支结构：

function test1(arg: 'foo' | 'bar'): AB {
  const result = {
    status: arg === 'foo' ? 'b' : 'a',
    ...(arg === 'bar' ? { data: { value: 'hello' } } : {})
  };
  return result as AB;
}

3. 函数重载 #

通过重载定义输入与返回的精确对应关系，既保证类型安全，也无需冗余分支：

function test1(arg: 'foo'): B;
function test1(arg: 'bar'): A;
function test1(arg: 'foo' | 'bar'): AB {
  return arg === 'foo' 
    ? { status: 'b' } 
    : { status: 'a', data: { value: 'hello' } };
}

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