TypeScript中如何解决keyof循环引用报错，实现create函数data参数类型推断

报错核心原因 #

你定义的自引用映射类型type Test = { [K in keyof Test]: string }，本质上会触发TypeScript的循环依赖检查：

• TS计算映射类型结果时，必须先拿到被映射目标的完整键集合，才能推导出最终的对象结构
• 但这里的被映射目标就是Test类型本身，计算Test的结构又必须依赖keyof Test的结果
• 两者互相嵌套依赖、没有明确的推导终止边界，最终就会抛出Type parameter 'K' has a circular constraint的编译错误。

结合实际使用场景的修复实现 #

你的核心需求是让create函数的data参数，能够自动匹配第一个settings参数传入对象的键集合，获得精准的类型校验和推断能力，完全不需要靠自引用类型实现，调整思路为泛型驱动的结构约束即可：

1. 定义独立的、无自引用的字符串值约束映射类型，用来校验传入的settings结构：

   // 泛型T代表实际传入的对象结构，约束T的所有属性值必须为string
   type StringValueRecord<T extends object> = {
     [K in keyof T]: string
   }
   

2. 给create函数添加独立泛型参数，让TS可以从传入的实参上捕获完整的键集合结构，替代原来写死的自引用Settings类型：

   type Items<T extends object> = Record<keyof T, any>
   
   function create<T extends object>(
     // 约束第一个参数必须满足所有值为string的规则
     settings: StringValueRecord<T>,
     // 第二个参数的键集合完全绑定T的结构，自动获得类型推断能力
     data: Items<T>
   ) {
     // 原有业务逻辑保持不变
   }
   

类型校验效果 #

调整完成后，所有符合预期的场景都能正常通过编译，不符合规则的场景会被精准拦截：

• 正常调用（原示例代码可直接运行）：

  create({
      name: "tt"
  }, {
      name: "aaaa"
  })
  

• 自动报错的异常场景：
  • 传入的settings属性值不是string：比如create({ age: 18 }, { age: 18 })会被拦截，提示age字段的number类型不满足string约束
  • data参数里传入了settings不存在的键：比如create({ name: "tt" }, { name: "aaaa", age: "xx" })会被拦截，提示age不是settings允许的字段
  • data参数漏掉了settings里的必需键：比如create({ name: "tt", addr: "xx" }, { name: "aaaa" })会被拦截，提示缺少addr字段的定义

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