TypeScript中能否实现接口继承类型参数？报错解析

初始代码的报错原因 #

你尝试定义的泛型接口：

export interface Foo<T> extends T {
}

触发的报错：

An interface can only extend an object type or intersection of object types with statically known members.

TypeScript 对接口继承有明确限制：接口只能继承拥有静态已知成员的对象类型，或是这类对象类型的交集。未加约束的泛型参数T可以是任意类型（比如string、number这类基本类型），显然不符合继承要求，因此编译器直接报错。

添加约束后的新报错解析 #

当你给T加上extends Object约束后：

export interface Foo<T extends Object> extends T {
}

触发的报错：

Interface 'Foo<T>' incorrectly extends interface 'T'.
  'Foo<T>' is assignable to the constraint of type 'T', but 'T' could be instantiated with a different subtype of constraint 'Object'.

这条报错是TypeScript的泛型兼容性检查在预警，核心要指出的问题是：

你定义Foo<T>继承T，意味着Foo<T>必须是T的子类型，但T是一个可以被任意Object子类型实例化的泛型参数，Foo<T>作为可扩展的接口，无法保证对所有T的实例都满足子类型关系。

举个具体例子就能理解：
假设我们把T实例化为一个严格限制结构的类型：

type ExactUser = {
  id: number;
  username: string;
  // 不允许有其他额外属性
};

当用这个类型实例化Foo<T>时，Foo<ExactUser>会继承ExactUser的所有属性，但按照TypeScript接口规则，Foo<ExactUser>的实现可以随意添加额外属性（比如email: string），此时Foo<ExactUser>的实例就不再是ExactUser的子类型——这直接违反了"接口继承必须是子类型"的规则，破坏了类型安全。

编译器正是预见到了这种潜在的类型冲突，所以抛出报错，阻止你写出可能引发类型问题的代码。

替代实现思路 #

如果你的需求是让Foo拥有T的所有属性，更稳妥的方式是使用交叉类型而非接口继承：

// 仅复用T的属性
type Foo<T extends object> = T & {};

// 如果需要给Foo添加额外属性
type Foo<T extends object> = T & {
  fooExtra: boolean;
};

这种方式既可以复用T的属性结构，又不会触发接口继承带来的兼容性问题。

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