java
-
아이템 40. @Override 애너테이션을 일관되게 사용하라JAVA/Effective java 2021. 4. 18. 01:31
@Override는 메서드 선언에 달 수 있으며, 상위 타입의 메서드를 재정의했음을 뜻한다. 이 애너테이션을 일관되게 사용하면 여러 악명 높은 버그들을 예방해준다. 다음의 Bigram 프로그램을 살펴보자. 이 클래스는 바이그램, 즉 여기서는 영어 알파벳 2개로 구성된 문자열을 표현한다. main 메서드를 보면 똑같은 소문자 2개로 구성된 바이그램 26개를 10번 반복해 집합에 추가한 다음, 그 집합의 크기를 출력한다. 이 Set은 중복을 허용하지 않으니 26이 출력될 거 같지만, 실제로는 260이 출력된다. 분명 equals 메서드를 재정의한 것으로 보이고 hashCode도 함께 재정의해야 한다는 사실을 잊지 않았다. 문제는 equals를 '재정의(overriding' 한게 아니라 '다중 정의(overl..
-
아이템36. 비트 필드 대신 EnumSet을 사용하라JAVA/Effective java 2021. 3. 26. 11:10
열거한 값들이 주로 단독이 아닌 집합으로 사용될 경우, 예전에는 각 상수에 서로 다른 2의 거듭제곱 값을 할당한 정수 열거 패턴을 사용해왔다. 하지만 비트 필드는 정수 열거 상수의 단점을 그대로 지니며, 추가로 다음과 같은 문제까지 안고 있다. 비트 필드 값이 그대로 출력되면 단순한 정수 열거 상수를 출력할 때보다 해석하기가 훨씬 어렵다. 비트 필드 하나에 녹아 있는 모든 원소를 순회하기도 까다롭다. 마지막으로 최대 몇 비트가 필요한지를 API 작성 시 미리 예측하여 적절한 타입을 선택해야 한다. 이보다 더 나은 대안이 있는데 java.util 패키지의 EnumSet 클래스는 열거 타입 상수의 값으로 구성된 집합을 효과적으로 표현해준다. Set 인터페이스를 완벽히 구현하며, 타입 안전하고, 다른 어떤 S..
-
아이템 35. ordinal 메서드 대신 인스턴스 필드를 사용하라JAVA/Effective java 2021. 3. 26. 10:45
대부분의 열거 타입 상수는 자연스럽게 하나의 정수값에 대응된다. 모든 열거 타입은 해당 상수가 그 열거 타입에서 몇 번째 위치인지를 반환하는 ordinal이라는 메서드를 제공한다. 이런 이유로 엵러 타입 상수와 연결된 정수값이 필요하면 ordinal 메서드를 이용하고 싶은 유혹에 빠진다. 해당 코드는 동작은 하지만 유지보수하기는 끔찍한 코드다. 상수 선언 순서를 바꾸는 순간 numberOfMusicians가 오동작하며, 이미 사용 중인 정수와 값이 같은 상수는 추가할 방법이 없다. 또한 값을 중간에 비워둘 수도 없는데 12명이 연주하는 3중 4중주를 추가한다고 해보자. 쓰이지 않는 더미 상수가 추가되며 실용성이 떨어지게 된다. 해결책은 간단하다. 열거 타입 상수에 연결된 값은 ordinal 메서드로 얻지..
-
아이템34. int 상수 대신 열거 타입을 사용하라JAVA/Effective java 2021. 3. 23. 16:45
열거 타입은 일정 개수의 상수 값을 정의한 다음, 그 외의 값은 허용하지 않는 타입이다. 자바에서 열거 타입을 지원하기 전에는 정수 상수를 한 묶음 선언해서 사용하곤 했다. 이는 타입 안전을 보장할 수 없으며 표현력도 좋지 않았다. 오렌지를 건네야 할 메서드에 사과를 보내고 동등 연산자(==)로 비교하더라도 컴파일러는 아무런 경고 메세지를 출력하지 않는다. 자바는 정수 열거 패턴(int enum pattern)의 단점을 말끔히 씻어주는 동시에 여러 장점을 안겨주는 대안을 재시했다. 자바의 열거 타입은 완전한 형태의 클래스라서 다른 언어의 열거 타입보다 훨씬 강력하다. 열거 타입 자체는 클래스이며, 상수 하나당 자신의 인스턴스를 하나씩 만들어 public static final 필드로 공개한다. 열거 타입..
-
아이템 32. 제네릭과 가변인수를 함께 쓸 때는 신중하라.JAVA/Effective java 2021. 3. 20. 01:02
가변인수 메서드 (varargs) 와 제네릭은 자바 5 때 함께 추가되었으니 서로 잘 어우러지리라 기대하겠지만, 그렇지 않다. 가변인수는 메서드에 넘기는 인수의 개수를 클라이언트가 조절할 수 있게 해주는데, 구현 방식에 허점이 있다. 가변인수 메서드를 호출하면 가변인수를 담기 위한 배열이 자동으로 하나 만들어지는데 내부로 감춰야 했을 이 배열을 그만 클라이언트에 노출하는 문제가 생겼고 그 결과 varargs 매개변수에 제네릭이나 매개변수화 타입이 포함되면 알기 어려운 컴파일 경고가 발생한다. 아이템 28에서 실체화 불가 타입은 런타임에는 컴파일타임보다 타입 관련정보를 적게 담고 있음을 배웠다. 그리고 거의 모든 제네릭과 매개변수화 타입은 실체화되지 않는다. 메서드를 선언할 때 실체화 불가 타입으로 var..
-
31. 한정적 와일드카드를 사용해 API 유연성을 높이라.JAVA/Effective java 2021. 3. 16. 16:02
제네릭에서 매개변수화 타입은 불공변이라 하였다. 즉 서로 다른 타입 Type1과 Type2가 있을 때 List 은 List 의 하위 타입도 상위 타입도 아니다. List은 List의 하위 타입이 아니라는 뜻인데, 즉 List에는 어떤 객체든 넣을 수 있지만 List 에는 문자열만 넣을 수 있다. 즉 List 은 List가 하는 일을 제대로 수행하지 못하니 하위 타입이 될 수 없다. 하지만 때론 불공변 방식보다 유연한 무언가가 필요하다. 여기에 일련의 원소를 스택에 넣는 메서드를 추가해야 한다고 해보자. 이 메서드는 깨끗이 컴파일되지만 완벽하진 않다. Iterable src의 원소타입이 스택의 원소 타입과 일치하며 잘 작동한다. 하지만 Stack로 선언한 후 pushAll(intVal) 을 호출하면 어떻게..
-
29. 이왕이면 제네릭 타입으로 만들라JAVA/Effective java 2021. 3. 14. 15:02
해당 Stack 클래스는 원래 제네릭 타입이어야 마땅하다. 그러니 제네릭으로 만들어보자. 지금 상태에서의 클라이언트는 스택에서 꺼낸 객체를 형변환해야 하는데, 이 때 런타임 오류가 날 위험이 있다. 일반 클래스를 제네릭 클래스로 만드는 첫 단계는 클래스 선언에 타입 매개변수를 추가하는 일이다. 이때 타입 이름으로는 보통 E를 사용한다. 그런 후에 Object를 적절한 타입 매개 변수로 바꾸고 컴파일 해보자. 이 단계에서 대체로 하나 이상의 오류가 발생하는데 E와 같은 실체화 불가 타입으로는 배열을 만들 수 없다. 배열을 사용하는 코드를 제네릭으로 만들려 할 때 이 문제는 항상 발목을 잡는다. 적절한 해결책은 두 가지다. 1. 제네릭 배열 생성을 금지하는 제약을 대놓고 우회하는 방법 Object 배열을 생..
-
26. 로(Raw) 타입은 사용하지 말라JAVA/Effective java 2021. 3. 11. 13:45
클래스와 인터페이스 선언에 타입 매개변수가 쓰이면, 이를 제네릭 클래스 혹은 제네릭 인터페이스라 한다. List 인터페이스는 원소의 타입을 나타내는 타입 매개변수 E를 받는다. 그래서 이 인터페이스의 완전한 이름은 List 이지만, 짧게 List라고 쓴다. 이러한 제네릭 클래스와 제네릭 인터페이스를 통틀어 제네릭 타입이라 한다. List을 예로 이는 원소의 타입이 String인 리스트를 뜻하는 매개변수화 타입이다. 여기서 String이 정규 타입 매개변수 E에 해당하는 실제 타입 매개변수이다. 제네릭 타입을 하나 정의하면 그에 딸린 로 타입(raw type)도 함께 정의된다. 로 타입이란 제네릭 타입에서 타입 매개변수를 전혀 사용하지 않을 때를 말한다. 따라서 List의 로 타입은 List이다. 로 타입..