math.incrementexact和math.decrementexact是java 8引入的严格算术方法，通过提前判断边界值（如a==integer.max_value）来主动检测±1溢出并抛出arithmeticexception，避免静默回绕，适用于计数器、金融计算等需安全校验的场景。
Math.incrementExact 和 Math.decrementExact 是 Java 8 引入的严格算术方法，用于在执行 +1 或 -1 操作时主动检测整数溢出，并在溢出时抛出 ArithmeticException，而不是静默回绕（如 Integer.MAX_VALUE + 1 变成 Integer.MIN_VALUE）。
核心原理：直接判断边界值
这两个方法不依赖“先计算再检查”的方式（那样可能已溢出），而是通过条件判断提前拦截：
-
incrementExact(int a)：若a == Integer.MAX_VALUE，直接抛异常；否则返回a + 1 -
decrementExact(int a)：若a == Integer.MIN_VALUE，直接抛异常；否则返回a - 1 - 对
long类型同理，分别检查Long.MAX_VALUE和Long.MIN_VALUE
与普通自增/自减的区别
普通操作（如 i++、i-- 或 i + 1）完全不检测溢出，结果由二进制补码规则决定，行为不可靠；而 incrementExact 等方法把溢出视为错误场景，强制开发者显式处理。
- ✅ 安全场景：计数器接近边界、金融计算、协议字段校验等不容许回绕的场合
- ❌ 不适用场景：性能敏感且明确允许回绕的底层逻辑（如哈希索引、位运算循环）
典型用法示例
建议配合 try-catch 使用，或用于断言/测试中验证边界行为：
try {
int x = Integer.MAX_VALUE;
int y = Math.incrementExact(x); // 抛出 ArithmeticException
} catch (ArithmeticException e) {
System.err.println("溢出！无法对 " + Integer.MAX_VALUE + " 自增");
}
也可用于链式安全计算（如 Math.incrementExact(Math.incrementExact(n))），但需注意每次调用都独立检查。
注意事项
这些方法仅做“单步 ±1”检查，不适用于任意加减（如 +2、-5），这类需求应使用 addExact、subtractExact 等配套方法。
- 不支持 byte/short/char，参数必须是 int 或 long
- 空值（null）不相关——它们是静态方法，只接受基本类型
- 性能略低于普通运算（有分支判断），但代价远小于溢出后引发的逻辑错误
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
