TypeScript中如何定义返回实现指定接口对象的通配符返回类型

你遇到的类型报错并非因为带额外字段的对象不符合MyInterface结构约束：TypeScript 采用结构化类型系统，只要对象包含接口要求的所有字段就属于兼容类型，额外字段不影响类型兼容性。报错来自 TS 对对象字面量直接赋值场景的额外属性检查（Excess Property Check），是专门针对字面量的严格校验规则，用于避免拼写错误的无效字段。

要实现「返回值为所有实现了 MyInterface 的类型、允许存在额外自定义字段」的语义（即等价于 Java List<? extends MyInterface> 的效果），可选择以下几种方案：

方案1：泛型基类（类型安全性最高，推荐） #

给基类增加泛型约束，要求泛型类型必须实现MyInterface，子类实现时可指定自身的返回结构，完全保留类型信息：

interface MyInterface {
   field1: string
}

// 基类泛型默认值设为MyInterface，兼容未指定泛型的原有逻辑
abstract class BaseClass<T extends MyInterface = MyInterface> {
   // 此处省略部分字段定义...
   abstract serialize(): T[]
}

// 子类实现时定义自身的返回结构类型
interface SubClass1Type extends MyInterface {
  field2: string
}
class Subclass1 extends BaseClass<SubClass1Type> {
   serialize(): SubClass1Type[] {
      return [{field1: "test", field2: "test2"}]; // 无类型报错，字段校验完全生效
   }
}

方案2：显式声明允许额外字段（改动成本最低） #

如果不想调整基类的泛型结构，可以直接在返回类型中通过交叉类型明确声明允许任意额外字段，直接绕过字面量额外属性检查：

abstract class BaseClass {
   // 此处省略部分字段定义...
   abstract serialize(): Array<MyInterface & Record<string, any>>
}

修改后所有子类的原有代码无需调整，直接返回带额外字段的对象数组也不会触发报错，语义上明确表示「数组成员必须包含MyInterface定义的所有字段，其余字段无限制」。

方案3：只读数组（完全对齐Java上界通配符语义） #

Java List<? extends MyInterface> 的核心特性是泛型协变、不允许往列表中写入除null外的任意值，和TypeScript的只读数组语义完全一致。如果拿到serialize返回结果后仅做读取操作、不会执行push/splice等修改数组的逻辑，可以直接将返回类型定义为只读数组：

abstract class BaseClass {
   // 此处省略部分字段定义...
   abstract serialize(): readonly MyInterface[]
}

这种写法下，子类返回带额外字段的对象字面量不会触发类型错误，同时还能避免意外修改返回数组的问题。

不推荐使用类型断言（如return [{field1: "test", field2: "test2"} as MyInterface]）绕过检查，这种方式会丢失额外字段的类型信息，后续访问额外字段时TypeScript无法做有效类型校验。

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