无符号整数：是编程陷阱还是被低估的良药？

在C/C++世界里，Google规范和Stroustrup等大佬长期告诫：除非涉及位运算，否则尽量用有符号整数（signed）。理由很简单，无符号数（unsigned）一旦减到负数就会瞬间“爆表”变成天文数字。然而，资深开发者Dale Weiler提出了反直觉的观点：绝大多数程序中97%的整数永远不会是负数，强行使用有符号数不仅浪费了表达空间，更因其“溢出即未定义行为（UB）”的特性，在编译器优化下可能演变成难以排查的安全漏洞。

从底层逻辑看，无符号数的优势在于其溢出行为是“确定”的。在处理数组索引或循环计数时，无符号数能天然排除负数索引的风险。虽然反向遍历循环 `for (size_t i = n-1; i < n; i--)` 看起来像某种黑魔法，但它利用了明确的包裹（wrap）机制，规避了有符号数溢出带来的UB风险。与其在代码中到处塞满 `if (x < 0)` 的防御性检查，不如在类型系统层面就锁死负数的可能性。这种“Almost Always Unsigned”的风格虽然挑战直觉，却能迫使开发者更清晰地思考数值边界，减少逻辑上的“灰色地带”。

graphitemaster.github.io/aau/

#人工智能# #AI创造营# #程序员# #C语言# #底层原理#