🍑 서론

제네릭 타입을 새로 만들어라

🍑 본론

제네릭 만들기

✅ Object 기반 스택 => 제네릭을 추천하는 이유

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

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

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

        public Object pop() {
            if (size == 0) throw new EmptyStackException();
            Object result = elements[--size];

            elements[size] = null; // 다 쓴 참조 객체
            return result;
        }

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

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

클래스 선언에 타입 매개변수를 추가

    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;
        }
    }

❌ E 같은 실체화 불가 타입으로는 배열을 만들 수 었다.

⭕ 해결책

제네릭 배열 생성을 금지하는 제약을 대놓고 우회하는 방법(선호)

하지만 아래의 경우 타입 안정성 경고가 발생한다. => 사용자가 확인
```
// Stack.java:8: warning: [unchecked] unchecked cast
// found: Object[], required: E[]

elements = (E[]) new Object[DEFAULT_INITIAL_CAPACITY];
```
✅ elements는 private 필드에 저장되고, 클라이언트로 반환되거나 다른 메서드에 전달되는 일이 없다. \ ✅ push 메서드를 통해 배열에 저장되는 원소의 타입은 항상 E다

=> 안전함을 판단한 뒤 @SuppressWarning으로 경고를 숨긴다.
```
// 타입 안정성은 보장하지만, 배열의 런타임 타입은 E[]가 아닌 Object[]다.
@SuppressWarning("unchecked")
public Stack() {
    elements = (E[]) new Object[DEFAULT_INITIAL_CAPACITY];
}
```

elements 필드의 타입을 E[]에서 Object[]로 바꾸는 것

// Stack.java:19: warning: [unchecked] unchecked cast
// found: Object, required: E

E result = (E) elements[--size];

E는 실체화 불가 타입이기 때문에 런타임에 이뤄지는 형변환이 안전한지 증명할 수 없다. => 사용자가 확인한 후 경고를 숨길 수 있다.

public E pop() {
if (size == 0) throw new EmptyStackException();

@SuppressWarnings("unchecked")
E result = (E) elements[--size];
elements[size] = null; // 다 쓴 참조 객체
return result;
}

두 방식의 장단점

첫 번째 방식
- 가독성이 좋다.
- 형 변환을 배열 생성시 단 한 번만 해주면 된다.
- 배열의 런타임 타입이 컴파일 타임 타입과 달라 힙 오염을 일으킨다.
두 번째 방식
- 배열에서 원소를 읽을 때마다 형 변환을 해줘야 한다.

배열과 리스트

위의 Stack 예시는 "배열보다는 리스트를 우선하라"는 원칙과 모순되어보인다.

자바가 리스트를 기본 타입으로 제공하지 않기 때문에 ArrayList 같은 제네릭 타입도 기본 타입인 배열을 사용해 구현해야하며, HashMap 같은 제네릭 테입은 성능을 높일 목적으로 배열을 사용하기도 한다.

제네릭 타입

대다수의 제네릭 타입은 타입 매개변수에 아무런 제약을 두지 않지만, 기본 타입은 사용할 수 없다. (int, double ,,,)

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

// java.util.concurrent.DelayQueue
class DelayQueue<E extends Delayed> implements BlockingQueue<E>

E extends Delayed의 의미란 java.util.concurrent.Delayed의 하위 타입만 받는 다는 뜻 => DelayQueue의 원소에서 형변환 없이 곧바로 Delayed 클래스의 메서드를 호출할 수 있으며, 이러한 타입 매개변수 E를 한정적 타입 매개변수(bounded type parameter)라고 한다. => 모든 타입은 자기 자신의 하위 타입이기 때문에 <E extends Delayed> 대신에 DelayQueue<Delayed>로도 사용할 수 있다.