[이펙티브 자바] Item29 완벽공략. 한정적 타입 매개변수

 

[이펙티브 자바] Item29. 이왕이면 제네릭 타입으로 만들라. 

 

 

한정적 타입 매개변수 

: 매개변수화 타입을 특정한 타입으로 한정짓고 싶을 때 사용할 수 있다. 

public class Stack<E extends Number>
{
   private Number[] elements;
   private int size = 0;
   private static final int DEFAULT_INITIAL_CAPACTIY = 16;
   
   public Stack()
   {
      elements = new Number[DEFAULT_INITIAL_CAPACTIY];
   }
   
   public void push(E e)
   {
      ensureCapacity();
      elements[size++] = e;
   }
   
   public E pop()
   {
      if (size == 0) {
         throw new EmptyStackException();
      }
      
      @SuppressWarnings("unchecked")
      E result = (E) elements[--size];
      elements[size] = null;
      return result;
   }
   
   public boolean isEmpty()
   {
      return size == 0;
   }
   
   
   private void ensureCapacity()
   {
      if (elements.length == 0) {
         elements = Arrays.copyOf(elements, 2 * size + 1);
      }
   }
   
   public static void main(String[] args)
   {
      Stack<Integer> stack = new Stack<>();
      for (Integer arg : List.of(1, 2, 3))
      {
         stack.push(arg);
      }
      while (!stack.isEmpty())
      {
         System.out.println(stack.pop());
      }
   }
}

<E extends Number> 

: 선언할 수 있는 제네릭 타입을 Number를 상속(extends)했거나 구현한(implements)한 클래스로 제한한다. 

한정적 타입 매개변수를 사용하면 제한한 타입의 인스턴스를 만들거나, 메서드를 호출할 수 있다. 

여기서는 Number를 상속했거나 구현한 클래스로 제한했기 때문에 Number 타입이 제공하는 메서드를 사용할 수 있다. 

 

그리고 하나의 타입으로만 한정하는 것이 아니라 다수의 타입으로 한정할 수 있다. 

<E extends Number & Serializable> 

: 선언할 제네릭 타입은 Number와 Serializable을 모두 상속 또는 구현한 타입이어야 한다. 

 

 

이렇게 한정적 타입 매개변수를 사용하면 

private E[] elements;

이렇게 사용할 수 없고, 

private Number[] elements;

Number[]로 선언해줘야 한다. 

 

public E pop()
{
   if (size == 0) {
      throw new EmptyStackException();
   }
   
   @SuppressWarnings("unchecked")
   E result = (E) elements[--size];
   elements[size] = null;
   return result;
}

그 다음 형변환할 때 E로 형변환해주면 된다!