C++无符号整数溢出问题解析

 更新时间:2022年06月08日 10:55:10   作者:李迟  
这篇文章主要介绍了C++无符号整数溢出探究,本文主要探讨C/C++中无符号整数超过范围后的计算问题,本文给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友可以参考下

本文主要探讨C/C++中无符号整数超过范围后的计算问题。

问题提出

nrf52832 的 SDK 中是没有时间戳获取的函数的,为了统计性能耗时,也为了向一些库提供时间戳(毫秒级别),需要自己利用定时器实现获取毫秒的接口。

nrf52832 是 32 位的,按毫秒计算,大概49天就会达到最大值,如何处理毫秒数值溢出后的情况,其实我是不懂的。看了些帖子,说在单独处理溢出反转的情形,但总觉得这样不太好,因此集中了一点时间,了解学习了无符号数的溢出(或说进位),并写了点代码测试。

设计思路

为了方便调试,本文用 32 位虚拟机 Linux 进行测试。用get_time获取系统的秒数值,其值用g_ms表示,开一线程time_handler每秒累计一次时间数值,开另一线程myfunc_sleep统计耗时。

需要注意的是,上面所述仅是模拟演示,旨在说明本质问题,并非实际使用的。

工程代码

首先简单测试无符号数的相加,函数如下:

// 测试无符号溢出后的差值 delta
void delta_test(int delta)
{
    mytime_t start = 0xfffffffe;
    /* 以ms为10为例,ent得到的结果为8
     8 - start = 10
     因此,即使溢出后,差值也是不变的
     在延时函数中,即使时间戳溢出,也是无问题的。
     */
    mytime_t end = start + delta;
    
    mytime_t mydelta = end - start;
​
    printf("end: %u start: %u delta: %u mydelta: %u\n", end, start, delta, mydelta);
    for (int i = 0; i < delta; i++)
    {
        printf("%u %d\n", start, start);
        start++;
    }
}

测试代码:

delta_test(10);

其打印结果如下:

end: 8 start: 4294967294 delta: 10 mydelta: 10
4294967294 -2
4294967295 -1
0 0
1 1
2 2
3 3
4 4
5 5
6 6
7 7

起始数值为0xfffffffe,即4294967294,使用有符号打印,其值为-2。当超过0xffffffff则从0开始计数。如果仅从结果看,可得到:8 - 4294967294 = 10,与传递的参数一致。

下面给出多线程测试代码:

代码中定义的时间戳变量为mytime_t,实际上是无符号类型unsigned。另外也做了测试,在32位机器上使用uint8_t类型也可以得到正确值,但负数就无法打印出来了。

测试

g_start的值为0xfffffffe时,测试结果如下:

test of unsigned overflow..
sizeof: 4
after sleep 3 s  1 - 4294967294 = 3
after sleep 3 s  4 - 1 = 3
after sleep 3 s  7 - 4 = 3
after sleep 3 s  10 - 7 = 3
after sleep 3 s  13 - 10 = 3

g_start的值为0xfffffff0时,测试结果如下:

第一次测试:
test of unsigned overflow..
sizeof: 4
after sleep 2 s  4294967282 - 4294967281 = 1
after sleep 2 s  4294967284 - 4294967282 = 2
after sleep 2 s  4294967286 - 4294967284 = 2
after sleep 2 s  4294967288 - 4294967286 = 2
after sleep 2 s  4294967290 - 4294967288 = 2
after sleep 2 s  4294967292 - 4294967290 = 2
after sleep 2 s  4294967294 - 4294967292 = 2
after sleep 2 s  0 - 4294967294 = 2
after sleep 2 s  2 - 0 = 2
after sleep 2 s  4 - 2 = 2
after sleep 2 s  6 - 4 = 2
after sleep 2 s  8 - 6 = 2
​
第二次测试:
test of unsigned overflow..
sizeof: 4
after sleep 2 s  4294967282 - 4294967280 = 2
after sleep 2 s  4294967284 - 4294967282 = 2
after sleep 2 s  4294967286 - 4294967284 = 2
after sleep 2 s  4294967288 - 4294967286 = 2
after sleep 2 s  4294967290 - 4294967288 = 2
after sleep 2 s  4294967292 - 4294967290 = 2
after sleep 2 s  4294967294 - 4294967292 = 2
after sleep 2 s  0 - 4294967294 = 2
after sleep 2 s  2 - 0 = 2
after sleep 2 s  4 - 2 = 2
after sleep 2 s  6 - 4 = 2
after sleep 2 s  8 - 6 = 2

从结果上看,基本符合要求,即延时2秒,统计的耗时是2。——不管是否有溢出。

扩展知识

计算机中数值存储的是2的补码(2’s complement)。正数的补码是其本身,负数的补码是原码基础上取反码,末位加1。

mpu6050 芯片的陀螺仪和加速度数值,是16位有符号数值,就是用2的补码形式存储的。

小结

对于计时、延时类的函数,记录时间戳的变量为无符号数。类型为unsinged,不能加范围限制,这是指平台最大者,如32位系统,使用的是32位无符号数,64位的系统则是64位无符号数。当变量数值溢出后,其值归0,但计时函数是正常的,不需要额外处理溢出情况。

到此这篇关于C++无符号整数溢出探究的文章就介绍到这了,更多相关C++无符号整数溢出内容请搜索脚本之家以前的文章或继续浏览下面的相关文章希望大家以后多多支持脚本之家!

您可能感兴趣的文章:

相关文章

  • C语言由浅入深讲解线程的定义

    C语言由浅入深讲解线程的定义

    这篇文章主要介绍了C语言中线程的基础知识,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧
    2022-05-05
  • 浅析C++如何跨模块释放内存

    浅析C++如何跨模块释放内存

    这篇文章主要为大家详细介绍了C++中跨模块释放内存的相关知识,文中的示例代码讲解详细,具有一定的借鉴价值,有需要的小伙伴可以了解下
    2024-02-02
  • C++指针运算符(&和*)的实现

    C++指针运算符(&和*)的实现

    C++ 提供了两种指针运算符,一种是取地址运算符 &,一种是间接寻址运算符 *,本文就详细的介绍一下这两种运算符的使用,具有一定的参考价值,感兴趣的可以了解一下
    2023-08-08
  • C++中的数组你真的理解了吗

    C++中的数组你真的理解了吗

    这篇文章主要为大家详细介绍了C++的数组,文中示例代码介绍的非常详细,具有一定的参考价值,感兴趣的小伙伴们可以参考一下,希望能够给你带来帮助
    2022-02-02
  • C++左值和右值学习笔记

    C++左值和右值学习笔记

    这篇文章主要为大家介绍了C++左值和右值学习笔记的重点讲解,有需要的朋友可以借鉴参考下,希望能够有所帮助,祝大家多多进步,早日升职加薪
    2023-10-10
  • C++实现LeetCode(155.最小栈)

    C++实现LeetCode(155.最小栈)

    这篇文章主要介绍了C++实现LeetCode(155.最小栈),本篇文章通过简要的案例,讲解了该项技术的了解与使用,以下就是详细内容,需要的朋友可以参考下
    2021-07-07
  • C++控制台实现简单注册登录

    C++控制台实现简单注册登录

    这篇文章主要为大家详细介绍了C++控制台实现简单注册登录,文中示例代码介绍的非常详细,具有一定的参考价值,感兴趣的小伙伴们可以参考一下
    2020-12-12
  • C++阻止类被实例化详解

    C++阻止类被实例化详解

    下面小编就为大家带来一篇浅谈C++阻止类被实例化详解。小编觉得挺不错的,现在就分享给大家,也给大家做个参考。一起跟随小编过来看看吧
    2021-09-09
  • C语言实现静态存储通讯录的示例代码

    C语言实现静态存储通讯录的示例代码

    这篇文章主要为大家详细介绍了如何利用C语言实现一个静态存储的通讯录,文中的示例代码讲解详细,对我们学习C语言有一定帮助,需要的可以参考一下
    2022-09-09
  • C语言二叉树与堆的概念与实现

    C语言二叉树与堆的概念与实现

    这篇文章主要给大家介绍了关于C语言二叉树与堆的相关资料,文章详细记录了他们的相关概念以及如何实现的,通过图文介绍的非常详细,需要的朋友可以参考下
    2021-06-06

最新评论