整型变量的溢出

整型变量的整型溢出，本质上是变量计算机在有限位数里玩数字的“俄罗斯轮盘赌”。你给一个32位的整型int塞进2147483647，它还能忍，变量再加1，整型啪，变量变成-2147483648。整型这可不是变量什么数学魔术，是整型二进制补码的必然结局——最高位从0翻成1，符号位被硬生生抢走了。变量 我亲眼见过一次真实的整型溢出事故。某年某电商平台搞促销，变量后端用int存优惠券总量，整型运营手滑把库存设成了21亿多。变量结果用户一抢，整型系统直接判定库存为负数，所有订单全部报错。那会儿技术群里炸了锅，有人贴出日志：`coupon_stock = 2147483647 + 1 -> -2147483648`。几个老程序员盯着屏幕苦笑，这行代码比任何教科书都生动。 溢出的诡异之处在于它不报错。C语言里unsigned int溢出会安静地绕回0，Java里int溢出照样跑，没人提醒你。这就像你家的水表，走到9999后没人管，它自己蹦回0000，但水费单照常寄来。更坑的是，很多语言把整数默认成32位有符号，你写个`2000000000 + 2000000000`，结果不是40亿，是-294967296。数学老师看了会沉默，编译器看了会假装没看见。 处理溢出的手段五花八门。有人用long long硬扛，有人用BigDecimal保平安，还有人直接在代码里写死`if (x > Integer.MAX_VALUE - y)`。但最狠的做法，是学Rust——人家干脆在编译期就拒绝你，溢出直接panic，逼你面对现实。我见过一个老项目，里面全是`try-catch`包着算术运算，注释写着“别问，问就是当年炸过”。 但话说回来，溢出也不全是坏事。很多经典游戏里的“刷钱bug”就是靠溢出实现的——比如《暗黑破坏神2》里复制装备，利用的就是物品耐久度的unsigned char溢出。玩家把耐久堆到255，再修一次，直接变0，然后系统判定装备已损坏，却又因为特殊逻辑把复制品留在背包里。这种漏洞被玩家戏称为“程序员留给世界的彩蛋”。 说到底，整型溢出是硬件和软件之间永远无法弥合的裂缝。芯片寄存器就那32个bit，你塞不下整个宇宙，但代码总想装下更大的数。程序员能做的，要么是小心翼翼地在边界处垫上检查，要么干脆换个更大的容器。可问题是——你永远不知道哪个犄角旮旯里，有个变量正悄悄逼近那个危险的临界点。就像你永远不知道，自己银行账户余额的int，哪天会不会因为一笔利息的进位，突然变成负数。