아이템 29. 이왕이면 제네릭 타입으로 만들라

[corock]

도입

• cf. 아이템 7. 다 쓴 객체 참조를 해제하라 #15

제네릭 기반 Stack 으로 탈바꿈하기

Before

Object 기반 Stack 코드를 통해 #15 에서 확인했던 Stack 소스 코드는 다음과 같다.

Stack.java

public class Stack {

    private Object[] elements;
    private int size = 0;
    private static final int DEFAULT_INITIAL_CAPACITY = 16;

    public Stack() {
        this.elements = new Object[DEFAULT_INITIAL_CAPACITY];
    }

    public void push(Object e) {
        this.ensureCapacity();
        elements[size++] = e;
    }

    private void ensureCapacity() {
        if (this.elements.length == this.size) {
            this.elements = Arrays.copyOf(this.elements, 2 * this.size + 1);
        }
    }

    public Object pop() {
        if (this.size == 0) {
            throw new EmptyStackException();
        }

        Object result = this.elements[--this.size];
        this.elements[this.size] = null;

        return result;
    }

    public boolean isEmpty() {
        return this.size == 0;
    }

}

After

여기서 제네릭을 도입한 Stack 소스 코드는 다음과 같다.

Stack.java

public class Stack<E> {

    private E[] elements;
    // (...)

    public Stack() {
        this.elements = (E[]) new Object[DEFAULT_INITIAL_CAPACITY];
    }

    public void push(E e) {
        // (...)
    }

    // (...)

    public E pop() {
        // (...)

        E result = this.elements[--this.size];

        // (...)
    }

    // (...)

}

실체화 불가 타입으로 배열을 사용할 때

적절한 해결책

1. 제네릭 배열 생성을 금지하는 제약을 대놓고 우회하는 방법
2. elements 필드의 타입을 E[] 에서 Object[] 로 바꾸는 방법

타입 매개변수에 제약을 두는 제네릭 타입

• 대부분의 제네릭 타입은 타입 매개변수에 아무런 제약을 두지 않는다.
• 하지만 java.util.concurrent.DelayQueue 처럼 타입 매개변수에 제약을 두는 제네릭 타입도 있다.

DelayQueue.java

public class DelayQueue<E extends Delayed> extends AbstractQueue<E>
    implements BlockingQueue<E> {

    // (...)

}

정리

• 아이템 7. 다 쓴 객체 참조를 해제하라 #15 에서 소개된 Stack 자료구조에서 아쉬운 부분이 있다면 바로 필드 중 하나인 elements 의 타입이다.
  • elements 의 타입은 Object 인데, 이렇게 되면 client-side 에서 직접 형 변환을 해줘야 하는 책임을 가진다.
  • 반면, 제네릭을 사용하면 형 변환을 직접 하는 것이 아니라 컴파일 타임에서 타입을 결정하므로 더 안전하고 사용하기에 편하다.
• 이외에도 기존 타입 중 제네릭이었어야 하는 부분이 있다면 제네릭 타입으로 변경하자.
  • 이렇게 하면 기존 client-side 에는 아무 영향을 주지 않으면서, 새로운 사용자를 편하게 해준다.
• 비검사 형변환이 안전함을 직접 증명했다면 범위를 최소로 좁혀 @SuppressWarnings 애노테이션으로 해당 경고를 숨긴다.