TypeScript报错咨询：类型‘string’无法索引‘TModel’类型的原因

你遇到的这个问题，核心是TypeScript对泛型约束下的索引读写采用了不同的检查逻辑：

• 读取操作（get方法）：只要TModel满足extends Model的约束（即所有已知string键的属性类型都是any），TypeScript就允许通过任意string索引读取值——哪怕TModel没有显式定义string索引签名。比如{ name: any }这种类型，虽然没写[k: string]: any，但依然符合Model的约束，读取任意string键时会默认返回any，因此不会报错。

• 写入操作（set方法）：赋值的检查更严格。TypeScript要求目标类型必须显式定义了可写的string索引签名，才能允许给任意string键赋值。如果TModel是像{ name: any }这种没有显式索引签名的类型，哪怕它符合extends Model，TypeScript也会阻止写入，因为无法确保该类型允许添加任意新的string键。

举个直观的例子：

type Foo = { a: any }; // 满足 extends Model
const foo: Foo = { a: 1 };
foo['a'] = 2; // 正常，因为a是已知属性
foo['b'] = 3; // 报错：类型“string”无法用于索引类型“Foo”

解决方法 #

要消除报错，你需要确保TModel具备可写的string索引签名，有两种常用方式：

1. 类型断言：在set方法里将target断言为Model类型，绕过严格检查：

type Model = { [k: string]: any };

export class MyClass<TModel extends Model> {
    get(target: TModel, key: string) {
        return target[key];
    }

    set(target: TModel, key: string, value: any) {
        (target as Model)[key] = value;
    } 
}

2. 强化泛型约束：如果希望TModel必须显式包含索引签名，可以调整约束为只接受带索引签名的类型（比如用Record<string, any>替代自定义的Model）：

export class MyClass<TModel extends Record<string, any>> {
    get(target: TModel, key: string) {
        return target[key];
    }

    set(target: TModel, key: string, value: any) {
        target[key] = value;
    } 
}

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