Java 算术运算符使用详解

本文深入剖析了Java中算术运算符（+、-、*、/、%）的核心行为与潜在陷阱：从严格的类型提升规则（double→float→long→int）到除法向零截断、取余结果符号始终跟随被除数的特性；从整数溢出静默回绕、浮点除零产生Infinity/NaN的底层机制，到强制类型转换的编译限制与安全计算替代方案（如Math.exact系列方法）；同时揭示了浮点精度丢失等易被忽视的实践风险，帮助开发者避开常见误区，写出更健壮、可预测的数值运算代码。

Java 中的算术运算符 +、-、*、/、% 遵循明确的类型转换规则和运算优先级，其行为取决于操作数的类型（如 int、long、float、double）以及是否发生溢出或除零等异常情况。

基本运算规则与类型提升

当两个操作数类型不同时，Java 会按以下顺序自动提升类型（称为“二元数字提升”）：

• 如果任一操作数是 double，另一个也转为 double，结果为 double
• 否则，若任一为 float，另一个转为 float，结果为 float
• 否则，若任一为 long，另一个转为 long，结果为 long
• 否则，两个操作数都是 int（或更小类型如 byte/short/char），全部提升为 int，结果为 int

例如：byte a = 1; short b = 2; int c = a + b; 中，a + b 实际按 int 计算，不会溢出 byte 或 short 范围。

除法 / 的整除与浮点行为

/ 的结果类型完全由操作数类型决定，不是由数值大小决定：

• 5 / 2 → 结果是 2（int 除 int，向零截断，不四舍五入）
• 5.0 / 2 或 5 / 2.0 → 结果是 2.5（至少一个为浮点，结果为 double）
• 5f / 2 → 结果是 2.5f（float 类型）

注意：整数除零（如 5 / 0）抛出 ArithmeticException；浮点除零（如 5.0 / 0.0）得 Infinity 或 -Infinity，0.0 / 0.0 得 NaN。

取余 % 的符号与适用范围

%（取模）的结果符号与**被除数**（左操作数）一致，且满足恒等式：(a / b) * b + (a % b) == a（在无溢出前提下）：

• 7 % 3 → 1
• -7 % 3 → -1（不是 2）
• 7 % -3 → 1（模数符号不影响结果符号）
• -7 % -3 → -1

% 可用于整数和浮点数（如 7.5 % 2.0 得 1.5），但不能用于 boolean、String 等非数字类型。

溢出与隐式转换风险

Java 不检查整数运算溢出（如 int 最大值加 1 会回绕为最小值），也不自动提升到更大类型：

• int max = Integer.MAX_VALUE; int overflow = max + 1; → overflow 为 Integer.MIN_VALUE
• byte b = 127; b = (byte)(b + 1); → 必须显式强制转换，否则编译错误（因为 b + 1 是 int）
• 想安全计算，可使用 Math.addExact()、Math.multiplyExact() 等方法，溢出时抛出 ArithmeticException

浮点运算遵循 IEEE 754 标准，支持 Infinity、NaN 和次正规数，但存在精度丢失问题（如 0.1 + 0.2 != 0.3）。

理论要掌握，实操不能落！以上关于《Java 算术运算符使用详解》的详细介绍，大家都掌握了吧！如果想要继续提升自己的能力，那么就来关注golang学习网公众号吧！