TypeScript中使用方括号表示法更新对象嵌套属性的问题

你遇到的问题核心在于TypeScript无法识别带点号的嵌套路径字符串（比如"a.a2"）作为合法的对象键，而且你的类型断言也没有解决嵌套属性的类型匹配问题，具体原因如下：

为什么会报错？ #

1. keyof Iobj的范围有限：keyof Iobj只能拿到对象的第一层键，也就是"a"和"b"，"a.a2"并不属于这个集合，所以prop as keyof Iobj是错误的类型断言。
2. 类型不兼容导致never：就算你强行断言，obj["a"]的类型是{a2: string}，而obj["b"]的类型是string，这两种类型没有共同的赋值兼容类型，TypeScript就会推断出never类型，所以赋值时会提示Type 'string' is not assignable to type 'never'。

解决方案 #

要处理嵌套路径的属性赋值，你需要手动解析路径字符串，同时保证类型安全，这里提供两种方案：

方案1：手动解析路径（简单直接）

把路径按点号拆分，逐层访问到目标属性再赋值：

interface Iobj { a: { a2:string }; b: string; }
const obj: Iobj = { a:{ a2: "hello" }, b: "world" };
const prop = "a.a2"; // 或者 "b"

const pathSegments = prop.split('.');
let current = obj;

// 逐层访问到父级对象
for (let i = 0; i < pathSegments.length - 1; i++) {
  current = current[pathSegments[i] as keyof typeof current];
}

// 赋值给目标属性
const finalKey = pathSegments[pathSegments.length - 1] as keyof typeof current;
current[finalKey] = "newString" as typeof current[typeof finalKey];

方案2：类型安全的通用工具函数（推荐）

写一个通用函数，利用TypeScript的递归类型来解析嵌套路径，保证赋值的类型正确性：

interface Iobj { a: { a2:string }; b: string; }
const obj: Iobj = { a:{ a2: "hello" }, b: "world" };

// 递归类型：获取嵌套路径对应的属性类型
type PathValue<T, Path extends string> = 
  Path extends `${infer Key}.${infer RestPath}`
    ? Key extends keyof T
      ? PathValue<T[Key], RestPath>
      : never
    : Path extends keyof T
      ? T[Path]
      : never;

// 通用赋值函数
function setNestedProp<T, Path extends string>(
  target: T,
  path: Path,
  value: PathValue<T, Path>
): void {
  const keys = path.split('.') as Array<keyof any>;
  let current = target as any;

  // 遍历到倒数第二层
  for (let i = 0; i < keys.length - 1; i++) {
    current = current[keys[i]];
  }

  // 赋值给最后一层属性
  current[keys[keys.length - 1]] = value;
}

// 使用示例
setNestedProp(obj, "a.a2", "new hello"); // ✅ 类型正确
setNestedProp(obj, "b", "new world");    // ✅ 类型正确
setNestedProp(obj, "a.a2", 123);         // ❌ 报错：类型不匹配

这个工具函数会自动校验路径的合法性和赋值的类型，比手动解析更健壮。

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