TypeScript中聚合匹配对象类型时出现编译错误的技术问询

报错的核心原因是泛型A没有约束其属性值为数字类型。虽然你给B加了Record<keyof A, number>的约束，确保B和A的键一致且值为数字，但A本身只是extends object，它的属性值可能是任意类型（比如字符串、布尔值等），TypeScript无法确定A[keyof A]和B[keyof A]（数字）可以用+运算符相加。

调整泛型约束，让A的属性值也必须是数字，这样两个值的类型就匹配了，加法操作也能被编译器认可：

function keys<T extends object>(obj: T) {
  return Object.keys(obj) as (keyof T)[];
}

// 修改A的约束，确保A的属性值也是数字
function combineObjs<A extends Record<keyof A, number>, B extends Record<keyof A, number>>(valsA: A, valsB: B) {
    const aggr = { ...valsB }

    keys(valsA).forEach( key => {
        aggr[key] = valsA[key] + valsB[key]
    })
    return aggr
}

const result = combineObjs({ foo: 1 }, { foo: 2 }) // 正常运行，result类型为 { foo: number }

也可以用更简洁的写法，直接让两个对象共享相同的键类型，且值都为数字：

function combineObjs<K extends string | number | symbol>(valsA: Record<K, number>, valsB: Record<K, number>) {
    const aggr = { ...valsB }
    (Object.keys(valsA) as K[]).forEach(key => {
        aggr[key] = valsA[key] + valsB[key]
    })
    return aggr
}

如果需要支持更多可相加的类型（比如字符串），可以把值类型扩展为V extends number | string，但要注意字符串和数字相加会自动转为字符串，需根据业务场景调整。

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