TypeScript中如何覆盖类内部方法的泛型类型

问题复现 #

原始问题代码如下，在assembleValues方法中动态给this.values赋值时会触发类型报错：

export class NewForm<T> {
  public values: T = {} as any
  private schema: Record<string, any> = {}

  private assembleValues() {
    Object.keys(this.schema).forEach((field) => {
      this.values[field] = '' // 此处抛出类型错误
    })
  }
}

报错核心原因是：未做约束的泛型T默认不支持任意字符串键的索引访问，TypeScript静态检查时无法确认动态传入的field是否为T的合法键，因此抛出类型错误。
临时通过as Record<string, any>做类型断言虽然可以绕过检查，但重复编写断言代码会提升维护成本，不推荐长期使用。

推荐实现方案 #

根据业务场景选择以下两种方案即可，都不需要在业务逻辑中重复写类型断言：

方案1：约束泛型类型（优先选择，类型安全性最高） #

在类定义时直接给泛型T添加上索引签名约束，从类型定义层面让TypeScript识别到T支持任意字符串键的读写，从根源消除报错：

// 约束泛型T必须为支持字符串索引的对象类型
export class NewForm<T extends Record<string, any>> {
  public values: T = {} as T
  private schema: Record<string, any> = {}

  private assembleValues() {
    Object.keys(this.schema).forEach((field) => {
      // 此处直接赋值无类型报错
      this.values[field] = ''
    })
  }
}

该方案不会丢失泛型的类型推导能力，外部实例化类时，依然可以获得精准的values类型提示，符合TypeScript的类型设计规范。

方案2：内外类型分离（适配泛型无法加约束的场景） #

如果业务中T是固定结构的类型、不允许添加任意字符串索引，可以在类内部维护一个可索引的私有值对象，对外暴露时再转为泛型T类型，内部操作全程不需要类型断言：

export class NewForm<T> {
  // 内部使用可索引类型存储，操作时无类型问题
  private _values: Record<string, any> = {}
  // 对外暴露时转为T类型，外部调用可获得正确的泛型提示
  public get values(): T {
    return this._values as T
  }
  private schema: Record<string, any> = {}

  private assembleValues() {
    Object.keys(this.schema).forEach((field) => {
      // 直接操作内部存储对象，无需断言
      this._values[field] = ''
    })
  }
}

该方案对泛型T没有任何约束，内部实现灵活，外部调用方感知不到内部处理逻辑，不会影响外部使用体验。

避坑提示 #

不要直接将values的类型声明为T & Record<string, any>，这种写法会让TypeScript误以为values上存在任意字符串键，误导外部调用的类型推导，带来潜在的类型安全隐患。

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