TypeScript报错Type 'T'仅可读取索引的原因及修复方案

问题描述 #

我写了一个按需创建对象字段的TypeScript函数，代码如下：

export function lazy_field<T extends Record<string,unknown>,FIELD>(
  target:T,
  name:string,
  init:()=>FIELD
){
  const exists=target[name]
  if (exists!==undefined)
    return exists
  const new_val=init()
  target[name]=new_val // 此行触发错误
  return new_val
}

收到的错误提示：

Type 'T' is generic and can only be indexed for reading.ts(2862)

当前tsconfig.json为空。

错误原因 #

核心问题是TypeScript默认限制泛型对象的索引写入操作。虽然T被约束为Record<string, unknown>，但T作为泛型类型，可能是更具体的对象（比如带有固定属性的字面量类型），TypeScript会阻止你修改其索引属性，避免破坏原对象的类型结构。

修复方案 #

有两种实用的修复方式，按需选择：

方案1：类型断言放宽限制 #

直接在赋值时把target断言为可写的索引类型，明确告诉TypeScript你确认可以修改该属性：

export function lazy_field<T extends Record<string, unknown>, FIELD>(
  target: T,
  name: string,
  init: () => FIELD
) {
  const exists = target[name];
  if (exists !== undefined) return exists;
  const new_val = init();
  // 类型断言为可写的Record类型
  (target as Record<string, unknown>)[name] = new_val;
  return new_val;
}

方案2：优化泛型约束，强化类型严谨性 #

调整泛型参数，明确name是对象的可选键，同时确保T允许添加该属性，还能更精准地推断返回值类型：

export function lazy_field<T extends object, K extends string, FIELD>(
  target: T,
  name: K,
  init: () => FIELD
): T[K] extends undefined ? FIELD : T[K] {
  const typedTarget = target as T & Record<K, unknown>;
  if (typedTarget[name] !== undefined) return typedTarget[name] as any;
  const new_val = init();
  (target as T & Record<K, FIELD>)[name] = new_val;
  return new_val;
}

这种方式下，函数返回值的类型会自动判断：如果目标属性已存在则返回原类型，否则返回初始化函数的返回类型。

补充建议 #

如果你的tsconfig.json为空，建议添加基础配置以获得更完善的类型检查：

{
  "compilerOptions": {
    "strict": true,
    "target": "ES2020",
    "module": "ESNext"
  }
}

strict: true会启用严格类型检查，提前发现更多潜在问题。

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