通过方括号结合keyof动态赋值对象属性（TypeScript TS2322错误）

错误原因 #

你遇到的两个TypeScript错误，核心原因是TypeScript无法将keyof A类型的键与对应的属性类型做关联：

• 第一个错误：key是"b" | "c"的联合类型，所以a[key]的类型是string | number。哪怕用typeof判断当前属性是string，TS也没法确定这个key就是对应string类型的"b"，所以不能直接把string | number赋值给string类型变量。
• 第二个错误：赋值时，TS会检查所有可能的键对应的属性类型是否都能接受''（string类型）。因为key可能是"c"（对应number类型），而number不能接受string，所以允许赋值的类型是string & number，也就是never，导致报错。

无需转为any的解决方法 #

方法1：用泛型函数单独处理每个键

把单个键的处理逻辑抽成泛型函数，让TypeScript能追踪当前键对应的具体属性类型：

type A = {
  b: string;
  c: number;
};

// 泛型函数，明确键K对应的属性类型
function processSingleKey<K extends keyof A>(obj: A, key: K) {
  if (typeof obj[key] === 'string') {
    const value: string = obj[key]; // 类型推断正确，无错误
    obj[key] = ''; // 赋值类型匹配，无错误
  }
}

function test(a: A) {
  // 手动定义键数组，避免Object.keys的类型不确定性
  const keys: (keyof A)[] = ['b', 'c'];
  keys.forEach(key => processSingleKey(a, key));
}

方法2：用映射类型+类型断言缩小键范围

先定义一个类型，筛选出A中属性为string的键，再通过类型断言告诉TS当前键属于这个范围：

type A = {
  b: string;
  c: number;
};

// 映射类型：筛选出A中属性为string的键
type StringKeysOfA = { 
  [K in keyof A]: A[K] extends string ? K : never 
}[keyof A]; // 结果为"b"

function test(a: A) {
  const keys: (keyof A)[] = ['b', 'c'];
  keys.forEach(key => {
    if (typeof a[key] === 'string') {
      // 断言当前键是StringKeysOfA类型
      const stringKey = key as StringKeysOfA;
      const value: string = a[stringKey]; // 类型正确
      a[stringKey] = ''; // 赋值正确
    }
  });
}

补充说明 #

为什么不用Object.keys(a)直接遍历？因为TypeScript中Object.keys()返回的是string[]类型，而不是keyof A[]——这是TS的设计，用来兼容JavaScript中对象可能包含额外隐式属性的情况。如果确定你的对象a严格符合A类型，手动定义(keyof A)[]的键数组更可靠。

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