为何TypeScript泛型继承带索引签名的类型时无法添加新属性

第一段代码可正常执行的原因 #

第一段代码里，arg的类型直接是Base接口，而Base定义了字符串索引签名[key: string]: any——这意味着只要属性名是字符串类型，无论是什么属性都可以被添加到Base类型的对象上，完全符合类型规则。所以给arg.newProp赋值时，TypeScript不会抛出类型错误。

对应的代码：

interface Base {
  [key: string]: any;
}

class Class {
  constructor(arg: Base) {    
    arg.newProp = 8;
  }
}

第二段代码无法执行的原因 #

第二段代码使用了泛型T extends Base，这里的T是Base的子类型，但TypeScript对泛型子类型的检查会更严格：

• T代表的是**Base的某个具体子类型**，而不是Base本身。子类型可能会限制属性的范围，比如只允许特定属性存在，或者将某些属性设为只读，甚至实例可能是被冻结的对象。
• 即便T继承了Base的索引签名，TypeScript也不会默认认为所有Base的子类型都支持任意添加新属性——因为子类型可能有更严格的类型约束。

比如假设存在这样的子类型：

interface StrictBase extends Base {
  name: string;
}

当T为StrictBase时，直接给arg添加newProp会违反StrictBase的类型预期，所以TypeScript会报错。

对应的报错代码：

interface Base {
  [key: string]: any;
}

class Class<T extends Base> {
  constructor(arg: T) {    
    arg.newProp = 8; // 类型错误：类型T上不存在属性newProp
  }
}

修复第二段代码的方法 #

如果要让第二段代码正常运行，可以通过两种方式处理：

1. 显式将arg断言为Base类型：

class Class<T extends Base> {
  constructor(arg: T) {    
    (arg as Base).newProp = 8;
  }
}

2. 修改泛型约束，确保T明确支持任意字符串属性：

class Class<T extends Base & {[key: string]: any}> {
  constructor(arg: T) {    
    arg.newProp = 8;
  }
}

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