TypeScript：在泛型接口中通过定义键集强制主键（PK）类型一致性

嘿，这个问题我太懂了！你现在的困扰是明明已经定义了userPK作为主键集合，但StoreState的update方法却还是会要求传入id和name两个属性，对吧？核心问题在于默认情况下TypeScript会把["id"]推断成宽泛的string[]类型，没法和你的StoreState泛型形成强绑定。咱们来一步步解决它：

核心思路 #

我们需要让TypeScript精准记住userPK里的具体键名，而不是把它当成普通的字符串数组，然后把这个精准的类型和StoreState的泛型约束绑定，这样就能强制update方法的第一个参数只能包含主键集合里的键。

完整代码示例 #

// interfaces.tsx
interface User {
  id: number | string;
  name: string | null;
}

// keysets.tsx
// 用`as const`让TS保留数组的字面量类型，而不是宽泛的string[]
const userPK = ["id"] as const;
// 从userPK中提取主键的具体类型，这里就是"id"
type UserPK = typeof userPK[number];

// store.tsx
// 调整泛型接口，让PK和主键集的类型严格绑定
interface StoreState<T, PK extends keyof T> {
  data: T;
  // 这里的pk参数被限制为只包含PK类型对应的键，也就是User里的id
  update(pk: Pick<T, PK>, updatedItem: Partial<T>): void;
}

// 创建User对应的Store实例时，指定PK为我们提取的UserPK
const userStore: StoreState<User, UserPK> = {
  data: { id: 1, name: "Alice" },
  update(pk, updatedItem) {
    // 这里pk只能是{ id: number | string }，完全符合你的预期
    console.log("更新用户：", pk, "新属性：", updatedItem);
  }
};

// 合法调用：只传id作为主键
userStore.update({ id: 1 }, { name: "Bob" });

// 错误调用：如果传了name，TS会直接报错，完美拦截！
// userStore.update({ id: 1, name: "Bob" }, { name: "Charlie" });

灵活扩展写法 #

如果你想让StoreState更通用，支持直接传入主键数组作为泛型参数（不用提前提取类型），也可以这样写：

interface StoreState<T, PK extends readonly (keyof T)[]> {
  data: T;
  // 从PK数组中提取键类型，生成对应的Pick类型
  update(pk: Pick<T, PK[number]>, updatedItem: Partial<T>): void;
}

// 直接传入typeof userPK作为泛型参数
const userStore: StoreState<User, typeof userPK> = {
  data: { id: 1, name: "Alice" },
  update(pk, updatedItem) {
    console.log("更新用户：", pk, "新属性：", updatedItem);
  }
};

这样不管哪种写法，都能确保update方法的第一个参数严格遵循你在userPK里定义的主键规则，再也不会出现要求多余属性的情况啦！

备注：内容来源于stack exchange，提问作者Louis Tran