java中int累加会静默回绕，应使用a>0&&b>0&&a>integer.max_value-b预检溢出，仅对同号数有效，禁止先加后判或用long转换。
在 Java 中，直接对 int 类型做累加（如 a + b）不会抛异常，而是静默回绕（wraparound），导致难以排查的逻辑错误。利用 Integer.MAX_VALUE 手动预检是一种常见且轻量的防御手段，但需注意边界条件和语义正确性。
预检的核心逻辑：加法溢出的数学判定
两个正整数相加溢出，当且仅当：a > 0 && b > 0 && a > Integer.MAX_VALUE - b
这个不等式等价于 a + b > Integer.MAX_VALUE，但避免了实际执行加法——否则就失去预检意义了。
- 只对同号操作数有意义：两负数相加可能下溢（小于
Integer.MIN_VALUE），需单独检查a - 一正一负或含零时，结果一定在
[Integer.MIN_VALUE, Integer.MAX_VALUE]范围内，无需检查 - 推荐封装为工具方法，避免重复逻辑
安全累加的实用写法示例
以下是一个兼顾可读性与健壮性的静态辅助方法：
public static int safeAdd(int a, int b) {
if (a > 0 && b > 0 && a > Integer.MAX_VALUE - b) {
throw new ArithmeticException("Integer overflow: " + a + " + " + b);
}
if (a <p>调用时直接替换原加法：<br><code>int sum = safeAdd(x, y);</code> —— 溢出时明确失败，而非静默错误。</p><div class="aritcle_card flexRow artxards">
<div class="artcardd flexRow">
<a class="aritcle_card_img" rel="nofollow" href="/xiazai/skill9040" title="JavaStoryDevelop"><img
src="https://img.php.cn/upload/skill/000/000/081/179238966962420.jpg" alt="JavaStoryDevelop" onerror="this.onerror='';this.src='/static/lhimages/moren/morentu.png'" ></a>
<div class="aritcle_card_info flexColumn">
<a rel="nofollow" href="/xiazai/skill9040" title="JavaStoryDevelop" class="overflowclass">JavaStoryDevelop</a>
<p class="overflowclass">你接手一个需求时，是不是经常这样："改一个小字段 → 结果把不相关的代码也改了"、"需求说得很模糊 → 做着做着发现跑偏了"、"数据库加个字段 → 上线才发现漏了数据兼容"、"做了个新功能 → 一个月后自己都忘了当时怎么设计的"、"写到一半被中断 → 再回来不知道从哪继续"；这个 Skill 就是专门解决这些问题的。 它会自动探测你的项目环境（JDK、Spring Boot、ORM、数据库、前端框架），记在</p>
</div>
<a rel="nofollow" href="/xiazai/skill9040" title="JavaStoryDevelop" class="aritcle_card_btn flexRow flexcenter"><b></b><span>下载</span>
</a>
</div>
</div><h3>更简洁的替代方案：使用 JDK 内置方法</h3><p>Java 8+ 提供了 <code>Math.addExact()</code>，内部实现与上述逻辑一致，且已充分测试：</p>
-
Math.addExact(a, b)：溢出时抛ArithmeticException - 同理还有
Math.multiplyExact()、Math.subtractExact() - 无需自己维护边界逻辑，语义清晰，推荐优先使用
注意事项与常见误区
直接比较 a + b > Integer.MAX_VALUE 是错误的——此时加法已执行，可能已回绕，比较结果不可靠。
- 不要用
long中间转换再比对（如(long)a + b > Integer.MAX_VALUE），虽能工作但引入类型转换开销，且掩盖了设计意图 - 若业务允许溢出后取模（如哈希计算），应显式使用
Math.floorMod()或位运算，而非依赖静默回绕 - 在循环累加场景中，每次迭代都应检查，不能只检查初始值
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
