CPP无符号整型减法溢出

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

/// 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