聊聊数据溢出的事，你明白几分？

前言

直接看代码：

uint32_t Time_Interval()

{

static uint32_t old_time_tick;

uint32_t data;

data = sys_time_tick_ms - old_time_tick;

old_time_tick = sys_time_tick_ms;

return data;

}

上述代码，聊聊sys_time_tick_ms每隔1ms自动加1，数据Time_Interval函数的溢出作用是的，计算上一次调用Time_Interval和下一次调用的明白时间差，单位ms。聊聊

在这里存在一个风险，数据就是溢出sys_time_tick_ms到达最大值后会溢出，会变成0。明白所以之前的聊聊代码我的习惯是先判断一下sys_time_tick_ms和old_time_tick的大小关系。

uint32_t Time_Interval()

{

static uint32_t old_time_tick;

uint32_t data;

if(sys_time_tick_ms > old_time_tick)

data = sys_time_tick_ms - old_time_tick;

else

data = sys_time_tick_ms + (0xFFFFFFFF - old_time_tick);

old_time_tick = sys_time_tick_ms;

return data;

}

然而一次和同事交流的数据时候，我意识到其实不用这么做的溢出，sys_time_tick_ms直接减去old_time_tick就行。明白如下代码

sys_time_tick_ms = 0xFFFFFFFF - 2;

old_time_tick = sys_time_tick_ms;

sys_time_tick_ms++;

data = sys_time_tick_ms-old_time_tick;

printf("sys_time_tick_ms:%x data:%d\r\n",聊聊sys_time_tick_ms,data);

sys_time_tick_ms++;

data = sys_time_tick_ms-old_time_tick;

printf("sys_time_tick_ms:%x data:%d\r\n",sys_time_tick_ms,data);

sys_time_tick_ms++;

data = sys_time_tick_ms-old_time_tick;

printf("sys_time_tick_ms:%x data:%d\r\n",sys_time_tick_ms,data);

sys_time_tick_ms++;

data = sys_time_tick_ms-old_time_tick;

printf("sys_time_tick_ms:%x data:%d\r\n",sys_time_tick_ms,data);

sys_time_tick_ms++;

data = sys_time_tick_ms-old_time_tick;

printf("sys_time_tick_ms:%x data:%d\r\n",sys_time_tick_ms,data);

具体打印如下：

sys_time_tick_ms:fffffffe data:1

sys_time_tick_ms:ffffffff data:2

sys_time_tick_ms:0 data:3

sys_time_tick_ms:1 data:4

sys_time_tick_ms:2 data:5

可以看出，这种情况下，数据即使sys_time_tick_ms溢出，溢出也不影响正常功能的。

如果你很明白这个问题，大佬可以出门左转了，这篇文章会浪费你的时间的。云南idc服务商

无符号减法的本质

注意：本文只讨论无符号的减法，有符号和其他数据类型本人没有深究。

在计算机中，无符号的减法运算是通过补码来进行的，比如a-b，实质上是a补 + (-b补)。补码的定义不懂的同学请自行百度。

uint32_t a,b,c;

a=5;

b=10;

c=a-b;

printf("c:%x\r\n",c);

打印如下：

c:fffffffb。

这个是我们上面结论的简单例子，将这个减法手动模拟一下，就方便理解了。

5的原码： 00000000 | 00000000 | 00000000 | 0000010110的原码：00000000 | 00000000 | 00000000 | 00001010。

5的补码： 00000000 | 00000000 | 00000000 | 00000101。

-10的补码：11111111 | 11111111 | 11111111 | 11110110。

(5)补 + (-10)补 = 00000000 00000000 00000000 00000101 + 11111111 11111111

11111111 11110110。

结果就是fffffffb。

总结

发现这个合法的源码库操作，能更加深入的了解无符号的加法操作。但是这种操作还是要慎重，我的测试环境是IAR7.2，建议大家使用时先测试一下，还是要谨慎的，别因为这个问题"捅了娄子"。

除了需要在开发环境中测试一下外，还需要额外的备注如下‍：

uint32_t Time_Interval()

{

static uint32_t old_time_tick;

uint32_t data;

data = sys_time_tick_ms - old_time_tick;//数据溢出后，由于无符号减法特性，也不会出问题

old_time_tick = sys_time_tick_ms;

return data;

}

建议加上这样的注释，方便其他人维护，代码清晰易读。就像switch语句，合并处理某些情况是，最好添加备注。

switch (data){

case:0

case:1//0和1情况一样，合并处理

/*do some thing*/

break;

case:2

/*do some thing*/

break;

default:

break;

}

总结两点：

测试对应开发环境下是否有问题养成良好习惯，写清楚注释

很赞哦!（719）