聊聊数据溢出的事,你明白几分?

开发 前端
发现这个合法的操作,能更加深入的了解无符号的加法操作。但是这种操作还是要慎重,我的测试环境是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;
}

上述代码,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溢出,也不影响正常功能的。

如果你很明白这个问题,大佬可以出门左转了,这篇文章会浪费你的时间的。

无符号减法的本质

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

在计算机中,无符号的减法运算是通过补码来进行的,比如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;
}

总结两点:

  • 测试对应开发环境下是否有问题
  • 养成良好习惯,写清楚注释
责任编辑:武晓燕 来源: 知晓编程
相关推荐

2022-04-26 20:58:58

RTA广告

2022-10-19 08:19:32

动态基线预警

2022-05-31 07:32:19

JDK8API工具

2023-07-31 08:21:22

语法校对器Pick

2022-03-03 09:20:08

分布式数据库场景

2021-09-16 21:34:52

5G专线

2024-02-21 07:24:21

微服务单体架构MVC

2023-06-14 08:15:34

算法合并操作Winner

2022-10-24 20:25:40

云原生SpringJava

2022-08-16 07:57:30

架构

2022-07-27 08:31:28

SQL开发控制

2017-09-26 15:27:57

开源TiDB代码

2022-03-18 08:22:18

数据库碎片化信息化

2023-04-04 08:42:30

IT成本技术堆

2020-05-09 13:49:00

内存空间垃圾

2021-02-03 15:12:08

java内存溢出

2021-08-06 11:50:49

Linux 字节对齐Linux 系统

2020-11-30 13:10:39

MySQL安全服务器

2021-07-30 07:28:15

Kafka消息引擎

2021-11-03 06:25:58

确定性网络网络无线网络
点赞
收藏

51CTO技术栈公众号