1. 从“借位”到“溢出”为什么我们需要补码做嵌入式或者数字电路设计的朋友肯定都跟二进制数打过交道。加减乘除里加法最简单硬件上做个加法器就行。但一到减法新手就容易懵计算机里好像没有专门的“减法器”那A - B是怎么算的老司机会告诉你秘诀就是“用加法来做减法”——减一个数等于加上这个数的补码。这个结论听起来像魔法很多教材和资料也就直接给个公式告诉你“记住就行”。但如果你真就这么记了遇到一些边界情况比如计算结果溢出了或者正负号不对劲心里还是会发虚。我自己早年调试一个FPGA的算法模块就因为对补码的“模”这个概念理解不透导致一个计数器在归零时产生了非预期的跳变排查了大半天。今天我们就抛开那些复杂的数学定义用最“工程师”的方式把“减一个数等于加上其补码”这个事儿掰开揉碎了讲明白。我们会从两种补码的计算方法为什么等效开始一步步看到这个核心结论是如何自然推导出来的最后再聊聊它在实际电路和编程中的物理意义。目标只有一个让你下次用到的时候心里有底眼里有光。2. 补码的两种面孔为什么“取反加一”等于“模减原码”补码不是凭空冒出来的它有两种等价的定义方式。理解它们为什么等价是理解后续一切的基础。2.1 定义回顾两种计算方法假设我们面对的是一个8位二进制系统。一个数X它的补码通常有两种算法算法一位操作版将X的每一位二进制数取反0变11变0得到所谓的“反码”然后再加1。算法二算术版用一个叫做“模”Modulo的数M减去X即补码 M - X。对于8位系统这个模M是2^8 256用二进制表示就是1 0000 0000一个9位的数但第9位是我们心中想象的实际8位寄存器存不下。很多初学者会困惑一个是对数字本身做位运算另一个是做减法它们怎么会得到相同的结果呢下面我们就来“证明”一下。注意这里的“证明”更偏向于一种直观的理解和推导而非严格的数学证明目的是建立清晰的物理图像。2.2 理解式推导两种算法的等价性我们用一个具体的例子来推演。假设原码X 1001 0110十进制150。按照算法一取反加一第一步取反。X的每一位取反得到0110 1001。这个数在有的体系里被称为“反码”。第二步加一。0110 1001 1 0110 1010。所以X的补码是0110 1010十进制106。现在我们换个角度思考“取反”这个操作。对一个8位二进制数X的每一位取反得到的结果我们记为~X按位取反。X和~X有一个非常有趣的关系X (~X) 1111 1111因为X的某一位如果是0~X对应位就是1反之亦然。所以它们每一位相加都是1整个8位数加起来就是8个1即1111 1111。这个数是8位二进制能表示的最大无符号数等于十进制255。所以我们可以得到~X 1111 1111 - X。那么算法一补码 ~X 1就可以改写为补码 (1111 1111 - X) 1 1111 1111 1 - X。关键点来了1111 1111 1等于多少在二进制中1111 1111255加1会得到1 0000 0000256。但这个结果已经超过了8位最高位的1成了一个“第9位”。在固定的8位系统中这个溢出的位会被舍去或者说不被存储和考虑。因此在模256的世界里1111 1111 1等价于0000 0000。但我们从数值上看它正好就是2^8 256也就是我们算法二里提到的模 M。因此上面的等式变成了补码 (1111 1111 1) - X 1 0000 0000 - X M - X。看这正好就是算法二的定义实操心得 这个推导过程揭示了一个核心在固定位宽的系统中比如8位、16位、32位“取反加一”的本质就是“用模减去原数”。硬件上实现“取反”非常容易一堆反相器实现“加1”也很简单一个加法器或者更简单的进位链。而“模减去原数”在硬件上直接实现反而复杂。所以“取反加一”是补码在数字电路中的物理实现方式而“模减原数”是它的数学定义本质。理解这一点你就知道为什么CPU和FPGA里都采用第一种方式来计算补码了。3. 核心原理推导减法如何“变身”为加法明白了补码是什么我们来看今天的重头戏为什么减法能变成加法。3.1 设定舞台模运算的世界我们继续待在8位二进制系统里。在这个世界里所有数字都在 0 到 255 之间循环。就像一个只有256个刻度的钟表转完一圈又回到起点。数学上这叫做“模256运算”。在这个系统里256和0是等价的因为256 mod 256 0。同理257等价于1258等价于2以此类推。用公式表示就是A ≡ B (mod 256)如果(A - B)能被256整除。在我们的钟表比喻里就是指针指向同一个位置。3.2 减法变形记现在我们想计算A - BA是被减数B是减数。在模256的世界里我们可以玩一个“魔法”给这个式子加上一个256也就是模M因为加上一个256在模运算下等于加0不会改变结果。所以差 D A - B A - B 256 // 因为 256 ≡ 0 (mod 256)所以加上它结果不变 A (256 - B) // 重新组合一下看最后这个式子A (256 - B)。(256 - B)是什么根据我们上一节的结论这不正是减数B的补码吗算法二补码 M - B。因此我们得到了那个神奇的等式A - B A (B的补码)而且这个等号是在模256的意义下成立的。也就是说等式两边可能相差若干个256但在我们8位的寄存器里它们看起来一模一样。3.3 实例演算让我们用文章开头的例子来验证一下A 1101 0101(213)B 1001 0110(150)。直接减法A - B 213 - 150 63。63的8位二进制是0011 1111。补码加法求B的补码B 1001 0110取反得0110 1001加1得0110 1010(106)。这正是256 - 150 106。计算A (B的补码)1101 0101 0110 1010。1101 0101 (213) 0110 1010 (106) ------------ 1 0011 1111结果是1 0011 1111一个9位数。但在8位系统中最高位的1溢出被丢弃我们只保留低8位0011 1111这正是63的二进制看结果完全正确。计算机的运算单元ALU就是这样干的当遇到减法指令时它实际上将减数按位取反、加一得到其补码然后和被减数一起送入加法器进行加法运算并妥善处理进位溢出位。注意事项 这里必须警惕“溢出”位。在上面的计算中我们得到了一个9位的1 0011 1111丢弃最高位1后得到了正确结果。但在某些情况下这个溢出位具有重要含义它可能就是“进位/借位”标志Carry/Borrow Flag在CPU状态寄存器里的来源。在无符号数运算中这个溢出位为1通常表示产生了进位或借位在有符号数运算中用补码表示判断溢出的规则更复杂一些需要看符号位和进位位的关系。这是后续进行精确运算和错误处理时必须考虑的问题。4. 正负号的秘密补码如何统一加减法你可能会有疑问上面举的例子都是正数减正数。如果涉及负数怎么办计算机又怎么知道一个二进制串是正是负4.1 符号的人为约定计算机的寄存器本质上只是一串开关0或1它本身并不认识“正号”或“负号”。是我们人类赋予这串二进制码以“有符号数”的含义。最常用的约定就是补码表示法。在n位补码系统中最高位MSB为符号位0表示正数或零1表示负数。正数的补码就是其本身的二进制形式。负数的补码将其对应正数的二进制表示“取反加一”得到。零的表示是唯一的全0。例如在8位补码中0000 0001表示 11111 1111表示 -1 因为1是0000 0001取反加一得1111 11111000 0000表示 -128这是一个特殊的边界值0111 1111表示 1274.2 加减法的统一采用了补码表示法后一个巨大的好处出现了对于加法和减法CPU无需区分操作数是有符号的还是无符号的也无需为减法设计单独的电路。无论A和B在程序员心中是带符号的补码还是纯粹的无符号数CPU执行A - B的流程都是一样的对B执行“取反加一”操作得到B_comp。将A和B_comp送入加法器相加。输出结果。这个硬件动作是唯一的。至于输出的结果该如何解读是有符号的-5还是无符号的251则是由后续的软件逻辑或程序员自己来决定的。这就是硬件层的统一。让我们看一个有符号数的例子计算5 - 3。用8位补码表示5是0000 01013是0000 0011。-3的补码3(0000 0011) 取反加一得1111 1101。计算5 (-3)0000 0101 1111 1101 1 0000 0010。丢弃溢出的高位得到0000 0010即十进制2。结果正确。再试一个负数减正数-5 - 3。-5的补码5(0000 0101)取反加一得1111 1011。-3的补码1111 1101同上。计算(-5) (-3)1111 1011 1111 1101 1 1111 1000。丢弃溢出的高位得到1111 1000。这个数最高位是1所以是负数。我们求它的原码补码的补码就是原码1111 1000取反加一得0000 1000即8。所以1111 1000表示-8。-5 - 3 -8结果正确。可以看到这套规则完美自洽。加法器成为了运算的绝对核心。常见问题与排查技巧实录问题在C语言中对int有符号变量进行运算时有时结果出乎意料特别是涉及负数右移 () 时。排查这通常是因为混淆了逻辑移位和算术移位。对于有符号数补码右移通常是算术右移高位补符号位即补0或补1以保持负数仍为负数。而对于无符号数右移是逻辑右移高位补0。务必清楚你操作的数据类型。技巧在嵌入式开发中当需要明确进行模运算时比如计算循环缓冲区索引使用无符号类型 (unsigned int) 可以避免由符号位带来的未定义行为或意外结果因为无符号数的溢出在C标准中是明确定义为模运算的。5. 补码的物理意义环形计数与相对距离理解了数学上的等价性我们再来建立一个更直观的物理模型。这能帮你从另一个维度感受补码的魅力。5.1 环形刻度盘模型想象一个只有4个刻度的环形刻度盘刻度值分别是00,01,10,11对应0, 1, 2, 3。这是一个2位二进制系统模是4 (2^2)。现在有两个指针i和j指向这个圆盘上的某个刻度。我们想知道从i的位置顺时针走到j的位置需要走多少步这个步数就是j - i如果结果为正或者是i到j的顺时针距离。但是如果j在数值上小于i呢比如i01(1)j00(0)。直接00 - 01在二进制里会借位得到11如果我们忽略借位只保留2位结果。这个11如果解释为无符号数是3。它的物理意义是什么意义就是从i(01) 顺时针走到j(00)你需要走过刻度 01 - 10 - 11 - 00总共3步。因为圆盘是环形的从1走到0就是走完剩下的整个圆。所以j - i在这个模型下计算出来的值如果为负则以补码形式呈现其无符号解释就代表了顺时针距离。5.2 补码作为“逆时针距离”那么如果我们把计算结果11解释为2位有符号补码呢在2位补码体系中11表示-1。-1的物理意义是什么它代表从i到j的逆时针距离。从i(01) 逆时针走1步就到了j(00)。所以同一个二进制结果11在不同的解读下有了不同的几何意义无符号数3顺时针距离。有符号补码-1逆时针距离负号表示方向与顺时针相反。这个模型完美地解释了为什么补码能自然地处理“溢出”越过零点。在环形世界里没有真正的“溢出”只有“绕圈”。计算j - i硬件永远给出一个固定的二进制结果。这个结果在模运算下同时编码了两种距离信息取它的无符号值得到顺时针距离将其视为补码得到带方向的逆时针为负距离。5.3 在编程中的体现这个模型在编程中极其有用特别是在处理循环缓冲区、哈希表、定时器溢出等场景。场景实例计算缓冲区读写索引的未处理数据量假设一个环形缓冲区大小为SIZE。写索引write_idx读索引read_idx。如何计算缓冲区中已有多少数据data_count一个直观但错误的写法是data_count write_idx - read_idx;。如果write_idx回绕了超过了SIZE-1后又从0开始而read_idx还没回绕这个减法结果会是负数。正确的、利用了无符号数模运算特性的写法是unsigned int data_count write_idx - read_idx; // 当 write_idx read_idx 时结果会被自动解释为模 SIZE 下的正值或者更明确地unsigned int data_count (write_idx - read_idx) % SIZE;在C语言中对于无符号数write_idx - read_idx当结果为负时会发生“下溢”但根据标准其结果是(SIZE - (read_idx - write_idx))正好就是我们想要的顺时针距离从read_idx到write_idx需要前进的步数。实操心得 在处理嵌入式系统的硬件定时器时这种思维至关重要。定时器通常是一个向上计数到某个模值后溢出归零的计数器。要计算两次采样时间点t1和t2t2在t1之后之间经过的滴答数不能简单做t2 - t1因为t2可能已经溢出过一次。正确的做法是// 假设 timer 是 N 位无符号计数器 unsigned int elapsed_ticks (unsigned int)(t2 - t1); // 依赖无符号数的模运算特性无论中间是否发生溢出只要t1和t2的采样间隔小于定时器的一个完整周期模值这个计算就是正确的。这就是补码模运算思想在工程实践中的直接应用。理解了这个物理模型你就能写出更健壮、更优雅的底层代码。
补码原理深度解析：从模运算到硬件实现，统一计算机加减法
发布时间：2026/6/6 12:29:59
1. 从“借位”到“溢出”为什么我们需要补码做嵌入式或者数字电路设计的朋友肯定都跟二进制数打过交道。加减乘除里加法最简单硬件上做个加法器就行。但一到减法新手就容易懵计算机里好像没有专门的“减法器”那A - B是怎么算的老司机会告诉你秘诀就是“用加法来做减法”——减一个数等于加上这个数的补码。这个结论听起来像魔法很多教材和资料也就直接给个公式告诉你“记住就行”。但如果你真就这么记了遇到一些边界情况比如计算结果溢出了或者正负号不对劲心里还是会发虚。我自己早年调试一个FPGA的算法模块就因为对补码的“模”这个概念理解不透导致一个计数器在归零时产生了非预期的跳变排查了大半天。今天我们就抛开那些复杂的数学定义用最“工程师”的方式把“减一个数等于加上其补码”这个事儿掰开揉碎了讲明白。我们会从两种补码的计算方法为什么等效开始一步步看到这个核心结论是如何自然推导出来的最后再聊聊它在实际电路和编程中的物理意义。目标只有一个让你下次用到的时候心里有底眼里有光。2. 补码的两种面孔为什么“取反加一”等于“模减原码”补码不是凭空冒出来的它有两种等价的定义方式。理解它们为什么等价是理解后续一切的基础。2.1 定义回顾两种计算方法假设我们面对的是一个8位二进制系统。一个数X它的补码通常有两种算法算法一位操作版将X的每一位二进制数取反0变11变0得到所谓的“反码”然后再加1。算法二算术版用一个叫做“模”Modulo的数M减去X即补码 M - X。对于8位系统这个模M是2^8 256用二进制表示就是1 0000 0000一个9位的数但第9位是我们心中想象的实际8位寄存器存不下。很多初学者会困惑一个是对数字本身做位运算另一个是做减法它们怎么会得到相同的结果呢下面我们就来“证明”一下。注意这里的“证明”更偏向于一种直观的理解和推导而非严格的数学证明目的是建立清晰的物理图像。2.2 理解式推导两种算法的等价性我们用一个具体的例子来推演。假设原码X 1001 0110十进制150。按照算法一取反加一第一步取反。X的每一位取反得到0110 1001。这个数在有的体系里被称为“反码”。第二步加一。0110 1001 1 0110 1010。所以X的补码是0110 1010十进制106。现在我们换个角度思考“取反”这个操作。对一个8位二进制数X的每一位取反得到的结果我们记为~X按位取反。X和~X有一个非常有趣的关系X (~X) 1111 1111因为X的某一位如果是0~X对应位就是1反之亦然。所以它们每一位相加都是1整个8位数加起来就是8个1即1111 1111。这个数是8位二进制能表示的最大无符号数等于十进制255。所以我们可以得到~X 1111 1111 - X。那么算法一补码 ~X 1就可以改写为补码 (1111 1111 - X) 1 1111 1111 1 - X。关键点来了1111 1111 1等于多少在二进制中1111 1111255加1会得到1 0000 0000256。但这个结果已经超过了8位最高位的1成了一个“第9位”。在固定的8位系统中这个溢出的位会被舍去或者说不被存储和考虑。因此在模256的世界里1111 1111 1等价于0000 0000。但我们从数值上看它正好就是2^8 256也就是我们算法二里提到的模 M。因此上面的等式变成了补码 (1111 1111 1) - X 1 0000 0000 - X M - X。看这正好就是算法二的定义实操心得 这个推导过程揭示了一个核心在固定位宽的系统中比如8位、16位、32位“取反加一”的本质就是“用模减去原数”。硬件上实现“取反”非常容易一堆反相器实现“加1”也很简单一个加法器或者更简单的进位链。而“模减去原数”在硬件上直接实现反而复杂。所以“取反加一”是补码在数字电路中的物理实现方式而“模减原数”是它的数学定义本质。理解这一点你就知道为什么CPU和FPGA里都采用第一种方式来计算补码了。3. 核心原理推导减法如何“变身”为加法明白了补码是什么我们来看今天的重头戏为什么减法能变成加法。3.1 设定舞台模运算的世界我们继续待在8位二进制系统里。在这个世界里所有数字都在 0 到 255 之间循环。就像一个只有256个刻度的钟表转完一圈又回到起点。数学上这叫做“模256运算”。在这个系统里256和0是等价的因为256 mod 256 0。同理257等价于1258等价于2以此类推。用公式表示就是A ≡ B (mod 256)如果(A - B)能被256整除。在我们的钟表比喻里就是指针指向同一个位置。3.2 减法变形记现在我们想计算A - BA是被减数B是减数。在模256的世界里我们可以玩一个“魔法”给这个式子加上一个256也就是模M因为加上一个256在模运算下等于加0不会改变结果。所以差 D A - B A - B 256 // 因为 256 ≡ 0 (mod 256)所以加上它结果不变 A (256 - B) // 重新组合一下看最后这个式子A (256 - B)。(256 - B)是什么根据我们上一节的结论这不正是减数B的补码吗算法二补码 M - B。因此我们得到了那个神奇的等式A - B A (B的补码)而且这个等号是在模256的意义下成立的。也就是说等式两边可能相差若干个256但在我们8位的寄存器里它们看起来一模一样。3.3 实例演算让我们用文章开头的例子来验证一下A 1101 0101(213)B 1001 0110(150)。直接减法A - B 213 - 150 63。63的8位二进制是0011 1111。补码加法求B的补码B 1001 0110取反得0110 1001加1得0110 1010(106)。这正是256 - 150 106。计算A (B的补码)1101 0101 0110 1010。1101 0101 (213) 0110 1010 (106) ------------ 1 0011 1111结果是1 0011 1111一个9位数。但在8位系统中最高位的1溢出被丢弃我们只保留低8位0011 1111这正是63的二进制看结果完全正确。计算机的运算单元ALU就是这样干的当遇到减法指令时它实际上将减数按位取反、加一得到其补码然后和被减数一起送入加法器进行加法运算并妥善处理进位溢出位。注意事项 这里必须警惕“溢出”位。在上面的计算中我们得到了一个9位的1 0011 1111丢弃最高位1后得到了正确结果。但在某些情况下这个溢出位具有重要含义它可能就是“进位/借位”标志Carry/Borrow Flag在CPU状态寄存器里的来源。在无符号数运算中这个溢出位为1通常表示产生了进位或借位在有符号数运算中用补码表示判断溢出的规则更复杂一些需要看符号位和进位位的关系。这是后续进行精确运算和错误处理时必须考虑的问题。4. 正负号的秘密补码如何统一加减法你可能会有疑问上面举的例子都是正数减正数。如果涉及负数怎么办计算机又怎么知道一个二进制串是正是负4.1 符号的人为约定计算机的寄存器本质上只是一串开关0或1它本身并不认识“正号”或“负号”。是我们人类赋予这串二进制码以“有符号数”的含义。最常用的约定就是补码表示法。在n位补码系统中最高位MSB为符号位0表示正数或零1表示负数。正数的补码就是其本身的二进制形式。负数的补码将其对应正数的二进制表示“取反加一”得到。零的表示是唯一的全0。例如在8位补码中0000 0001表示 11111 1111表示 -1 因为1是0000 0001取反加一得1111 11111000 0000表示 -128这是一个特殊的边界值0111 1111表示 1274.2 加减法的统一采用了补码表示法后一个巨大的好处出现了对于加法和减法CPU无需区分操作数是有符号的还是无符号的也无需为减法设计单独的电路。无论A和B在程序员心中是带符号的补码还是纯粹的无符号数CPU执行A - B的流程都是一样的对B执行“取反加一”操作得到B_comp。将A和B_comp送入加法器相加。输出结果。这个硬件动作是唯一的。至于输出的结果该如何解读是有符号的-5还是无符号的251则是由后续的软件逻辑或程序员自己来决定的。这就是硬件层的统一。让我们看一个有符号数的例子计算5 - 3。用8位补码表示5是0000 01013是0000 0011。-3的补码3(0000 0011) 取反加一得1111 1101。计算5 (-3)0000 0101 1111 1101 1 0000 0010。丢弃溢出的高位得到0000 0010即十进制2。结果正确。再试一个负数减正数-5 - 3。-5的补码5(0000 0101)取反加一得1111 1011。-3的补码1111 1101同上。计算(-5) (-3)1111 1011 1111 1101 1 1111 1000。丢弃溢出的高位得到1111 1000。这个数最高位是1所以是负数。我们求它的原码补码的补码就是原码1111 1000取反加一得0000 1000即8。所以1111 1000表示-8。-5 - 3 -8结果正确。可以看到这套规则完美自洽。加法器成为了运算的绝对核心。常见问题与排查技巧实录问题在C语言中对int有符号变量进行运算时有时结果出乎意料特别是涉及负数右移 () 时。排查这通常是因为混淆了逻辑移位和算术移位。对于有符号数补码右移通常是算术右移高位补符号位即补0或补1以保持负数仍为负数。而对于无符号数右移是逻辑右移高位补0。务必清楚你操作的数据类型。技巧在嵌入式开发中当需要明确进行模运算时比如计算循环缓冲区索引使用无符号类型 (unsigned int) 可以避免由符号位带来的未定义行为或意外结果因为无符号数的溢出在C标准中是明确定义为模运算的。5. 补码的物理意义环形计数与相对距离理解了数学上的等价性我们再来建立一个更直观的物理模型。这能帮你从另一个维度感受补码的魅力。5.1 环形刻度盘模型想象一个只有4个刻度的环形刻度盘刻度值分别是00,01,10,11对应0, 1, 2, 3。这是一个2位二进制系统模是4 (2^2)。现在有两个指针i和j指向这个圆盘上的某个刻度。我们想知道从i的位置顺时针走到j的位置需要走多少步这个步数就是j - i如果结果为正或者是i到j的顺时针距离。但是如果j在数值上小于i呢比如i01(1)j00(0)。直接00 - 01在二进制里会借位得到11如果我们忽略借位只保留2位结果。这个11如果解释为无符号数是3。它的物理意义是什么意义就是从i(01) 顺时针走到j(00)你需要走过刻度 01 - 10 - 11 - 00总共3步。因为圆盘是环形的从1走到0就是走完剩下的整个圆。所以j - i在这个模型下计算出来的值如果为负则以补码形式呈现其无符号解释就代表了顺时针距离。5.2 补码作为“逆时针距离”那么如果我们把计算结果11解释为2位有符号补码呢在2位补码体系中11表示-1。-1的物理意义是什么它代表从i到j的逆时针距离。从i(01) 逆时针走1步就到了j(00)。所以同一个二进制结果11在不同的解读下有了不同的几何意义无符号数3顺时针距离。有符号补码-1逆时针距离负号表示方向与顺时针相反。这个模型完美地解释了为什么补码能自然地处理“溢出”越过零点。在环形世界里没有真正的“溢出”只有“绕圈”。计算j - i硬件永远给出一个固定的二进制结果。这个结果在模运算下同时编码了两种距离信息取它的无符号值得到顺时针距离将其视为补码得到带方向的逆时针为负距离。5.3 在编程中的体现这个模型在编程中极其有用特别是在处理循环缓冲区、哈希表、定时器溢出等场景。场景实例计算缓冲区读写索引的未处理数据量假设一个环形缓冲区大小为SIZE。写索引write_idx读索引read_idx。如何计算缓冲区中已有多少数据data_count一个直观但错误的写法是data_count write_idx - read_idx;。如果write_idx回绕了超过了SIZE-1后又从0开始而read_idx还没回绕这个减法结果会是负数。正确的、利用了无符号数模运算特性的写法是unsigned int data_count write_idx - read_idx; // 当 write_idx read_idx 时结果会被自动解释为模 SIZE 下的正值或者更明确地unsigned int data_count (write_idx - read_idx) % SIZE;在C语言中对于无符号数write_idx - read_idx当结果为负时会发生“下溢”但根据标准其结果是(SIZE - (read_idx - write_idx))正好就是我们想要的顺时针距离从read_idx到write_idx需要前进的步数。实操心得 在处理嵌入式系统的硬件定时器时这种思维至关重要。定时器通常是一个向上计数到某个模值后溢出归零的计数器。要计算两次采样时间点t1和t2t2在t1之后之间经过的滴答数不能简单做t2 - t1因为t2可能已经溢出过一次。正确的做法是// 假设 timer 是 N 位无符号计数器 unsigned int elapsed_ticks (unsigned int)(t2 - t1); // 依赖无符号数的模运算特性无论中间是否发生溢出只要t1和t2的采样间隔小于定时器的一个完整周期模值这个计算就是正确的。这就是补码模运算思想在工程实践中的直接应用。理解了这个物理模型你就能写出更健壮、更优雅的底层代码。
