如何解决TypeScript中类型'K'无法索引'ScopeTableType[L]'的错误？

问题场景 #

• 定义了Scope枚举、ScopeTableType映射类型，以及setPropertyValueOnScope、getPropertyValueFromScope两个操作函数
• 在setPropertyValueOnScope函数的scope.data[property] = value;行触发TS2536错误：Type 'K' cannot be used to index type 'ScopeTableType[L]'
• 基础场景下类似的键传递逻辑能正常运行，但当前复杂的枚举-映射类型嵌套场景却报错

问题原因 #

核心是TypeScript的类型推断无法确认泛型K是当前泛型L对应的ScopeTableType[L]的有效键。当L是Scope枚举的联合子集时，ScopeTableType[L]会变成对应的对象类型联合，此时如果没有明确绑定K和L的关联约束，TS会认为K可能属于ScopeTableType中任意键对应的对象的键，而非当前L对应的那个，因此报错。

解决方法 #

方法1：添加精确的泛型关联约束（推荐）

修改函数的泛型定义，明确K是当前L对应的ScopeTableType[L]的键，而非全局的keyof ScopeTableType[Scope]，让TS能精准推断K的有效性：

enum Scope {
  User = 'user',
  Session = 'session'
}

interface ScopeTableType {
  [Scope.User]: { name: string; age: number };
  [Scope.Session]: { id: string; expiresAt: Date };
}

function setPropertyValueOnScope<L extends Scope, K extends keyof ScopeTableType[L]>(
  scope: { type: L; data: ScopeTableType[L] },
  property: K,
  value: ScopeTableType[L][K]
) {
  scope.data[property] = value; // 不再报错
}

function getPropertyValueFromScope<L extends Scope, K extends keyof ScopeTableType[L]>(
  scope: { type: L; data: ScopeTableType[L] },
  property: K
): ScopeTableType[L][K] {
  return scope.data[property];
}

方法2：使用类型断言（仅临时应急）

如果泛型约束调整有局限，可以用类型断言强制告诉TSproperty是scope.data的有效索引，但这会降低类型检查的安全性，不推荐常规使用：

scope.data[property as keyof typeof scope.data] = value;

为什么基础场景能正常运行？ #

基础场景的类型结构更简单，比如直接针对单一对象类型做键操作，TS能直接推断键的归属；但在当前复杂场景中，L是枚举联合类型的子集，ScopeTableType[L]是多个对象类型的联合，TS无法自动将K和具体的L对应的键集合绑定，必须通过显式的泛型约束明确关联关系。

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