룰루랄라 알고리즘

가변인수(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에서 객체를 꺼..

소스 파일 하나에 톱레벨 클래스를 여러 개 선언할 수 있지만 아무런 득이 없을뿐더러 심각한 위험을 감수해야 한다. 어느 소스 파일을 먼저 컴파일하냐에 따라 한 클래스를 여러 가지로 정의할 수 있기 때문이다. 아래에서 그 예를 살펴보자 Main Main 클래스는 다른 톱레벨 클래스 2개(Utensil, Dessert)를 참조 public class Main { public static void main(String[] args) { System.out.println(Utensil.NAME + Dessert.NAME); } } Utensil.java 두 클래스가 Utensil.java 한 파일에 정의 class Utensil { static final String NAME = "pan"; } class De..

중첩 클래스 (nested class) 중첩 클래스 : 다른 클래스 안에 정의된 클래스 중첩 클래스는 자신을 감싼 바깥 클래스에서만 쓰여야 하며, 그 외의 쓰임새가 있다면 톱레벨 클래스로 만들어야 한다. 정적 멤버 클래스, 비정적 멤버 클래스, 익명 클래스, 지역 클래스 4가지로 나뉜다. 첫 번째를 제외한 나머지는 내부 클래스에 해당한다. 정적 멤버 클래스 다른 클래스 안에 선언되고, 바깥 클래스의 private 멤버에도 접근할 수 있다는 점만 제외하고는 일반 클래스와 동일하다. private으로 선언하면 바깥 클래스에서만 접근할 수 있다. 바깥 클래스와 함께 쓰일 때만 유용한 public 도우미 클래스로 쓰인다. 계산기가 지원하는 연산 종류를 정의하는 열거 타입을 예로 살펴보자. Operation 열거..

책에서 두 가지 이상의 의미를 표현할 수 있는 클래스(태그 달린 클래스)를 본 적이 있을 거라 했지만 나는 처음 봤고 보자마자 이런 걸 왜 쓸까라는 생각이 들었기 때문에, 단점은 살펴보지 않고 바로 이러한 태그 달린 클래스를 클래스 계층구조로 바꾼 예시만 살펴보자. 태그 달린 클래스 하나의 클래스 Figure에 Shape에 따라 다른 동작을 수행하는 오류를 내기 쉽고, 비효율적인 클래스다. 클래스 계층구조로 변환 1. 계층 구조의 루트가 될 추상 클래스를 정의 2. 태그 값에 따라 동작이 달라지는 메서드들을 루트 클래스의 추상 메서드로 선언 3. 태그 값에 상관없이 동작이 일정한 메서드들을 루트 클래스에 일반 메서드로 추가 (모든 하위 클래스에서 공통으로 사용하는 데이터 필드들도 전부 루트 클래스로 올린..