TypeScript中sumProperties函数类型错误原因及安全方案咨询

你的代码出现类型错误源于两个核心问题：

1. 不安全的初始值断言：你用{} as T作为reduce的初始值，但T的约束是{ [k: string]: number }，意味着T的所有属性都是必填的number类型，空对象{}完全不满足T的结构——比如如果T是{ a: number, b: number }，空对象没有a和b属性，不符合T的类型要求。
2. 类型与实际值的冲突：因为acc被断言为T，TypeScript认为acc[k]是number类型，但运行时初始的acc[k]是undefined。当你写acc[k] = (acc[k] || 0) + cur[k]时，TypeScript会检测到acc[k]的实际值可能是undefined，但类型上被标记为number，这就导致了类型检查冲突。

方案一：使用Partial<T>兼容初始空对象 #

通过将累加器类型设为Partial<T>（允许属性为undefined），处理完所有属性后再转换为T，既符合类型检查，又保证运行时正确性：

export function sumProperties<T extends { [k: string]: number }>(values: T[]): T {
  return values.reduce((acc, cur) => {
    (Object.keys(cur) as Array<keyof T>).forEach((k) => {
      // 用空值合并运算符??安全处理undefined，避免误判0为假值
      acc[k] = (acc[k] ?? 0) + cur[k];
    });
    return acc;
  }, {} as Partial<T>) as T;
}

• Partial<T>将T的所有属性变为可选，让acc[k]的类型为number | undefined，TypeScript允许对其进行读写操作。
• 最终断言Partial<T>为T是安全的：经过reduce遍历所有元素后，acc已拥有T的所有属性且值为number。

方案二：完全避免类型断言（更严谨） #

先收集所有属性名并初始化完整的累加器，彻底消除类型隐患：

export function sumProperties<T extends { [k: string]: number }>(values: T[]): T {
  if (values.length === 0) {
    throw new Error("Cannot sum empty array");
  }
  // 获取所有唯一属性名
  const allKeys = Array.from(new Set(values.flatMap(obj => Object.keys(obj) as Array<keyof T>)));
  // 初始化带有所有属性、默认值为0的累加器，完全符合T类型
  const initialAcc = allKeys.reduce((acc, key) => {
    acc[key] = 0;
    return acc;
  }, {} as T);
  
  return values.reduce((acc, cur) => {
    allKeys.forEach((k) => {
      // 处理cur可能缺少属性的情况
      acc[k] += cur[k] ?? 0;
    });
    return acc;
  }, initialAcc);
}

• 提前处理空数组边界情况，避免返回无效对象。
• 初始化阶段就创建符合T结构的累加器，无需后续类型断言。
• 兼容数组中部分对象缺少某些属性的场景，求和逻辑更鲁棒。

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