TypeScript报错2862：泛型类型仅支持只读索引的原因与解决

错误原因分析 #

你遇到的Type 'Mapped<T>' is generic and can only be indexed for reading.(2862)错误，本质是TypeScript的类型安全机制限制：

• 泛型映射类型Mapped<T>的结构完全依赖泛型T的具体类型，编译期无法提前确定T的键名集合。
• Object.keys(obj)返回的key类型是string，而非精准的keyof T（虽然运行时两者一致，但TypeScript类型系统无法直接确认这一点）。
• 若允许直接向Mapped<T>类型变量写入string类型的键，可能导致键不匹配的类型污染风险（比如T的键是字面量类型，而string键超出了这个范围），因此TypeScript禁止对这类泛型映射类型进行写入操作，仅允许读取。

替代解决方案（除返回时as断言外） #

方案1：断言循环中的键为keyof T #

将Object.keys拿到的key断言为keyof T，明确告知TypeScript该键属于T的键集合，消除类型不确定性：

type Mapped<T> = {
  [K in keyof T]?: boolean;
};

const remap = <T extends Record<string, unknown>>(obj: T) => {
  const mapped: Mapped<T> = {};
  Object.keys(obj).forEach((key) => {
    mapped[key as keyof T] = !!key; // 断言key为目标类型
  });
  return mapped;
};

方案2：使用Object.fromEntries构建对象 #

利用Object.fromEntries直接从键值对数组生成目标对象，绕开逐个赋值的类型限制：

type Mapped<T> = {
  [K in keyof T]?: boolean;
};

const remap = <T extends Record<string, unknown>>(obj: T): Mapped<T> => {
  // 将条目数组断言为[keyof T, boolean]类型
  const keyValuePairs = Object.keys(obj).map(key => [key, !!key]) as [keyof T, boolean][];
  return Object.fromEntries(keyValuePairs);
};

这里仅对键值对数组的类型进行断言，比返回时全量断言更精准。

方案3：用等价类型作为中间变量类型 #

将中间变量的类型声明为Partial<Record<keyof T, boolean>>（与Mapped<T>完全等价），同时断言键数组的类型完成赋值：

type Mapped<T> = {
  [K in keyof T]?: boolean;
};

const remap = <T extends Record<string, unknown>>(obj: T): Mapped<T> => {
  const mapped: Partial<Record<keyof T, boolean>> = {};
  (Object.keys(obj) as Array<keyof T>).forEach(key => {
    mapped[key] = !!key;
  });
  return mapped;
};

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