关于C++ unsigned类型中间计算与减法可逆性的标准合规问询

1. unsigned类型的中间计算值是否会“存储”负数？ #

• 结论：不会。unsigned类型的所有值（包括计算结果）始终是非负的，因为C++标准规定无符号整数运算遵循模2^N算术（N为该类型的位宽）。
• 原理：当无符号减法出现数学上的负数结果时，实际会被自动转换为模2^N后的非负值。例如，32位unsigned类型中，1u - 2u的结果是4294967295（即2^32 - 1），而非-1。不存在“存储负数”的情况——所有unsigned对象的取值范围严格限定在[0, 2^N - 1]内。

2. 无符号减法是否可逆？即(a - b) + b是否恒等于a？ #

• 结论：是的，标准明确保证该等式恒成立，无论a和b的大小关系如何。
• 标准依据：
  • C标准（以C20为例）在[basic.fundamental]条款中规定：无符号整数的算术运算结果是对应模值的余数，即结果满足0 ≤ result < 2^N。
  • 在[expr.add]条款中，加法和减法运算对于无符号类型的行为被定义为模2^N算术。因此：

    (a - b) + b 等价于 (a + (-b + b)) mod 2^N，而-b + b模2^N的结果为0，最终等式简化为a mod 2^N，即a本身（因为a是无符号类型，取值已在模范围内）。

代码验证（针对std::size_t） #

以下代码完全符合C++标准，运行结果稳定可靠：

#include <iostream>
#include <cstddef>

int main() {
    // 测试a < b的场景
    std::size_t a = 5;
    std::size_t b = 10;
    std::size_t res = (a - b) + b;
    std::cout << "(5 - 10) + 10 = " << res << ", original a = " << a << "\n";

    // 测试a >= b的场景
    a = 15;
    b = 7;
    res = (a - b) + b;
    std::cout << "(15 - 7) + 7 = " << res << ", original a = " << a << "\n";

    return 0;
}

运行输出：

(5 - 10) + 10 = 5, original a = 5
(15 - 7) + 7 = 15, original a = 15

迁移至std::size_t的安全性说明 #

从int迁移到std::size_t（无符号类型）时，这类计算的安全性反而更高：

• int的溢出属于未定义行为，而无符号类型的溢出是标准明确定义的模运算，不会出现不可预测的行为。
• 上述可逆性保证意味着你可以安全地进行类似(index - offset) + offset的计算，无需担心结果偏离原始值。

内容的提问来源于stack exchange，提问作者Damir Tenishev