룰루랄라 알고리즘

가뭄에 단비 같은 아이템이구나.. 대부분의 열거 타입 상수는 자연스럽게 하나의 정숫값에 대응된다. 모든 열거 타입은 해당 상수가 그 열거 타입에서 몇 번째 위치인지를 반환하는 ordinal 메서드를 제공한다. 이런 이유로 열거 타입 상수와 연결된 정숫값이 필요하면 ordinal 메서드를 이용하고 싶은 생각이 들 수 있다. 하지만 ordinal 메서드는 많은 단점이 있다. 합주단 종류를 연주자가 1명인 SOLO 부터 10명인 DECTET까지 정의한 열거 타입 동작은 하지만 유지보수하기 힘들다. 상수 선언 순서를 바꾸면 numberOfMusicians가 오작동한다. 이미 사용 중인 정수와 값이 같은 상수는 추가할 수 없다. (8중주가 이미 있으므로 똑같이 8명이 연주하는 복4중주는 추가할 수 없다.) 값을 ..

정수 열거 패턴 자바에서 열거 타입을 지원하기 전에는 다음 코드처럼 정수 상수를 한 묶음으로 선언해서 사용했다. public static final int APPLE_FUJI = 0; public static final int APPLE_PIPPIN = 1; public static final int APPLE_GRANNY_SMITH = 2; public static final int ORANGE_NAVEL = 0; public static final int ORANGE_TEMPLE = 1; public static final int ORANGE_BLOOD = 2; 하지만 이 정수 열거 패턴은 상당히 취약하다. 1. 타입 안전을 보장할 방법이 없으며 표현력도 좋지 않다. 오렌지를 건네야 할 메서드에 사과..

타입 안전 이종 컨테이너란, 제네릭을 이용하여 서로 다른 타입의 객체를 담을 수 있는 컨테이너를 말한다. 즉, 컨테이너 내부에 저장된 객체들이 모두 같은 타입일 필요가 없으며, 다양한 타입의 객체들을 함께 보관하면서도 타입 안정성을 보장할 수 있다. 컨테이너(Container) 컨테이너란 객체를 담는 역할을 하는 클래스를 의미한다. 일반적으로 다수의 객체를 담을 수 있는 객체를 말하며, 주로 배열(Array)과 컬렉션(Collection)이 포함된다. 타입 안전 이종 컨테이너 패턴 컨테이너 대신 키를 매개변수화한 다음, 컨테이너에 값을 넣거나 뺄 때 매개변수화한 키를 함께 제공하면 제네릭 타입 시스템이 값의 타입이 키와 같음을 보장해 준다. 타입별로 즐겨 찾는 인스턴스를 저장하고 검색할 수 있는 Favo..

가변인수(varags) 메서드와 제네릭은 서로 잘 어우러지지 않는다. 1. 가변인수 메서드를 호출하면 가변인수를 담기 위한 배열이 자동으로 하나 만들어지는데 만약 varargs 매개변수에 제네릭이나 매개변수화 타입이 포함되면 컴파일러는 타입 안전하지 않다고 생각하여 컴파일 경고를한다. 2. 모든 제네릭과 매개변수화 타입은 실체화되지 않는데, 메서드를 선언할 때 실체화 불가 타입으로 varargs 매개변수를 선언하면 컴파일러가 경고를 보낸다. 3. 매개변수화 타입의 변수가 타입이 다른 객체를 참조하면 힙 오염이 발생한다. 다른 타입 객체를 참조하는 상황에서 컴파일러가 자동 생성한 형변환이 실패할 수 있어 제네릭의 타입 안전이 실패한다. 힙 오염 제네릭과 varargs를 혼용하면 타입 안정성이 깨진다. 마지..

매개변수화 타입은 불공변이다. List은 List의 하위 타입이 아니다. 이러한 문제로 인해 발생하는 오류를 해결하기 위해 한정적 와일드카드를 사용한다. 한정적 와일드카드 매개변수화 타입 T 생산자 : 이므로 null 외에는 어떤 값도 넣을 수 없다. 따라서 와일드카드 타입의 실제 타입을 알려주는 private 도우미 메서드를 따로 작성하자. swapHelper 메서드는 리스트가 List 임을 알고 있기 때문에 리스트에서 꺼낸 값의 타입이 항상 E이고, E 타입의 값이라면 리스트에 넣어도 안전함을 알고 있다. 완성된 swap 메서드 swap 메서드 내부에서는 복잡한 제네릭 메서드를 이용했지만, 덕분에 외부에서는 와일드카드 기반의 멋진 선언을 유지할 수 있다. 요약 조금 복잡하더라도 와일드카드 타입을 적용..

클래스와 마찬가지로 메서드도 제네릭으로 만들 수 있다. 형변환이 필요한 기존 메서드를 제네릭 메서드로 만들자. Union 메서드 로 타입 로 타입을 사용해 구현한 Union 메서드 컴파일은 되지만 타입 안정성을 보장하지 못한다. 제네릭 메서드 로 타입으로 구현한 Union을 제네릭 메서드로 변경해 보자. 메서드 선언에 세 집합 (입력 2개, 반환 1개)의 원소 타입을 타입 매개변수로 명시 메서드 안에서 이 타입 매개변수만 사용하도록 수정 타입 매개변수 목록 ()은 메서드의 제한자와 반환 타입 사이에 위치 타입 매개변수 목록 : 반환 타입 : Set 경고 없이 컴파일되며, 타입 안전하고, 직접 형변환 하지 않아도 된다. 제네릭 싱글턴 팩터리 때때로 불변 객체를 여러 타입으로 활용할 수 있게 만들어야 할 때..

제공하는 제네릭 타입과 메서드를 사용하는 일은 쉽지만 새로 제네릭 타입을 만드는 일은 조금 어렵다. 제네릭 타입으로 만들기 알맞은 Stack 클래스를 만들어 보자. Object 기반 Stack 클래스 Object를 사용해 구현한 Stack 클래스 스택에서 꺼낸 객체를 형변환 해야 하는데 이때 런타임 오류가 날 위험이 있으므로 제네릭 타입으로 만들자. 배열을 사용한 코드를 제네릭으로 만드는 방법 1. 클래스 선언에 타입 매개 변수를 추가 () 2. 코드에 쓰인 Object를 적절한 타입 매개변수로 변경 하지만 Item28에서 설명한 것처럼 E와 같은 실체화 불가 타입으로는 배열을 만들 수 없다. 해결책 1. Object 배열을 생성한 다음 제네릭 배열로 형변환 오류대신 비검사 형변환 경고가 나타난다. 이 ..

공변 vs 불공변 공변 : Sub가 Super의 하위 타입이라면 Sub []도 Super []의 하위 타입이다. 불공변 : Type1과 Type2가 있을 때 List 과 List 는 서로 하위 타입도 상위 타입도 아니다. 배열 : 공변 제네릭 : 불공변 배열은 공변성을 가지기 때문에 특정 타입의 하위 타입으로 변환될 수 있다. ex) Object[] 배열은 String [] 배열로 변환될 수 있다. 따라서 컴파일타임에 타입 안전하지 않다. 배열 vs 리스트 1. 컴파일 시 오류 확인 가능 둘 다 Long용 저장소에 String을 넣을 수는 없지만 배열은 런타임 환경에서 에러를 던지고, 리스트는 컴파일할 때 바로 알 수 있다. 2. 배열은 실체화된다. 배열 : 런타임에도 자신이 담기로 한 원소의 타입을 인..

제네릭을 사용하면 수많은 비검사 경고를 볼 수 있다. 대부분의 비검사 경고는 쉽게 제거할 수 있지만 제거하기 어려운 경고도 있다. 모든 비검사 경고를 제거한다면 그 코드는 타입 안전성이 보장된다. @SuppressWarnings("unchecked") 경고를 제거할 수는 없지만 타입 안전하다고 확신한다면 해당 애너테이션을 달아 경고를 숨기자. 안전하다고 검증된 비검사 경고를 숨기지 않고 그대로 두면 진짜 문제를 알리는 새로운 경고가 파묻혀 눈치채기 힘들다. 가능한 한 좁은 범위에 적용하자. 한 줄이 넘는 메서드나 생성자에 달린 에너테이션은 지역변수 선언으로 옮기자. 애너테이션은 선언에만 달 수 있기 때문에 return 문에 달 수 없다. public T[] toArray(T[] a){ if(a.lengt..

용어 정리 제네릭 타입 : 제네릭 클래스와 제네릭 인터페이스 ex) List 매개변수화 타입 : List은 원소의 타입이 String인 리스트를 뜻하는 매개변수화 타입 E : 정규 타입 매개변수 String : 실제 타입 매개변수 로 타입(raw type) : 제네릭 타입에서 타입 매개변수를 사용하지 않은 때 ex) List 타입 선언에서 제네릭 타입 정보가 전부 지워진 것처럼 동작 제네릭이 만들어지기 전 코드와 호환되도록 하기 위해 존재 로 타입을 사용하지 말아야 하는 이유 로 타입을 사용하면 제네릭이 안겨주는 안정성과 표현력을 모두 잃게 된다. 아래와 같은 예를 살펴보자. 만약 실수로 Stamp 인스턴스 대신에 Coin 객체를 넣어도 오류 없이 컴파일이 되지만 실제로 Collection에서 객체를 꺼..