열거 타입은 거의 모든 상황에서 타입 안전 열거 패턴(typesafe enum pattern)보다 우수하다.

단, 예외가 하나 있으니, 타입 안전 열거 패턴은 확장할 수 있으나 열거 타입은 그럴 수 없다는 것이다.

달리 말하면, 타입 안전 열거 패턴은 열거한 값들을 그대로 가져온 다음 값을 더 추가하여 다른 목적으로 쓸 수 있지만, 열거 타입은 그렇게 할 수 없다.

• 열거 타입

  • 자바에서 enum 키워드를 사용하여 정의된다.
  • 상수 값의 집합을 정의하는 데 사용되며, 각 상수는 해당 열거 타입의 인스턴스이다.
  • 컴파일 타임에 상수 집합이 고정되고, 런타임에 추가되거나 변경될 수 없다.

  public enum Color {
      RED, GREEN, BLUE
  }
  // 확장이 불가능함
  // public enum MoreColor extends Color { YELLOW, ORANGE }
  

  • 확장 불가능한 열거 타입
    • 자바의 열거 타입은 설계상 상속(확장)을 허용하지 않는다.
    • 이는 열거 타입의 인스턴스가 고정되고 변경 불가능해야 하기 때문이다. 예를 들어, Color 열거 타입이 있다고 할 때, 여기에 새로운 색상을 추가하기 위해 확장할 수 없다. 이는 열거 타입이 그 정의와 함께 완전하게 고정된 집합을 가지는 것을 보장하기 위함입니다.

• 타입 안전 열거 패턴

  • 자바 1.5 버전 이전에 열거 타입을 흉내내기 위해 사용되던 기법이다.
  • 이 패턴은 클래스를 사용하여 열거 값을 정의하고, 각 열거 값은 해당 클래스의 인스턴스로 표현된다.

  public class Color {
      public static final Color RED = new Color("RED");
      public static final Color GREEN = new Color("GREEN");
      public static final Color BLUE = new Color("BLUE");
  
      private String name;
  
      private Color(String name) {
          this.name = name;
      }
  
      public String toString() {
          return this.name;
      }
  }
  
  // 확장이 가능함
  public class ExtendedColor extends Color {
      public static final ExtendedColor YELLOW = new ExtendedColor("YELLOW");
      public static final ExtendedColor ORANGE = new ExtendedColor("ORANGE");
  
      private ExtendedColor(String name) {
          super(name);
      }
  }
  

  • 확장 가능한 타입 안전 열거 패턴
    • 새로운 하위 클래스를 정의하여 열거 값을 확장할 수 있다.
    • 이는 열거 값을 나타내는 클래스가 상속을 허용하기 때문이다. 이렇게 하면 기존 클래스의 열거 값에 더해 새로운 열거 값을 추가할 수 있다.

사실 대부분 상황에서 열거 타입을 확장하는 건 좋은 생각이 아니다.

1. 확장한 타입의 원소는 기반 타입의 원소로 취급하지만, 그 반대는 성립하지 않으면 이상하다.
2. 기반 타입과 확장된 타입들의 원소 모두를 순회할 방법도 마땅치 않다.
3. 확장성을 높이려면 고려할 요소가 늘어나 설계와 구현이 더 복잡해진다.

그런데, 확장할 수 있는 열거 타입이 어울리는 쓰임이 최소한 하나는 있다.

바로 연산코드(operation code; opcode)이다!

연산 코드 (Operation code)

• 연산코드의 각 원소는 특정 기계가 수행하는 연산을 뜻한다.
• API가 제공하는 기본 연산 외에 사용자 확장 연산을 추가할 수 있도록 열어줘야 할 때가 있다.