TypeScript中如何限制类实例化后的初始可调用方法？

要实现实例化后仅允许调用foo方法，直接调用bar/baz时报错，同时保留原有的链式调用逻辑，可以用以下两种方案：

方案一：修改类构造函数的返回类型 #

通过类型断言，让构造函数返回仅包含foo方法的类型，同时保留类内部方法的链式调用逻辑：

class Example {
  public foo(): Pick<this, "bar" | "baz"> {
    return this;
  }
  public bar(): Pick<this, "baz"> {
    return this;
  }
  public baz(): string {
    return "something";
  }

  constructor() {
    // 断言返回仅包含foo的类型
    return this as Omit<Example, 'bar' | 'baz'>;
  }
}

验证效果 #

const example = new Example();
example.foo(); // ✅ 正常执行
example.bar(); // ❌ 报错：类型'Omit<Example, "bar" | "baz">'上不存在属性'bar'
example.baz(); // ❌ 报错：类型'Omit<Example, "bar" | "baz">'上不存在属性'baz'
example.foo().bar().baz(); // ✅ 正常链式调用
example.bar().foo(); // ❌ 报错：无法直接调用bar

方案二：使用工厂函数封装实例创建 #

不直接暴露类的构造函数，通过工厂函数返回限制后的类型：

class Example {
  public foo(): Pick<this, "bar" | "baz"> {
    return this;
  }
  public bar(): Pick<this, "baz"> {
    return this;
  }
  public baz(): string {
    return "something";
  }
}

// 工厂函数返回仅包含foo方法的实例类型
function createExample(): Pick<Example, 'foo'> {
  return new Example();
}

验证效果 #

const example = createExample();
example.foo(); // ✅ 正常执行
example.bar(); // ❌ 报错：类型'Pick<Example, "foo">'上不存在属性'bar'
example.baz(); // ❌ 报错：类型'Pick<Example, "foo">'上不存在属性'baz'
example.foo().bar().baz(); // ✅ 正常链式调用

两种方案的核心逻辑都是对外暴露的实例类型仅包含foo，而类内部的bar和baz仅在foo调用后的链式调用中通过Pick<this, ...>暴露，既满足了初始访问限制，又保留了原有的链式调用规则。

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