Java中应使用Math.floorDiv()和Math.floorMod()替代/和%处理负数运算，因其严格按数学向下取整定义商并返回非负余数，确保floorDiv×y+floorMod==x恒成立，适用于索引、分页、坐标归一等场景。
Java 中处理负数除法和取余时，Math.floorDiv() 和 Math.floorMod() 是专为数学直觉设计的整数运算工具。它们解决的是传统 / 和 % 在负数场景下“向零截断”带来的逻辑偏差问题——不是补丁，而是语义重定义。
为什么必须换掉 / 和 %？
普通整数除法 a / b 总是朝零靠近：
-
-7 / 3得-2，但数学上 ⌊−7/3⌋ = ⌊−2.33…⌋ = −3 -
-7 % 3得-1，而模运算期望的非负余数应是 2（因为 −7 = (−3)×3 + 2） - 这种偏差在索引计算、分页、坐标映射中会直接导致越界或错位
floorDiv 保证商向下取整
Math.floorDiv(x, y) 返回满足 r ≤ x / y 的最大整数 r，即严格按数学 floor 定义执行，且全程用整数逻辑实现，无 double 精度风险：
-
Math.floorDiv(-7, 3)→-3 -
Math.floorDiv(7, -3)→-3 -
Math.floorDiv(-7, -3)→2 - 恒成立：
floorDiv × y + floorMod == x
floorMod 提供配套非负余数
单独用 floorDiv 不完整；余数必须用 Math.floorMod(x, y) 获取，它确保：
- 结果 ∈ [0, |y|)，当
y > 0时余数恒为非负 - 符号与除数一致（不是被除数），符合模运算惯例
-
Math.floorMod(-7, 3)→2，可直接用于数组下标：arr[Math.floorMod(i, arr.length)] - 避免手工写
((x % y) + y) % y——易错、低效、不处理 y 为负等边界
典型优化场景
这些方法不是“高级技巧”，而是让常见逻辑变健壮的必要选择：
-
循环索引：用户滑动到第
-5项，数组长8→Math.floorMod(-5, 8)=3 -
负坐标归一化：地图 X =
-13，块宽10→Math.floorMod(-13, 10)=7 -
分页计算：
page = Math.floorDiv(index, pageSize)，支持负序号页（如倒序加载） -
桶分配：将任意整数键哈希到
[0, n)区间，无需条件判断正负
