TypeScript泛型约束通过变量动态访问对象属性时不生效如何解决

• 泛型索引的推导限制：TypeScript当前的类型系统无法自动绑定泛型参数T和映射类型索引结果的对应关系，当你用泛型参数作为键访问data.tasks时，TS只会将所有可能的返回值合并为联合类型，因此res2会被推断为Task<'withdraw'> | Task<'pickup'>，而非预期的Task<T>。
• 赋值报错的根源：同样是因为TS无法建立taskType泛型和对应Task类型的绑定关系，它只识别到左侧是联合类型Task<'withdraw'> | Task<'pickup'>，无法确认右侧传入的Task<T>和左侧类型匹配，因此抛出错误。

你不需要修改原有Memory接口，只需要封装一层泛型访问工具，内部用类型断言绕过TS的推导限制即可，外部使用时依然保持完全类型安全：

// 封装泛型访问工具，仅需要定义一次
function getTaskGroup<T extends TaskType>(taskType: T): Record<string, Task<T>> {
  return data.tasks[taskType] as Record<string, Task<T>>;
}

读取场景使用示例 #

let fn = function<T extends TaskType>(taskType: T) {
  const res2 = getTaskGroup(taskType).a; 
  // res2 会被正确推断为 Task<T> 类型
};

赋值场景使用示例 #

let claim = <T extends TaskType>(taskType: T, task: Task<T>) => {
  getTaskGroup(taskType).a = task;
  // 无类型报错，类型完全匹配
};

这种方式既保留了调用侧的类型校验（传入不匹配的taskType和task依然会触发TS报错），也解决了内部访问时的类型推导问题。

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