導入
Javaでプログラミングをしている際、「負の数」を含む除算を行った結果、直感と異なる値が返ってきて困惑したことはありませんか？通常、Javaの「/」演算子は「切り捨て（0方向への丸め）」を行います。しかし、ページネーションの計算や、座標系におけるグリッド分割など、多くのアルゴリズムでは「負の無限大方向への切り捨て（床関数）」が求められます。本稿では、この課題を解決する Math.floorDiv() について解説します。
基礎知識
Javaの標準的な除算演算子「/」は、整数同士の計算において結果を「0に近い方」へ切り捨てます。
例えば、-5 / 2 の結果は -2 となります。
しかし、数学的な床関数（Floor）の定義では、値は「負の無限大方向」に丸められるため、-5 / 2 は -3 となるべきです。
この「0への丸め」と「負の無限大への丸め」の挙動の差は、特に負の数が混在する剰余計算や座標計算において、バグの温床となります。
実装/解決策
Math.floorDiv(int x, int y) を使用することで、負の数であっても常に負の無限大方向へ丸められた結果を得ることができます。また、これと対になる Math.floorMod(int x, int y) を併用することで、除算と剰余の整合性を完全に保つことが可能です。
サンプルプログラム
以下のコードは、標準的な「/」演算子と「Math.floorDiv()」の違いを示した実用例です。
public class MathFloorExample {
public static void main(String[] args) {
int x = -5;
int y = 2;
// 1. 通常の除算演算子（0方向への切り捨て）
int resultStandard = x / y;
System.out.println(“通常除算 (-5 / 2): ” + resultStandard); // 出力: -2
// 2. Math.floorDiv（負の無限大方向への切り捨て）
int resultFloor = Math.floorDiv(x, y);
System.out.println(“Math.floorDiv (-5 / 2): ” + resultFloor); // 出力: -3
// 3. 剰余の計算（floorModと組み合わせると整合性が取れる）
// x = (floorDiv y) + floorMod の関係が必ず成立する
int mod = Math.floorMod(x, y);
System.out.println(“Math.floorMod (-5 % 2): ” + mod); // 出力: 1
// 検証: -3 2 + 1 = -5 となり、数学的に正しい値が得られる
}
}
応用・注意点
現場での開発において注意すべき点は以下の2点です。
1. ゼロ除算の例外処理
Math.floorDiv() も通常の除算と同様に、第二引数（除数）が 0 の場合は ArithmeticException をスローします。入力値が動的な場合は、必ず事前に 0 チェックを行うか、例外ハンドリングを実装してください。
2. 比較演算との兼ね合い
instanceof パターンマッチングやビット演算など、他の演算と組み合わせる際は、計算結果が期待する範囲内にあるかを確認する習慣をつけましょう。特に、Math.floorDiv() は非常に大きな負の数（Integer.MIN_VALUE）と -1 を引数に取った場合にオーバーフローを引き起こす可能性があります。この点も考慮し、入力値のバリデーションを忘れないようにしてください。
実務では、「計算結果がプラスになるはずの場所で、予期せぬマイナスの剰余が出た」というケースの多くが、この除算の挙動の違いに起因します。ぜひ、次回の開発から Math.floorDiv() を活用してみてください。
コメント