如何在TypeScript中约束索引签名仅允许#fields数组中的字符串键？

你的需求可以通过泛型+编译时类型绑定实现，TypeScript本身不支持直接用实例私有数组#fields约束索引签名（静态类型检查无法依赖运行时实例数据），但可以通过泛型将构造函数传入的schema字段绑定到类的类型上，从而实现严格的属性约束。

核心思路 #

• 用泛型参数接收schema的类型，将允许的字段固化为编译时类型
• 在构造函数中提取schema的字段名存入私有#fields，同时动态挂载属性
• 通过索引签名的泛型映射，约束类实例只能拥有schema中定义的属性

完整代码示例 #

// 定义schema的基础类型
type Schema = Record<string, unknown>;

// 泛型父类，T代表传入的schema类型
class Base<T extends Schema> {
  #fields: Array<keyof T & string>;

  constructor(schema: T) {
    // 提取schema的字段名，存入私有属性
    this.#fields = Object.keys(schema) as Array<keyof T & string>;
    
    // 动态挂载schema中定义的属性到实例
    this.#fields.forEach(field => {
      (this as Record<string, unknown>)[field] = schema[field];
    });
  }

  // 约束索引签名只能是T中定义的键，值类型对应schema的类型
  [key in keyof T]: T[key];
}

// 子类继承示例：指定自己的schema类型
class Product extends Base<{ id: string; price: number; stock: boolean }> {
  constructor() {
    // 传入子类的初始schema
    super({ id: "", price: 0, stock: false });
  }

  // 子类自定义方法
  updateStock(stock: boolean) {
    this.stock = stock;
  }
}

// 使用验证
const product = new Product();
product.id = "PROD-001"; // ✅ 允许，符合schema定义
product.price = 99.9;   // ✅ 允许
product.stock = true;   // ✅ 允许
// product.category = "Electronics"; // ❌ TypeScript报错：不存在该属性

动态schema的处理 #

如果schema是运行时动态生成的（比如来自外部配置），可以通过typeof自动推导类型：

// 动态生成的schema
const dynamicUserSchema = {
  username: "",
  createdAt: new Date()
};

// 实例化时自动推导类型
const dynamicUser = new Base(dynamicUserSchema);
dynamicUser.username = "jack";          // ✅ 允许
dynamicUser.createdAt = new Date();     // ✅ 允许
// dynamicUser.phone = "123456";        // ❌ 类型报错

关键说明 #

• 泛型参数T在编译时就绑定了schema的结构，TypeScript会据此检查实例的属性访问
• 私有属性#fields用于运行时记录字段，可用于后续的逻辑校验（比如序列化、字段校验等）
• 子类继承时只需指定自己的schema类型，就能自动继承父类的约束逻辑

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