如何在TypeScript中设置类的原型字段？

你遇到的问题确实是TypeScript类型系统和原型机制之间的常见冲突——既要让类型系统认可原型上的属性，又不能让编译器在实例上生成多余的字段。下面有两种完美解决这个问题的TypeScript原生方案：

方法1：类内部使用declare关键字声明仅类型字段 #

TypeScript允许在类内部用declare关键字声明仅类型存在的字段，这类字段不会被编译成JavaScript中的实例属性，只是用来告诉类型系统这个属性存在于实例上。这样原型上的赋值就能正常生效，同时保留类型检查和智能提示：

class Bird {
  // 仅类型声明，编译后不会生成实例字段
  declare canFly: boolean;

  static {
    this.prototype.canFly = true;
  }
}

const bird = new Bird();
console.log(bird.canFly); // 运行时输出 true
// 类型检查通过，智能提示正常工作

方法2：利用接口合并机制 #

TypeScript支持同名接口和类的类型合并，你可以单独声明一个同名接口来定义实例的属性类型，然后类的实现部分只负责原型赋值：

// 声明Bird实例的类型
interface Bird {
  canFly: boolean;
}

class Bird {
  static {
    this.prototype.canFly = true;
  }
}

const bird = new Bird();
console.log(bird.canFly); // 运行时输出 true
// 类型系统自动合并接口和类的定义，类型检查生效

为什么你之前的尝试失败了？ #

• 直接显式声明字段（无declare）：TypeScript会要求你初始化字段，而且编译后会在实例上创建这个字段（默认undefined），覆盖原型上的属性值，这就违背了你设置原型的初衷。
• 外部declare class：TypeScript不允许重复声明同名类，所以会报Duplicate identifier错误。
• @ts-ignore：虽然能让代码运行，但完全失去了TypeScript的类型检查和智能提示能力，不是长久之计。

这两种方案都完美兼顾了运行时原型赋值的需求和TypeScript的类型系统支持，不需要任何hack手段。

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