일반 클래스를 제네릭 클래스로 만드는 방법

public class Stack<E> {
    private E[] elements;
    private int size = 0;
    private static final int DEFAULT_INITIAL_CAPACITY = 16;

    public Stack() {
        elements = new E[DEFAULT_INITIAL_CAPACITY]; // 예외 발생
    }

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

    public E pop() {
        if (size == 0)
            throw new EmptyStackException();
        E result = elements[--size];
        elements[size] = null; // 다 쓴 참조 해제
        return result;
    }

• 일반 Stack 클래스를 제네릭으로 변환한 코드
• 배열에서 제네릭을 사용할 수 없어 예외가 발생함

  • 해결 방법1

    제네릭 배열 생성을 금지하는 제약을 대놓고 우회

    → Object 배열을 생성한 다음 제네릭 배열로 형변환하는 방식

    this.elements = new (E[]) new Object[DEFAULT_INITIAL_CAPACITY];
    

    • 컴파일러는 오류 대신 경고를 표시함
    • 정말 안전함을 직접 증명해본 후 범위를 최소로 좁혀 @SuppressWarning 애너테이션으로 경고를 숨길 수 있음

  • 해결 방법2

    배열 타입을 E[] 에서 Object[]로 바꾸는 방법

    public class Stack<E> {
        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(E e) {
            elements[size++] = e;
        }
    
        public E pop() {
            if (size == 0) {
                throw new EmptyStackException();
            }
            @SupressWarnings("unchecked")
            E result = (E) elements[--size];
            elements[size] = null;
            return result;
        }
    ...
    }
    

    • 원소를 E(실체화 불가 타입)로 형변환 시키면 형변환이 안전한지 증명할 방법이 없음
    • 따라서 1과 마찬가지로 @SupressWarnings를 통해 경고를 숨긴다.

어떤 방법을 사용하는게 좋은가?

• 1번 방법이 가독성이 더 좋음

• 1번 방식에서는 형변환을 배열 생성 시 한번만 해주면 되지만, 2번 방식은 배열에서 원소를 읽을 때마다 형변환을 해줘야 함

• 1번 방식은 배열의 런타입 타입이 컴파일타임 타입과 달라 힙 오염을 일으킴

  힙 오염? : https://inpa.tistory.com/entry/JAVA-☕-제네릭-힙-오염-Heap-Pollution-이란