Math.floorDiv() 是 Java 8 引入的向下取整除法方法，始终向负无穷取整，解决整数 / 运算符向零截断导致的负数结果偏差问题，配合 Math.floorMod() 可确保余数非负且满足恒等式。
Math.floorDiv() 是 Java 8 引入的工具方法，专为解决负数除法中“向下取整”与传统 / 运算符行为不一致的问题。它始终向负无穷方向取整（即数学意义上的 floor），而普通整数除法是向零截断（truncating division）。理解这点是正确使用它的关键。
为什么普通除法不符合数学向下取整？
Java 中的 / 对整数操作数执行的是**向零取整**：
- 7 / 3 → 2（符合 floor）
- -7 / 3 → -2（但数学 floor(-7/3) = floor(-2.33...) = -3）
- 7 / -3 → -2（floor(7/-3) = floor(-2.33...) = -3）
- -7 / -3 → 2（此时与 floor 一致）
可见，仅当被除数和除数同号时，/ 才等价于 floor 除法；异号时结果偏大（更靠近零），不满足向下取整定义。
Math.floorDiv() 的行为与公式
Math.floorDiv(a, b) 等价于：
floor((double)a / (double)b)（但用纯整数逻辑实现，无浮点误差和溢出风险）
Java Maven 项目审查工作流的通用输入处理。当 Java Maven 项目以 ZIP压缩包或 GitLab 仓库 URL 形式提供且需要...时使用。
它保证：
- 结果 ≤ 实际商（即不高于数学商）
- 是满足该条件的最大整数
- 且满足恒等式：Math.floorDiv(a, b) * b + Math.floorMod(a, b) == a
例如：
- Math.floorDiv(-7, 3) → -3
- Math.floorDiv(7, -3) → -3
- Math.floorDiv(-7, -3) → 2
配合 Math.floorMod() 使用才完整
单独用 floorDiv 可能掩盖余数逻辑。Java 提供配套的 Math.floorMod(a, b)，确保：
- 余数符号与除数一致（非被除数）
- 余数范围是 [0, |b|)（非 (-|b|, |b|)）
- 满足恒等式，可用于循环索引、分页、坐标映射等需“非负余数”的场景
对比示例（a = -7, b = 3）：
-
-7 % 3→ -1（符号同被除数，范围 ∈ (-3, 3)） -
Math.floorMod(-7, 3)→ 2（符号同除数，范围 ∈ [0, 3)） -
Math.floorDiv(-7, 3)→ -3，验证：-3 * 3 + 2 == -7✓
实际应用建议
当你需要以下任一场景时，优先用 floorDiv + floorMod：
- 将负坐标归一化到 0-based 网格（如游戏地图、图像像素索引）
- 实现环形缓冲区或模运算，要求余数恒为非负
- 分页计算页码：页码 =
Math.floorDiv(index, pageSize)，即使 index 为负也合理 - 避免因
/向零截断导致的边界错位（如区间划分、桶分配）
注意：若仅需向零取整（如常规整数商），继续用 / 更直观；若明确要数学 floor 行为，别用 (int)Math.floor((double)a/b)——它在大数时会因 double 精度丢失出错，而 floorDiv 是安全的整数实现。
立即学习“Java免费学习笔记（深入）”；
