TypeScript泛型对象赋值报错：无法用string索引类型T

我尝试为传入函数的泛型类型对象的属性赋值，对象结构预先未知，属性名以字符串参数动态传入。TypeScript抛出错误“Type 'string' cannot be used to index type 'T'”。

我的TypeScript代码如下：

interface Value {
  [key: string]: any
}

interface SomeInterface<T> {
  key: string,
  value: T
}

function someFunction<T extends Value>({ key, value }: SomeInterface<T>) {
  value[key] = somevalue;
}

尽管我在Value接口中定义了索引签名，给value赋值的行仍抛出上述错误，请问原因是什么？

原因分析 #

问题核心在于泛型子类型的索引兼容性限制：

• 虽然T被约束为extends Value，但T可以是Value的任意子类型。比如有人传入一个仅包含username: string的对象，此时T的类型是{ username: string }——它确实符合Value的约束（因为Value允许任意字符串键），但它本身并没有定义全局的字符串索引签名，只拥有特定的属性。
• 而key参数的类型是string，这意味着它可以是任意字符串（比如age）。TypeScript无法保证这个任意字符串key一定是T类型对象的有效属性，所以会抛出“无法用string索引T类型”的错误，本质是在做类型安全校验。
• 简单总结：Value的索引签名是“允许任意字符串键”，但T作为子类型可能只包含部分特定键，TypeScript不允许用任意字符串去索引可能只有有限属性的T对象。

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