CPP无符号整型减法溢出

tpoy0099

于 2017-03-23 16:06:02 发布

阅读量2.1k

点赞数

分类专栏： cpp 文章标签： cpp

本文链接：https://blog.csdn.net/tpoy0099/article/details/65444551

版权

本文通过分析CPU减法的底层原理，探讨了无符号整型减法可能导致的溢出问题。指出减法实际上是加法的相反数，并结合补码的概念解释了如何在模的系统中，减法可以转化为加法。同时强调在编程中注意编译器的类型转换警告，防止意外溢出。

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

阅读一段环状序列数的次序比较代码

/// This assumes no two active sequence values will be more than
/// (1 << (sizeof(unsigned int) * 8 - 2)) - 1 different from each other.
int difference(unsigned int a, unsigned int b)
{
    return static_cast<int>(a - b);
}

这里为什么要假定两个序号之间距离不会超过unsigned int所能表示的最大序数1/4?
因为注释写错了!!!

CPU减法都由ALU(Arithmetic and Logic Unit)负责运算,ALU不知道也不关心两个输入二进制数所代表的含义,它只会对这两个数做加法(二进制逐位相加).

所以对于两个数相减, cpu运算的其实是元素1加上元素2的相反数

为了统一运算逻辑并遵循逻辑电路尽量简单的原则
现代计算机内负整型的表示方法一般为补码,以下用5bit长度举例
首bit标识正负,可标识十进制范围为 +15~-16

最低0.47元/天解锁文章