TypeScript const数组转对象类型缺失报错的最佳修复方案

报错本质是两个问题：

• 你初始化object时赋值为空对象{}，TypeScript静态检查时判定该初始状态完全缺少返回类型要求的John、Julia两个必填属性，且编译阶段无法追踪循环中动态添加属性的逻辑，无法确认最终返回的对象是否覆盖了所有必填键，因此直接抛出类型错误。
• 你定义的返回类型存在精度问题：所有键对应的值都是数组所有元素的联合类型，无法实现「键名和对应对象的name字段严格匹配」的效果，比如访问John键对应的值时，TS会认为值有可能是Julia的条目。

推荐使用Object.fromEntries配合泛型+键重映射语法实现，不需要冗余的循环展开逻辑，同时能得到最精准的类型推导：

const persons = [
  {
    name: "John",
    age: 80,
  },
  {
    name: "Julia",
    age: 78,
  },
] as const;

function makeNameMap<T extends readonly { readonly name: string }[]>(people: T) {
  return Object.fromEntries(
    people.map(item => [item.name, item] as const)
  ) as {
    [K in T[number] as K["name"]]: K
  };
}

const personsByName = makeNameMap(persons);

实现后类型效果：

• TS会自动推导personsByName包含John、Julia两个必填键
• 访问personsByName.John时，会精准匹配到类型{ readonly name: "John"; readonly age: 80 }，不会出现多余的联合类型
• 该工具函数是通用的，传入其他带name字段的as const数组也能得到正确的映射类型

如果一定要保留手写循环的写法，只需要在初始化空对象时添加类型断言，告知TS该对象最终会符合返回结构即可，注意同步优化返回类型精度：

function makePersonsByName(people: typeof persons): {
  [K in typeof persons[number] as K["name"]]: K
} {
  // 初始化时加类型断言，跳过初始空对象的类型校验
  let object = {} as {
    [K in typeof persons[number] as K["name"]]: K
  };

  for (let person of people) {
    object[person.name] = person;
  }
  return object;
}

注意：这种写法需要你自己保证循环确实覆盖了所有name键，TS不会做额外的校验。

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