1. 導入
Javaのプログラムにおいて、数値計算は避けて通れません。その中でも最も基本的な演算子の一つが「減算演算子（-）」です。単に引き算をするだけと思われがちですが、Javaでは型の範囲やビット演算との組み合わせなど、注意すべき点がいくつかあります。本記事では、堅牢なコードを書くための減算の基礎と注意点を解説します。
2. 基礎知識
Javaの減算演算子「-」は、算術演算子として機能し、2つの数値の差を求めます。対象となるデータ型は、整数型（byte, short, int, long）および浮動小数点型（float, double）です。
ここで注意が必要なのは「型の昇格」です。Javaでは、byteやshort型の変数同士で減算を行っても、計算結果は一度int型に昇格されます。また、演算の過程で結果が型の表現できる範囲を超えてしまう「オーバーフロー（またはアンダーフロー）」が発生する可能性がある点も、シニアエンジニアとして必ず意識しておくべきポイントです。
3. 実装/解決策
減算を安全に行うためには、計算結果が型の上限・下限を超えないかを確認する必要があります。Java 8以降であれば、java.lang.Mathクラスのメソッドを使用することで、オーバーフローを検知することが可能です。通常の「-」演算子では、計算結果が範囲を超えると「ラップアラウンド（値が一周して逆側の端に行く）」が発生しますが、Math.subtractExact() を使えば、例外（ArithmeticException）をスローしてくれるため、バグの早期発見につながります。
4. サンプルプログラム
以下に、通常の減算と、安全性を高めた減算のサンプルコードを示します。
public class SubtractionExample {
public static void main(String[] args) {
// 1. 基本的な減算
int a = 10;
int b = 3;
System.out.println("10 - 3 = " + (a - b));
// 2. オーバーフローの危険がある計算
int minVal = Integer.MIN_VALUE; // -2147483648
// 通常の演算では予期せぬ結果になる（アンダーフロー）
int resultBad = minVal - 1;
System.out.println("通常の減算: " + resultBad); // 結果は正の最大値になってしまう
// 3. 安全な減算（Math.subtractExactを使用）
try {
int resultSafe = Math.subtractExact(minVal, 1);
System.out.println("安全な減算: " + resultSafe);
} catch (ArithmeticException e) {
// オーバーフローを検知して適切にエラー処理を行う
System.err.println("エラー: 計算結果がintの範囲を超えました。");
}
}
}
5. 応用・注意点
現場の開発で特に注意すべきは、「浮動小数点型の減算」です。double型やfloat型では、0.1のような値を正確に表現できないことがあり、減算を繰り返すと誤差が蓄積します。金額計算など、正確性が求められる場合には、double型を避け、BigDecimalクラスを使用するのがJavaの定石です。
また、減算はビット演算やinstanceofパターンマッチングなどの高度な構文と直接混ざることは少ないですが、条件分岐の判定式で「a – b > 0」のように記述する場合、オーバーフローで結果が反転し、意図しない条件判定が行われるバグが稀に発生します。比較を行う際は、極力引き算の結果ではなく、「a > b」のように直接比較を行うことを推奨します。
コメント