TypeScript报ts(2322)：K可实例化为string|number|symbol不同子类型

实现了一个接收对象数组作为入参的工具函数，功能是聚合数组所有对象的键，将同键对应的值整合成数组返回，函数运行逻辑正常，但TypeScript抛出类型错误。

核心报错信息：

'string' is assignable to the constraint of type 'K', but 'K' could be instantiated with 
 a different subtype of constraint 'string | number | symbol'.ts(2322)

原实现代码：

function objectsKeysInArrayToObject<
  T extends readonly {}[],
  K extends keyof T[number]
>(array: T): Record<K, T[number][K]> {
  const result = array.reduce((acc, curr) => {
    const keyValuePairs: [K, T[number][K]][] = Object.entries(curr)

    for (const [key, value] of keyValuePairs) {
        if (acc[key] == undefined) {
            acc[key] = [value]
        } else {
            acc[key].push(value)
        }
    }
    return acc
  }, {} as Record<K, T[number][K]>) as Record<K, T[number][K]>

  return result
}

• Object.entries()的内置返回类型固定为[string, T][]，TypeScript不会自动将其返回的键收窄为你声明的泛型K类型。TS的结构类型系统允许对象携带类型声明外的额外属性，因此遍历出的string类型键无法保证完全属于泛型K的范围——而泛型K被约束为keyof T[number]的子类型，可能是一组固定的字面量联合类型（比如'id' | 'name'），通用string类型无法满足所有可能的K子类型的赋值要求，因此抛出2322错误。
• 原代码的泛型定义存在冗余：单独声明泛型参数K没有实际意义，反而引入了不必要的子类型校验问题。同时返回类型定义错误：函数实际返回的是每个键对应值的数组，原类型Record<K, T[number][K]>没有给值类型加上数组标记，和实际运行结果不匹配。
• 入参约束T extends readonly {}[]过于宽松：TS中{}类型包含所有非null/undefined的类型（包括原始类型number、string等），不符合函数接收对象数组的预期。

调整类型定义，移除冗余泛型，收紧类型约束，修正返回值类型，代码如下：

function objectsKeysInArrayToObject<T extends readonly object[]>(
  array: T
): Record<keyof T[number], T[number][keyof T[number]][]> {
  const result = array.reduce((acc, curr) => {
    // 对Object.entries返回值做类型收窄，匹配遍历目标
    for (const [key, value] of Object.entries(curr) as [keyof T[number], T[number][keyof T[number]]][]) {
      if (acc[key] === undefined) {
        acc[key] = [value]
      } else {
        acc[key].push(value)
      }
    }
    return acc
  }, {} as Record<keyof T[number], T[number][keyof T[number]][]>)

  return result
}

修复点说明：

• 用object替换{}作为数组元素的约束，明确入参必须是对象数组，过滤原始类型的非法入参
• 移除冗余的泛型参数K，直接用keyof T[number]指代数组合并后的所有键，从根源避免泛型子类型实例化的校验冲突
• 修正返回值类型：给值类型加上数组标记[]，和实际运行逻辑一致
• 将类型断言放在循环入口处，直接收窄Object.entries的返回类型，避免提前声明带泛型K的元组数组带来的类型冲突

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