TypeScript中如何不显式定义属性类型，确保required数组值与properties对象键匹配？

嗨，这个问题我之前也碰到过！你不想手动写泛型参数，希望TypeScript能自动根据properties的内容约束required数组的取值对吧？其实用一个泛型辅助函数就能完美解决，完全不用手动指定类型参数，TS会自动帮你完成推断和校验。

先直接上可行方案：

// 定义核心泛型类型
type ObjectSchema<T extends Record<string, any>> = {
  properties: T;
  required: (keyof T)[];
};

// 辅助函数让TS自动推断泛型参数
function createObjSchema<T extends Record<string, any>>(schema: ObjectSchema<T>) {
  return schema;
}

// ✅ 正常工作：required的键都在properties中存在
const validSchema = createObjSchema({
  properties: { abc: 'abc', def: 123 },
  required: ['abc']
});

// ❌ 报错："xyz"不是properties的合法键
const invalidSchema = createObjSchema({
  properties: { abc: 'abc' },
  required: ['xyz']
});

为什么这个方法能解决问题？

当你直接给变量指定ObjectSchema类型却不传泛型参数时，TS会默认把T推断成Record<string, any>，这时候keyof T就是string，required数组可以塞任意字符串，完全起不到校验作用。但用辅助函数就不一样了：

1. 函数的泛型T会自动从你传入的properties对象推断出具体类型（比如上面例子里的{abc: string, def: number}）；
2. required的类型被限制为(keyof T)[]，也就是只能是properties里存在的键组成的数组；
3. 要是你写错了键，TypeScript会立刻抛出类型错误，完全符合你的需求。

再给你举个贴近实际场景的例子，比如定义用户表单的schema：

const userFormSchema = createObjSchema({
  properties: {
    username: '',
    email: '',
    age: 0,
    avatar: ''
  },
  required: ['username', 'email'] // 合法，这两个键都存在
  // required: ['phone'] // 报错！phone不在properties里
});

这种方式不仅省去了手动写泛型参数的麻烦，后续修改properties时，还能自动同步更新required的合法取值范围——比如你把username改成userName，TS会立刻提示你required里的username是无效的，非常实用。

内容来源于stack exchange