【Java】事前条件チェック：リストがnullまたは空でないことを確認する方法

事前条件（Precondition）とは、メソッドが正しく動作するために、渡された引数が満たしているべき条件のことです。ここでは、パラメータとして渡されたリストがnullまたは空（要素数ゼロ）でないことを確認する例を見ていきましょう。

サンプルコード

public void my_fun(List<Object> myList){
   if (myList == null){
      throw new IllegalArgumentException("List is null");
   }
   if (myList.isEmpty()){
      throw new IllegalArgumentException("List is empty");
   }
   my_fun(myList);
}

コードの解説

このコードでは、List<Object> 型のリストを引数として受け取る my_fun という void 型のメソッドを定義しています。

• nullチェック： リストが null の場合は IllegalArgumentException をスローし、「List is null」というメッセージで呼び出し元に問題を通知します。
• 空チェック： isEmpty() メソッドを使ってリストに要素が含まれているかを確認し、空の場合も同様に例外をスローしてメッセージを表示します。
• これらのチェックをすべて通過した場合のみ、実際の処理（この例では自分自身を再帰的に呼び出しています）へ進みます。

このように、メソッドの本処理を実行する前に引数の妥当性を検証する仕組みが「事前条件」です。不正な入力を早期に検出することで、後続の処理での予期しないエラーやバグを防ぐことができます。

より簡潔な書き方：Objects.requireNonNull

Java 7以降では、標準ライブラリの java.util.Objects.requireNonNull() を利用することで、nullチェックをより簡潔に記述できます。

import java.util.Objects;

public void my_fun(List<Object> myList){
   Objects.requireNonNull(myList, "List is null");
   if (myList.isEmpty()){
      throw new IllegalArgumentException("List is empty");
   }
   // 実際の処理
}

まとめ

事前条件チェックをメソッドの冒頭に記述しておくことで、不正な引数によるトラブルを未然に防げます。「失敗は早く（Fail Fast）」の原則に従い、問題のあるデータは処理の入口で確実に検出・通知するのが、堅牢なJavaプログラムを書くための基本です。