如何在TypeScript类型层面实现对象属性值求和？

直接上可运行的TypeScript代码，结合ts-arithmetic的Add类型，我们可以通过两步实现静态求和：

完整代码实现 #

import { Add } from 'ts-arithmetic';

// 辅助类型：把对象的所有值提取成元组
type Values<T> = T[keyof T][];

// 辅助类型：递归遍历元组并累加元素
type TupleSum<T extends number[], Acc extends number = 0> = 
  T extends [infer First extends number, ...infer Rest extends number[]]
    ? TupleSum<Rest, Add<Acc, First>>
    : Acc;

// 最终的SumUp类型
type SumUp<T> = TupleSum<Values<T>>;

// 测试用例
type NS = {
    readonly A: 4;
    readonly B: 4;
    readonly Op: 2;
    readonly Cin: 1;
};

type S = SumUp<NS>; // 类型为11，符合预期

代码说明 #

• Values<T>：通过keyof T拿到对象的所有键，再用T[keyof T]获取对应值的联合类型，最后转成元组格式，方便递归处理。
• TupleSum<T, Acc>：用递归逻辑遍历元组，每次取出第一个元素和累加器Acc做Add运算，再递归处理剩余元素；当元组为空时，返回累加器的最终结果。
• SumUp<T>：组合两个辅助类型，先提取对象值的元组，再完成累加计算。

内容的提问来源于stack exchange，提问作者Jean-Philippe Pellet