自动检测溢出的unsigned int加法

最新推荐文章于 2023-09-28 11:41:41 发布

GH_HOME

最新推荐文章于 2023-09-28 11:41:41 发布

阅读量1.6k

点赞数

CC 4.0 BY-SA版权

分类专栏：编程技巧文章标签：加法

本文链接：https://blog.csdn.net/GH_HOME/article/details/51417845

编程技巧专栏收录该内容

13 篇文章

订阅专栏

本文介绍了一个用于检测无符号整数加法是否发生溢出的函数intuadd_ok。通过比较加法结果与操作数a的大小来判断是否发生溢出，并详细解释了其背后的原理。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

int uadd_ok(unsigned int a, unsigned int b)
{
    int result =a+b;
        if(result>a)
        {
            printf("the add is ok\n");
        }
        else 
        {
            printf("the add is overflow\n");
        }
        return result;
}

原理：对于无符号整数而言，两个取值范围为 $0～2^{w}-1$ 之间的整数相加得到取值范围为 $0～2^{w}-1$ 和 $2^{w}～2^{w+1}-2$ 对于第一个范围内的数值，加法没有溢出，表示的数值范围任然在w位内可以表示，那么a+b>a是肯定的
对于得到的result在 $\,2^{w}～2^{w+1}-2$ , 那么在w+1位上会有数值1，存储的时候，自动把w+1位上的1截断掉，那么得来的数值就等于 $result=a+b-2^w$ ，发生了溢出。由于 $b<2^w$ ,所以 $b-2^w<0$ ，因此判断溢出可以通过 $result<a或者b$ 来判断