TypeScript接口类型推断：能否让编译器自动识别兼容返回类型？

首先先把你的代码摆出来，方便咱们梳理问题：

interface A { a: string }
interface B extends A { b: string }
interface C extends A { c: string }

// 直接这样写会报错
function test(t: number): A {
  return t > 10 ? { a: "a", b: "b" } : { a: "a", c: "c" };
}

你遇到的问题本质上是TypeScript的对象字面量额外属性检查在起作用。当你直接返回一个带额外属性的对象字面量（比如带b的对象赋值给类型A），编译器会默认认为你可能写错了属性名，所以抛出错误——哪怕这个对象结构其实是A的子类。

不过不用手动加类型断言或者额外函数，咱们有更优雅的方式让编译器自动推断：

方案1：用变量存储分支结果 #

把两个分支的对象先赋值给变量，让TypeScript自动推断变量的类型为B和C，再返回变量就行：

interface A { a: string }
interface B extends A { b: string }
interface C extends A { c: string }

function test(t: number): A {
  const bInstance = { a: "a", b: "b" }; // 编译器自动推断为B类型
  const cInstance = { a: "a", c: "c" }; // 编译器自动推断为C类型
  return t > 10 ? bInstance : cInstance;
}

为什么这招管用？ #

当对象字面量赋值给变量时，TypeScript会触发类型拓宽——它不再把对象当成“带额外属性的字面量”，而是自动识别出它匹配B或C的结构，把变量类型推断为对应的接口类型。这时候条件表达式的返回类型是B | C，而这个联合类型完全兼容A，编译器自然就不会报错了，全程不需要手动指定任何类型。

方案2：用箭头函数包装分支（极简版） #

如果不想多写变量，也可以用箭头函数来包装分支（本质和变量存储是一个道理，都是让对象脱离字面量的额外检查）：

function test(t: number): A {
  return t > 10 
    ? (() => ({ a: "a", b: "b" }))() // 自动推断返回B
    : (() => ({ a: "a", c: "c" }))(); // 自动推断返回C
}

这两种方式都能让编译器自动识别返回对象是B或C，完美兼容A类型，完全不用手动加类型转换~

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