TypeScript泛型场景下计算属性键被推导为string类型报错原因

这个类型错误是TypeScript的已知设计特性导致的，核心原因有两点：

• 泛型函数实现阶段，泛型参数Key是未具体化的类型，只有函数实际被调用时才会确定它是"firstKey" | "secondKey"的具体子类型。当你用[delegate.key]作为计算属性构造对象时，TS不会将这个动态键和泛型参数Key做关联绑定，会直接把键类型拓宽为string，最终推导出来的对象类型是{ [x: string]: string }。
• 你定义的{ [n in Key]: string }是同态映射类型，当Key为完整联合类型"firstKey" | "secondKey"时，这个类型要求对象必须同时包含firstKey和secondKey两个必填属性。但你构造的动态键对象只会有一个属性，TS静态校验时无法确认这个动态键是否能满足映射类型的必填要求，自然会判定类型不兼容。

{ [x: string]: string }是包含任意字符串键的宽泛索引类型，{ [n in Key]: string }是仅允许Key范围内键的严格类型，前者的范围远大于后者，TS不允许宽泛类型赋值给严格类型，因此抛出错误。

根据实际业务场景选以下任意一种即可：

• 类型断言（成本最低）
  开发者明确知道当前动态键属于Key范围，直接用断言告知TS跳过静态校验：

  const removeDuplicatesGeneric = <Key extends "firstKey" | "secondKey">(
    delegate: Delegate<Key>
  ) => {
    delegate.deleteMany({ 
      where: { [delegate.key]: 'key' } as { [n in Key]: string } 
    });
  };
  

• 提前声明参数类型
  将动态生成的查询条件提前赋值给标注了对应泛型类型的变量，避免TS在对象字面量构造阶段做无意义的类型拓宽：

  const removeDuplicatesGeneric = <Key extends "firstKey" | "secondKey">(
    delegate: Delegate<Key>
  ) => {
    const where: { [n in Key]: string } = {
      [delegate.key]: 'key'
    } as { [n in Key]: string };
    delegate.deleteMany({ where });
  };
  

• 调整类型定义适配业务逻辑
  如果实际业务中deleteMany的查询条件不需要同时传入所有Key对应的属性，可以给映射类型加Partial包裹，从类型定义层面匹配实际使用方式：

  type Delegate<Key extends "firstKey" | "secondKey"> = {
    key: Key;
    deleteMany: (where: { where: Partial<{ [n in Key]: string }> }) => Promise<unknown>;
  };
  

  调整后，查询条件只需要包含0到多个Key范围内的属性即可，配合类型断言可以完全消除类型报错。

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