如何基于接口属性的键值对强制约束对象类型？

嘿，这个问题我熟！你之前的写法出错是因为遍历的目标搞错了——[K in SUser]里的SUser是整个接口类型，而TypeScript要求映射类型的遍历源必须是键的联合类型（也就是string | number | symbol的子集），这就是你看到那个报错的原因。而且你之前的写法也没法关联键和对应的值类型，下面给你正确的解决方案：

正确的类型定义思路 #

我们需要创建一个联合类型，其中每个成员都是仅包含SUser中某一个属性的对象，并且属性值严格对应原接口的类型。具体写法如下：

interface SUser {
  ID: number;
  NAME: string;
  MAIL: string;
  PASSWORD: string;
  GENDER: number;
  BIRTHDATE: string;
  ID_FB: string;
  CREDIT: number;
  ID_REFERRAL: number;
}

// 生成仅包含单个SUser属性的对象联合类型
type SingleSUserField = {
  [K in keyof SUser]: { [Key in K]: SUser[K] }
}[keyof SUser];

代码解释 #

让我们拆解一下这个写法：

1. [K in keyof SUser]：遍历SUser的所有属性键（比如ID、NAME等），每个键对应一个K
2. { [Key in K]: SUser[K] }：对每个K，创建一个仅包含该属性的对象类型，值的类型严格匹配SUser中对应属性的类型
3. [keyof SUser]：最后取这个映射类型的所有值，把每个单个属性的对象类型合并成联合类型

这样SingleSUserField就等价于：

{ ID: number } | { NAME: string } | { MAIL: string } | ... // 其他所有属性的单个对象类型

验证效果 #

现在你可以测试一下这个类型的约束能力：

// ✅ 完全符合要求的用法
const validIdField: SingleSUserField = { ID: 1001 };
const validNameField: SingleSUserField = { NAME: "Hugo" };

// ❌ 错误用法会被TypeScript拦截
const wrongIdValue: SingleSUserField = { ID: "1001" }; // 报错：ID必须是number类型
const multipleFields: SingleSUserField = { ID: 1001, NAME: "Hugo" }; // 报错：不能包含多个属性
const unknownField: SingleSUserField = { AGE: 25 }; // 报错：不存在AGE这个属性

扩展：如果需要支持任意数量的属性？ #

如果你之后需要的是允许包含任意多个SUser属性，但每个属性的键值类型都必须匹配（而不是仅单个），可以简化成这个写法：

type PartialSUserField = Partial<SUser>;

不过看你的问题描述，你要的是单个属性的约束，所以前面的SingleSUserField才是你需要的。

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