如何为ES6类中传递至回调函数的包含私有属性的this设置正确的TypeScript类型

当你把类实例的this传递给回调函数时，TypeScript默认的类类型（比如Foo）只包含公开成员，导致无法在回调里访问私有方法或属性，这确实是个常见的类型系统限制问题。下面给你两种简洁的解决方案：

方案一：直接用this作为回调参数类型 #

这是最直接的方式，利用类内部的this类型可以访问所有成员（包括私有）的特性，在构造函数的参数定义里指定回调的参数类型为this：

class Foo {
  constructor(props: { someCallback: (context: this) => void }) {
    this.props = props;
  }
  
  private props: { someCallback: (context: this) => void };
  private method1() { }
  private method2() {
    this.props.someCallback(this);
  }
  public method3() { }
}

const foo = new Foo({
  someCallback: (context) => {
    // 现在可以正常访问私有方法method1，无需@ts-ignore
    context.method1();
    // 公开方法也能正常访问
    context.method3();
  },
});

原理说明 #

在类的构造函数参数中使用this类型时，TypeScript会将其解析为包含当前类所有成员（私有、受保护、公开）的实例类型。虽然外部代码通常无法直接访问类的私有成员，但因为回调是作为类的构造参数传入的，TypeScript会允许这个回调参数的类型继承类内部的this类型权限，从而合法访问私有成员。

方案二：定义内部完整类型（可选，更显式） #

如果你想要更显式地定义包含所有成员的类型，可以在类内部声明一个类型别名，用this来指代完整实例类型：

class Foo {
  // 内部类型别名，包含所有成员
  type FooFull = this;

  constructor(props: { someCallback: (context: FooFull) => void }) {
    this.props = props;
  }
  
  private props: { someCallback: (context: FooFull) => void };
  private method1() { }
  private method2() {
    this.props.someCallback(this);
  }
  public method3() { }
}

const foo = new Foo({
  someCallback: (context) => {
    context.method1(); // 类型检查通过
  },
});

这种方式和方案一本质上是一样的，只是把this类型抽成了一个显式的别名，适合需要多次复用这个完整类型的场景。

为什么原来的写法会报错？ #

当你在外部把回调参数声明为Foo类型时，TypeScript会严格遵循类的访问控制规则——外部代码只能访问类的公开成员，所以即使实际传入的是包含私有成员的实例，类型系统也会阻止你访问私有方法，这是TypeScript为了保证封装性而做的设计。而上面的方案通过关联类内部的this类型，绕过了这个外部访问限制，同时又保持了类型安全。

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