TypeScript中是否存在可包含私有成员的keyof替代方案？

问题场景 #

我需要写一个类的方法，能按属性名字符串异步修改任意属性——包括私有和受保护成员。但用keyof this约束属性名时，只能识别公共属性，传入私有属性的键会被类型检查器拒绝，又不想手动枚举所有可接受的键。

比如原代码中调用initProperty('bar', ...)会报错：

class Thing {
  foo: number = 0;
  private bar: number = 0;

  private async init(): Promise<void> {
    await Promise.all([
      this.initProperty('foo', () => Promise.resolve(1)), // 正常工作
      this.initProperty('bar', () => Promise.resolve(2)), // 类型检查报错
    ]);
  }

  private async initProperty<K extends keyof this>(key: K, fn: () => Promise<this[K]>) {
    this[key] = await fn();
  }
}

解决方案 #

将方法的泛型约束从keyof this改为类的完整实例类型的键，可以直接用keyof Thing（硬编码类名），或者用keyof InstanceType<typeof Thing>避免硬编码类名。

修改后的代码示例 #

方式1：直接引用类名

class Thing {
  foo: number = 0;
  private bar: number = 0;

  private async init(): Promise<void> {
    await Promise.all([
      this.initProperty('foo', () => Promise.resolve(1)),
      this.initProperty('bar', () => Promise.resolve(2)), // 现在类型检查通过
    ]);
  }

  private async initProperty<K extends keyof Thing>(key: K, fn: () => Promise<Thing[K]>) {
    this[key] = await fn();
  }
}

方式2：通用写法（避免硬编码类名）

class Thing {
  foo: number = 0;
  private bar: number = 0;

  private async init(): Promise<void> {
    await Promise.all([
      this.initProperty('foo', () => Promise.resolve(1)),
      this.initProperty('bar', () => Promise.resolve(2)),
    ]);
  }

  private async initProperty<K extends keyof InstanceType<typeof Thing>>(
    key: K,
    fn: () => Promise<InstanceType<typeof Thing>[K]>
  ) {
    this[key] = await fn();
  }
}

原理说明 #

• keyof this指向的是类的公共实例类型，TypeScript为了保证封装性，只会包含公共成员的键。
• 在类的内部作用域中，我们可以访问类的完整实例类型（包括私有、受保护成员），因此keyof Thing或keyof InstanceType<typeof Thing>会返回所有属性的键。
• 泛型约束和返回值类型的匹配，确保了fn的返回值类型与目标属性的类型完全一致，保持了类型安全。

注意事项 #

这种写法仅适用于类的私有/受保护方法，因为外部代码无法访问类的私有/受保护成员，TypeScript会禁止外部传入这些键，符合封装原则。

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