16강에서 꺾쇠를 빼면 안 된다고 했다. 빼면 어떻게 되는지 끝까지 가보자.

List list = new ArrayList();
list.add("자바");
list.add(123);

for (Object o : list) {
    String s = (String) o;
    System.out.println(s);
}

컴파일은 된다. 경고만 하나 뜬다.

• 자바
• Exception in thread "main" java.lang.ClassCastException:
• class java.lang.Integer cannot be cast to class java.lang.String

첫 줄은 찍히고 둘째 줄에서 죽었다. 실행 에러다.

123 을 넣은 것은 세 번째 줄인데, 터진 곳은 여섯 번째 줄이다. 코드가 길어지면 넣은 곳과 터지는 곳이 파일 하나만큼 떨어진다.

꺾쇠는 이 사고를 컴파일 시점으로 끌어온다.

그릇에 이름표를 붙인다

List<String> list = new ArrayList<>();
list.add("자바");
list.add(123);

• error: incompatible types: int cannot be converted to String

넣는 그 줄에서 막힌다. 실행되지도 않는다.

꺼낼 때도 캐스팅이 필요 없다. 꺼내는 것이 String 이라는 걸 컴파일러가 이미 안다.

String s = list.get(0);   // (String) 캐스팅 없음

3강에서 "타입을 적는 게 귀찮은 대신 실행 전에 실수를 잡아준다"고 했다. 제네릭은 그 이야기의 결정판이다. 그릇의 타입뿐 아니라, 그릇 안에 든 것의 타입까지 적는다.

List

제네릭 없이

• 아무거나 담긴다
• 꺼내면 Object 다
• 손수 캐스팅해야 한다
• 틀리면 ClassCastException — 실행 중에

List<String>

제네릭

• String 만 담긴다
• 꺼내면 String 이다
• 캐스팅이 필요 없다
• 틀리면 컴파일 에러 — 실행 전에

직접 만들어본다

T 라는 이름을 클래스 옆에 붙인다.

class Box<T> {
    private T item;

    void put(T item) { this.item = item; }
    T get() { return item; }
}

T 는 아직 정해지지 않은 타입의 자리다. 쓸 때 정한다.

Box<String> b = new Box<>();
b.put("자바");
String s = b.get();

• 자바

Box<String> 이라고 쓰는 순간 T 자리에 전부 String 이 들어간 것처럼 동작한다. put 은 String 만 받고, get 은 String 을 준다.

오른쪽 new Box<>() 의 꺾쇠가 비어 있는 것에 주의하자. 왼쪽에 이미 적었으니 컴파일러가 알아낸다. 이걸 다이아몬드 연산자라고 부른다.

둘 이상도 된다.

class Pair<K, V> {
    K key;
    V value;
    Pair(K k, V v) { key = k; value = v; }
}

Pair<String, Integer> p = new Pair<>("자바", 20000);

Map<String, Integer> 가 이렇게 생긴 것이다.

글자	뜻
T	Type — 그냥 아무 타입
E	Element — 컬렉션의 원소
K, V	Key, Value — 짝을 이루는 것
R	Result — 돌려줄 타입

아무 글자나 써도 컴파일된다. 다만 다들 이렇게 쓰니 따르는 게 낫다.

기본형은 못 들어간다

List<int> list = new ArrayList<>();

• error: unexpected type

꺾쇠 안에는 참조형만 들어간다. 4강의 그 구분이다.

그래서 자바는 기본형마다 짝이 되는 클래스를 하나씩 준비해뒀다. 이걸 래퍼 클래스라고 부른다.

List<Integer> nums = new ArrayList<>();
nums.add(3);              // int 3 이 Integer 로 자동 변환된다
int n = nums.get(0);      // Integer 가 int 로 자동 변환된다

int 는 Integer, double 은 Double, boolean 은 Boolean 이다. 넣고 꺼낼 때 자동으로 바뀌므로 대개 신경 쓰지 않아도 된다.

다만 Integer 는 참조형이다. null 이 될 수 있다.

Map<String, Integer> map = new HashMap<>();
int n = map.get("없는 키");

16강에서 map.get() 은 없으면 null 을 준다고 했다. 그 null 을 int 로 바꾸려는 순간 NullPointerException 이다. 4강에서 int 에는 null 을 넣을 수 없다고 했던 그 벽이다.

메서드에도 붙는다

메서드 하나만 제네릭으로 만들 수 있다. 반환 타입 앞에 <T> 를 적는다.

static <T> void printAll(List<T> list) {
    for (T t : list) System.out.print(t + " ");
    System.out.println();
}

printAll(List.of(1, 2, 3));       // 1 2 3
printAll(List.of("가", "나"));     // 가 나

T 가 무엇인지 안 적어도 된다. 넘긴 값을 보고 컴파일러가 알아낸다.

List 은 List