捕获无符号整数溢出：从零到专家的C++侦探之旅

粗心者的陷阱：为什么unsigned int是定时炸弹？

每个C++开发者迟早都会遇到这样的情况：数字像疯狂的兔子一样，从正数无限跳回零。这里说的是unsigned int的溢出。与有符号类型（signed int）不同，C++中unsigned的溢出由标准严格定义——它不是未定义行为。数字只是按模2^N回绕。但这并不会使错误变得不那么致命。

想象一下：你在计算账户余额、数组元素数量或定时器运行时间。一次意外的溢出——应用程序的逻辑就会崩溃。标题为"How do I detect unsigned integer overflow?"的问题在Stack Overflow上获得了数千次浏览，这并非偶然。让我们分析三种检测溢出的方法：从朴素（但有效）到专业级别。

为什么标准检查不起作用？

新手首先想到的是：

unsigned int a = UINT_MAX;\nunsigned int b = 1;\nif (a + b < a) // 朴素检查\n    std::cout << "溢出！";

这段代码有效，但仅适用于加法。对于乘法、减法或混合类型，逻辑就会失效。此外，编译器可能认为这种检查是多余的，并在优化时将其删除。特别是当类型是有符号时。不要依赖魔法——显式编写代码。

方法一：操作前检查

最可靠的方法是在执行操作之前检查溢出的可能性。对于两个无符号数的加法，条件很简单：

如果a + b可能溢出，那么a > (UINT_MAX - b)。

#include <climits>\n#include <iostream>\n\nbool will_add_overflow(unsigned int a, unsigned int b) {\n    return a > UINT_MAX - b;\n}\n\nint main() {\n    unsigned int x = 4000000000;\n    unsigned int y = 500000000;\n    \n    if (will_add_overflow(x, y)) {\n        std::cerr << "错误：加法时溢出！\\n";\n    } else {\n        std::cout << "结果：" << x + y << "\\n";\n    }\n    return 0;\n}

乘法——更复杂

对于乘法，检查稍微复杂一些：a > UINT_MAX / b（别忘了处理除零）。

bool will_mult_overflow(unsigned int a, unsigned int b) {\n    if (b == 0) return false; // 乘以零——安全\n    return a > UINT_MAX / b;\n}

优点：跨平台，完全控制，无隐藏依赖。
\n缺点：需要为每个操作编写单独的函数。代码变得冗长。

方法二：操作后检查

C++标准保证，对于unsigned类型，操作结果是(a + b) mod 2^N。因此，我们可以先执行操作，然后检查值是否“回绕”。

#include <iostream>\n#include <limits>\n\ntemplate<typename T>\nbool add_overflow(T a, T b, T& result) {\n    result = a + b;\n    return result < a; // 关键技巧\n}\n\nint main() {\n    unsigned int res;\n    if (add_overflow(4000000000u, 500000000u, res)) {\n        std::cout << "检测到溢出！\\n";\n    } else {\n        std::cout << "OK：" << res << "\\n";\n    }\n    return 0;\n}

重要：这个技巧仅在a和b是同一无符号类型时有效。对于uint32_t——完美。对于unsigned int和int的混合——失败。

减法的陷阱

对于减法，条件相反：result > a。

template<typename T>\