聊聊数据溢出的事

工程师进阶笔记 · 发表于 2022-6-27 08:30:00

前言
直接看代码

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
",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
",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
",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
",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
",sys_time_tick_ms,data);具体打印如下

sys_time_tick_ms:fffffffe data:1sys_time_tick_ms:ffffffff data:2sys_time_tick_ms:0 data:3sys_time_tick_ms:1 data:4sys_time_tick_ms:2 data:5可以看出，这种情况下，即使sys_time_tick_ms溢出，也不影响正常功能的。
如果你很明白这个问题，大佬可以出门左转了，这篇文章会浪费你的时间的。
无符号减法的本质
注意：本文只讨论无符号的减法，有符号和其他数据类型本人没有深究。
在计算机中，无符号的减法运算是通过补码来进行的，比如a-b，实质上是a补 + (-b补)。补码的定义不懂的同学请自行百度。

uint32_t a,b,c;a=5;b=10;c=a-b;printf("c:%x\r
",c);打印如下
c:fffffffb这个是我们上面结论的简单例子，将这个减法手动模拟一下，就方便理解了5的原码： 00000000 | 00000000 | 00000000 | 0000010110的原码：00000000 | 00000000 | 00000000 | 000010105的补码： 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;}总结两点：1、测试对应开发环境下是否有问题
2、养成良好习惯，写清楚注释
END

yggnbcaubfy64014187858.gif

4xo5pobjjag64014187958.gif