如何在TypeScript方法中返回继承类的泛型对象？

报错原因 #

你遇到的错误核心在于：函数声明返回T（T extends X），但实际返回的是Y或X本身。TypeScript会判定，调用foo时可能传入一个比Y更具体的T子类型，而你返回的Y或X无法满足这个具体的T约束，因此抛出类型不匹配的错误。

解决方案 #

方案1：改用联合返回类型（最安全）

如果不需要调用者指定具体的T，而是根据c的存在返回Y或X，直接将返回类型改为Y | X即可：

foo(a: A, b: B): Y | X {
  const c: C = doSomthing(a, b);
  if (c != null) {
    return {
      a,
      b,
      c
    } as Y;
  } else {
    return {
      a,
      b,
    } as X;
  }
}

这种方式明确告知TypeScript函数的两种返回可能性，完全符合类型约束，不会有报错。

方案2：通过类型断言强制兼容（需自行保证逻辑正确）

如果必须保留泛型T，可以通过unknown中转的类型断言，让TypeScript认可返回值符合T：

foo<T extends X>(a: A, b: B): T {
  const c: C = doSomthing(a, b);
  if (c != null) {
    return {
      a,
      b,
      c
    } as unknown as T;
  } else {
    return {
      a,
      b,
    } as unknown as T;
  }
}

注意：这种方式会跳过TypeScript的类型检查，你需要自行确保返回值的结构与T完全匹配，否则会引入类型安全隐患。

方案3：利用类型推断自动推导T

如果T的类型由函数返回值决定，可以让TypeScript自动推断T，无需调用者手动指定：

foo<T extends X>(a: A, b: B): T {
  const c: C = doSomthing(a, b);
  if (c != null) {
    return {
      a,
      b,
      c
    } as T;
  } else {
    return {
      a,
      b,
    } as T;
  }
}

// 调用时自动推断返回类型
const result = foo(aVal, bVal); // result类型为Y或X，取决于c是否为null

这种方式兼顾了泛型的灵活性和类型安全，TypeScript会根据实际返回值自动推导T的具体类型。

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