[이펙티브 자바] Item26. 로 타입은 사용하지 말라.

 

[이펙티브 자바] Item26. 로(Law) 타입은 사용하지 말라.

4번째 챕터로 들어오면서 제네릭 타입과 관련된 item들을 공부할 예정이다. 

제네릭 타입은 오래전부터 들어온 기능인데 뭔가 사용하기 어려운? 느낌이 강해서 내가 직접 사용하는 경우는 적었는데 사실 제네릭 타입은 반대로 사용하기 편하라고 만들어진 기능이다. 

따라서 이펙티브 자바 4장을 공부하면서 이번 기회에 제네릭 타입과 친해질(?) 예정이닷!!! 

제네릭 타입과 친해지기 위해서는 먼저 용어를 알아야 하는데 마침 강의에서도 용어 정리를 시작을 하기 때문에 이번 글에서는 제네릭 관련 용어 정리를 한다. 🐥

 

 

제네릭 Generic 

제네릭은 자바5부터 사용할 수 있었는데 제네릭을 지원하기 전까지는 컬렉션에서 객체를 꺼낼때마다 형변환을 했어야 했다. 따라서 누군가 실수로 다른 값을 넣어두면 런타임에 형변환 오류가 나는 문제가 있었다. 

반면, 제네릭을 사용하면 컬렉션이 담을 수 있는 타입을 컴파일러에 알려주게 된다. 그래서 컴파일러는 알아서 형변환 코드를 추가할 수 있게 되고, 엉뚱한 타입의 객체를 넣으려는 시도를 컴파일 과정에서 차단하여 더 안전하고 명확한 프로그램을 만들어준다. 

 

 

 

 

로 타입 

List numbers = new ArrayList();
numbers.add(10);
numbers.add("whiteShip");

for (Object number : numbers) {
    System.out.println("number = " + (Integer)number); // error!
}

로 타입은 제네릭 타입에서 타입 매개변수를 전혀 사용하지 않을 때를 말한다.  이렇게 List 자체를 로 타입이라고 한다. 

이렇게 제네릭 타입을 사용하지 않으면 numbers List 안에 위에 예시처럼 10, whiteShip 처럼 아무 타입이나 add 할 수 있다. 

아무값이나 넣으면 위험한 이유는 밑에 for문을 통해서 numbers의 값을 출력하고 있는데 numbers에 숫자만 들어갈 것이라고 생각해서 (Integer)로 형변환을 하는데 이때 whiteShip은 integer로 형변환을 할 수 없기 때문에 에러가 나는 상황이 발생한다. 

 

물론 지금은 코드가 매우매우 간단하니까 어디가 문제인지 금방 파악할 수 있지만.. 우리.. 실무에서 코드가 이렇게 간단하지 않으니 ㅎㅎ 

그럴 땐 물론 파악이 어렵겠지..

 

 

 

제네릭 타입 , 매개변수화 타입 

        List<Integer> numbers2 = new ArrayList<>();
        numbers2.add(10);
//        numbers2.add("whiteShip"); // compile error 발생

        for (Integer integer : numbers2) {
            System.out.println("integer = " + integer);
        }

클래스와 인터페이스에 타입 매개변수가 쓰이면 이를 제네릭 클래스, 제네릭 인터페이스라고 한다.

그리고 이 제네릭 클래스와 제네릭 인터페이스를 통틀어서 제네릭 타입이라고 한다. 

제네릭 타입은 일련의 매개변수화 타입을 정의해야 한다. 

제네릭 타입은 먼저 클래스(혹은 인터페이스) 이름이 나오고 , 이어서 꺾쇠괄호 안에 실제 타입 매개변수들을 나열한다. 

List<E> 처럼 표현하는 것을 말하고 List<Integer>는 매개변수화 타입이라고 한다. 

 

타입 매개변수 

List<E> 에서 E 를 타입 매개변수라고 하는데 보통 E라고 많이 하지만 사용자가 정의해서 사용할 수도 있기는 하다. 

 

실제 매개변수 

List<Integer> 에서 Integer가 실제 매개변수이다. 

 

 

public class Box<E /*extends Number*/> { 

    private E item;

    private void add(E e) {
        this.item = e;
    }

    private E get() {
        return this.item;
    }

    public static void main(String[] args) {
        Box<Integer> box = new Box<>(); 
        box.add(10);
        System.out.println(box.get() * 100);
        printBox(box);

    }
    private static void printBox(Box<?> box) { 
        System.out.println("box = " + box.get());
    }
}

여기서 Box<E>가 제네릭 클래스이다. 

 

한정적 타입  매개변수

한정적 타입 매개변수는 Box<E extends Number> 처럼 Number를 상속받은 타입만 들어올 수 있도록 한정하는 것을 말한다. 

Box<String>은 에러 난다. 

 

비한정적 와일드카드 타입

Box<?> 처럼 ? 를 사용한 것을 말하는데 비한정적 와일드 카드는 아무 값이나 대응이 된다. 

 

한정적 와일드카드 타입

Box<? extends Number> 처럼 Number를 상속받은 타입으로 제한한다.