序論：Java の列挙型（Enum）とは
JDK 5 で導入された enum キーワードは、名前付きの値の有限集合を新しいデータ型として定義することを可能にします。これにより、定数のリストを型安全に管理できるようになり、通常のプログラムコンポーネントとして扱うことが可能です。ここでは、その内部動作から高度な応用例までを解説します。
1. 列挙型のコンパイル特性
ソースコードで enum を宣言すると、コンパイラが自動的にいくつかの処理を行います。
toString()メソッドの実装追加name()メソッドによる定数名の取得ordinal()メソッドによる宣言順のインデックス（0 から開始）の取得values()メソッドによる定数配列の生成
以下のコードは、曜日を定義したシンプルな例です。
enum WorkDay {
MONDAY, TUESDAY, WEDNESDAY, THURSDAY, FRIDAY;
}これをテストするメインクラスでは、親クラスやメソッドの確認が可能です。
public class EnumReflectionTest {
public static void main(String[] args) {
// 親クラスの取得
System.out.println(WorkDay.class.getSuperclass());
// 全ての定数に対して情報を出力
for (WorkDay day : WorkDay.values()) {
String info = day.name() + " (Index: " + day.ordinal() + ")";
System.out.println(info);
}
}
}実行結果より、java.lang.Enum が親であることが確認できます。
2. バイトコードレベルでの挙動
javac によるコンパイル後、.class ファイルをダンプして分析すると、コンパイラが行う処理が見えてきます。
- 生成されるクラスは
finalに修飾され、継承不可となります。 - コンストラクタは
privateとなり、外部からのインスタンス化を防ぎます。 - 各定数は静的な
finalフィールドとして生成されます。 $VALUESという静的な配列フィールドが内部的に保持されます。
また、コンパイラは values() と valueOf(String) というstaticメソッドを自動生成します。これらは java.lang.Enum クラスには存在しないため、型が Enum に対してアッパーキャストされている場合は呼び出せなくなります。
3. カスタム関数を持つ列挙型
列挙型は単純な定数の羅列だけでなく、フィールドやメソッドを持つことができます。ただし、定数宣言の後にある場合はセマイコロン（;）で区切ります。また、コンストラクタは必ず private です。
interface Describable {
String getDescription();
}
public enum Priority implements Describable {
LOW(1, "優先度が低いタスク"),
MEDIUM(5, "標準的な優先度"),
HIGH(10, "緊急に対応が必要な項目");
private final int level;
private final String label;
Private Priority(int level, String label) {
this.level = level;
this.label = label;
}
@Override
public String getDescription() {
return level + ": " + label;
}
public int getLevel() {
return level;
}
}このように、それぞれの定数に独自の振る舞いやデータを付与することが可能です。
4. 抽象メソッドの使用
列挙型は抽象メソッドを持ち、個々の定数が異なる実装を提供することができます。これにより、各定数ごとにポリモーフィズムを発揮させることが可能です。
public enum CalculationType {
ADD {
@Override
public int process(int a, int b) {
return a + b;
}
},
SUBTRACT {
@Override
public int process(int a, int b) {
return a - b;
}
};
public abstract int process(int a, int b);
}注意点として、これらの定数オブジェクト自体を引数として受け付けるような方法定義（例：void func(CalculationType.ADD x)）は構文エラーとなります。定数はあくまでその型全体のインスタンスです。
5. インターフェース内での分類
複数の列挙型をグループ分けしたい場合、インターフェース内で定義することが有効です。これは「列挙型のサブタイプ」として機能させます。
public interface ProductType {
enum Beverages implements ProductType {
TEA, COFFEE, JUICE
}
enum Snacks implements ProductType {
BISCUIT, CAKE, CHIPS
}
}このアプローチにより、関連するカテゴリを一つの命名空間下に整理しつつ、厳密な型分離を保つことができます。
6. 列挙型内の列挙型（ネスト）
より複雑な選択ロジックの場合、ある列挙型が別の列挙型のクラス参照を持っている構成が考えられます。例えばメニューシステムにおいて、カテゴリーごとのアイテムを選別する場合などです。
import java.util.Random;
class MenuHelper {
private static final Random RANDOM = new Random();
public static <T extends Enum<T>> T select(Class<T> type) {
return select(type.getEnumConstants());
}
public static <T> T select(T[] options) {
return options[RANDOM.nextInt(options.length)];
}
}
public enum MealCourse {
STARTER(ProductType.Beverages.class),
MAIN(ProductType.Snacks.class);
private final Class<? extends ProductType> kind;
MealCourse(Class<? extends ProductType> kind) {
this.kind = kind;
}
public ProductType pickItem() {
return (ProductType) MenuHelper.select(kind);
}
}これにより、ランダムな組み合わせを容易に生成するツールを組み立てることができます。
7. values() メソッドの検証
values() メソッドが java.lang.Enum から継承されているのか、それとも独自に追加されているのかをリフレクションを使用して確認できます。
public class EnumMethodCheck {
public static void main(String[] args) {
Set<Method> declaredMethods = new HashSet<>(Arrays.asList(Priority.class.getDeclaredMethods()));
Method[] parentMethods = Priority.class.getSuperclass().getMethods();
// 親クラスから継承されたメソッドを除外
for (Method m : parentMethods) {
declaredMethods.remove(m);
}
// 独自またはコンパイラ生成メソッドのみ出力
declaredMethods.forEach(System.out::println);
}
}出力には、values() および valueOf() が含まれるはずです。これらは明示的に定義したものではなく、コンパイラによって注入された特別なメソッドであることが裏付けられます。