導入：なぜ三項演算子の「型推論」を理解する必要があるのか
Javaの三項演算子（condition ? value1 : value2）は、コードを簡潔に書くための強力なツールですが、実務では「予期せぬコンパイルエラー」や「NullPointerException」の原因になることがあります。特に、戻り値の型が推論されるルールを理解していないと、意図しない型変換や、ボクシング/アンボクシングによるトラブルを引き起こします。本記事では、Javaの仕様に基づいた型推論ルールを紐解き、現場で安全に使うための知見を共有します。
基礎知識：三項演算子の型推論ルール
三項演算子の戻り値の型は、以下の優先順位とルールで決定されます。
1. 両方の式が同じ型の場合： その型が戻り値の型になります。
2. 片方がプリミティブ、片方がラッパー型の場合： プリミティブ型が優先され、自動アンボクシングが行われます。
3. 両方が異なる数値型の場合： より広い範囲を表現できる型（例：intとdoubleならdouble）に昇格（型拡幅変換）されます。
4. 片方がnullの場合： もう片方の型が維持されます（ただし、NullPointerExceptionの危険性が生じます）。
実装/解決策：型を確定させるための設計
実務で最も注意すべきは、「意図しない型の昇格」と「NullPointerException」です。
特に、ジェネリクスやオブジェクト型を扱う際に、nullが混入すると、コンパイラは最も共通の親クラス（多くの場合Object型）を選択しようとします。これを防ぐには、明示的なキャストを行うか、OptionalなどのモダンなAPIを活用するのがベストプラクティスです。
サンプルプログラム：安全な実装例
以下に、型推論で陥りやすいケースと、それを安全に回避する実装例を示します。
public class TernaryExample {
public static void main(String[] args) {
// ケース1：プリミティブとラッパーの混在
// 自動アンボクシングにより、Integerはintに変換される
Integer nullValue = null;
int primitive = 10;
// 注意：条件式がtrueのときにnullValueをアンボクシングしようとするとNPEが発生する
// boolean flag = true;
// int result = flag ? nullValue : primitive;
// 安全策：明確に型を意識し、nullチェックを事前に行う
int safeResult = (nullValue != null) ? nullValue : primitive;
System.out.println(“安全な結果: ” + safeResult);
// ケース2：数値型の推論（intとdouble）
// 型の昇格により、結果はdouble型になる
int i = 1;
double d = 2.0;
var result = (true) ? i : d; // 結果はdouble型として推論される
System.out.println(“推論された型: ” + result.getClass().getSimpleName());
}
}
応用・注意点：現場で役立つ回避策
1. varとの組み合わせに注意： Java 10以降のローカル変数型推論（var）を使用する場合、三項演算子の型推論と組み合わさると、意図した型かどうかの判別が難しくなります。型が曖昧になりそうな場合は、varを使わず明示的に型を宣言しましょう。
2. 複雑なネストを避ける： 三項演算子のネストは、型推論の挙動を非常に複雑にします。可読性を維持するため、3項以上の分岐や複雑な型変換が発生する場合は、if-else文やメソッド分割によるリファクタリングを強く推奨します。
3. 数値比較の罠： 算術演算やビット演算の結果を三項演算子に渡す際、結果が自動的に拡幅されることを忘れないでください。特に、APIのシグネチャで特定の型を要求されている場合は、明示的なキャスト（(int)など）を入れることで、意図しない型不一致エラーを防ぐことができます。
これらのルールを意識することで、Javaの強力な型システムを味方につけ、堅牢なコードを記述できるようになります。
コメント