如何让接口方法返回实现类实例（支持静态方法更佳）

一、实例方法版本的可行改造 #

你原来的接口无法约束返回自身实例，核心问题是getNewInstance()的返回值太宽泛。可以通过泛型接口实现强约束：

interface MyInterface<T extends MyInterface<T>> {
  foo: string;
  getNewInstance(): T;
}

实现类需要将自身作为泛型参数传入，此时TypeScript会强制getNewInstance()返回当前类的实例：

class MyImplementation implements MyInterface<MyImplementation> {
  foo: string;
  bar: string;

  getNewInstance(): MyImplementation {
    // 必须返回MyImplementation实例，否则TypeScript会报错
    return new MyImplementation();
  }
}

二、静态方法版本的实现思路 #

TypeScript接口无法直接定义静态成员，但可以通过构造签名类型间接约束类的静态方法：

先定义一个包含静态方法的类型：

interface MyStaticInterface<T> {
  new(): T; // 构造函数签名，确保类能被实例化
  getNewInstance(): T;
}

让类实现该静态方法后，可通过工具函数验证是否符合约束：

class MyImplementation {
  foo: string;
  bar: string;

  static getNewInstance(): MyImplementation {
    return new MyImplementation();
  }
}

// 验证类是否符合静态接口约束，不符合则编译报错
function assertStaticInterface<T>(cls: MyStaticInterface<T>): void {}
assertStaticInterface(MyImplementation);

如果需要和原有实例接口结合，可将两者拆分后组合：

interface MyInterface {
  foo: string;
}

interface MyStaticInterface<T extends MyInterface> {
  new(): T;
  getNewInstance(): T;
}

class MyImplementation implements MyInterface {
  foo: string;
  bar: string;

  static getNewInstance(): MyImplementation {
    return new MyImplementation();
  }
}

assertStaticInterface<MyImplementation>(MyImplementation);

三、结合泛型抽象类的场景适配 #

针对你提到的AbstractClass<T extends MyInterface>场景，改造后的泛型接口可以完美适配，将实例生成逻辑保留在实现类中：

interface MyInterface<T extends MyInterface<T>> {
  foo: string;
  getNewInstance(): T;
}

abstract class AbstractClass<T extends MyInterface<T>> {
  protected instance: T;

  constructor(instance: T) {
    this.instance = instance;
  }

  createNewInstance(): T {
    return this.instance.getNewInstance();
  }
}

class MyImplementation implements MyInterface<MyImplementation> {
  foo: string = "test";
  bar: string = "bar";

  getNewInstance(): MyImplementation {
    return new MyImplementation();
  }
}

const myClass = new AbstractClass(new MyImplementation());
const newInstance = myClass.createNewInstance(); // 类型自动推导为MyImplementation

结论 #

你的初始方案通过泛型改造后完全可行：

• 实例方法场景：泛型接口可以强制实现类返回自身实例；
• 静态方法场景：通过构造签名类型+验证函数可间接约束类的静态方法；
• 能满足你将类声明与实例生成逻辑放在同一位置的需求。

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