effective java
-
아이템34. int 상수 대신 열거 타입을 사용하라JAVA/Effective java 2021. 3. 23. 16:45
열거 타입은 일정 개수의 상수 값을 정의한 다음, 그 외의 값은 허용하지 않는 타입이다. 자바에서 열거 타입을 지원하기 전에는 정수 상수를 한 묶음 선언해서 사용하곤 했다. 이는 타입 안전을 보장할 수 없으며 표현력도 좋지 않았다. 오렌지를 건네야 할 메서드에 사과를 보내고 동등 연산자(==)로 비교하더라도 컴파일러는 아무런 경고 메세지를 출력하지 않는다. 자바는 정수 열거 패턴(int enum pattern)의 단점을 말끔히 씻어주는 동시에 여러 장점을 안겨주는 대안을 재시했다. 자바의 열거 타입은 완전한 형태의 클래스라서 다른 언어의 열거 타입보다 훨씬 강력하다. 열거 타입 자체는 클래스이며, 상수 하나당 자신의 인스턴스를 하나씩 만들어 public static final 필드로 공개한다. 열거 타입..
-
아이템 33. 타입 안전 이종 컨테이너를 고려하라JAVA/Effective java 2021. 3. 22. 22:27
제네릭은 Set, Map 등의 컬렉션과 ThreadLocal, AtomicReference 등의 단일원소 컨테이너에도 흔히 쓰인다. 예컨대 Set에는 원소의 타입을 뜻하는 단 하나의 타입 매개변수만 있으면 되며, Map에는 키와 값의 타입을 뜻하는 2개만 필요한 식으로 하나의 컨테이너에서 매개변수화할 수 있는 타입의 수가 제한된다. 하지만 더 유연한 수단이 필요할 때도 종종 있다. 데이터베이스의 행은 임의 개수의 열을 가질 수 있는데, 모두 열을 타입 안전하게 이용할 수 있다면 멋질 것이다. 쉬운 해법은 컨테이너 대신 키를 매개변수화한 다음, 컨테이너에 값을 넣거나 뺄 때 매개변수화한 키를 함께 제공하면 된다. 이렇게 하면 제네릭 타입 시스템이 값의 타입이 키와 같음을 보장해줄 것이며 이런 설계 방식을 ..
-
아이템 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) 을 호출하면 어떻게..
-
30. 이왕이면 제네릭타입으로 만들라2JAVA/Effective java 2021. 3. 15. 17:06
클래스와 마찬가지로 메서드도 제네릭으로 만들 수 있다. 매개변수화 타입을 받는 정적 유틸리티 메서드는 보통 제네릭이다. 예컨대 Collections의 알고리즘 메서드 ( binarySearch, sort 등 ) 은 모두 제네릭이다. 제네릭 메서드 작성법은 제네릭 타입 작성법과 비슷하다. 다음은 두 집합의 합집합을 반환하는, 문제가 있는 메서드다. 이러한 경고들이 뜨게 되는데, 경고를 없애려면 이 메서드를 타입 안전하게 만들어야 한다. 메서드 선언에서의 세 집합(입력 2개, 반환 1개) 의 원소 타입을 타입 매개변수로 명시하고, 메서드 안에서도 이 타입 매개변수만 사용하게 수정하면 된다. (타입 매개변수들을 선언하는) 타입 매개변수 목록은 메서드의 제한자와 반환 타입 사이에 온다. 다음 코드에서 타입 매개..
-
29. 이왕이면 제네릭 타입으로 만들라JAVA/Effective java 2021. 3. 14. 15:02
해당 Stack 클래스는 원래 제네릭 타입이어야 마땅하다. 그러니 제네릭으로 만들어보자. 지금 상태에서의 클라이언트는 스택에서 꺼낸 객체를 형변환해야 하는데, 이 때 런타임 오류가 날 위험이 있다. 일반 클래스를 제네릭 클래스로 만드는 첫 단계는 클래스 선언에 타입 매개변수를 추가하는 일이다. 이때 타입 이름으로는 보통 E를 사용한다. 그런 후에 Object를 적절한 타입 매개 변수로 바꾸고 컴파일 해보자. 이 단계에서 대체로 하나 이상의 오류가 발생하는데 E와 같은 실체화 불가 타입으로는 배열을 만들 수 없다. 배열을 사용하는 코드를 제네릭으로 만들려 할 때 이 문제는 항상 발목을 잡는다. 적절한 해결책은 두 가지다. 1. 제네릭 배열 생성을 금지하는 제약을 대놓고 우회하는 방법 Object 배열을 생..
-
28. 배열보다는 리스트를 사용하라JAVA/Effective java 2021. 3. 13. 14:48
배열과 제네릭 타입에는 중요한 차이가 두 가지 있다. 공변 첫 번째, 배열은 공변이다. Sub가 Super의 하위 타입이라면 배열 Sub[]는 Super[]의 하위 타입이 된다. (공변 : 함께 변한다) 반면 제네릭은 불공변이다. 서로 다른 타입 Type1과 Type2가 있을 때, List은 List의 하위 타입도 아니고 상위 타입도 아니다. 이때 문제가 있는 건 배열쪽이다. 어느 쪽이든 Long 용 저장소에 String을 넣을 수는 없다. 배열에서는 그 실수를 런타임에야 알게 되지만, 리스트를 사용하면 컴파일 때 바로 알 수 있다. 실체화 배열은 런타임에도 자신이 담기로 한 원소의 타입을 인지하고 확인한다. 앞 서 코드에서 보듯 Long 배열에 String을 넣으려 하면 ArrayStoreExcepti..
-
27. 비검사 경고를 제거하라.JAVA/Effective java 2021. 3. 12. 13:59
제네릭을 사용하기 시작하면 수많은 컴파일러 경고를 보게 된다. 비검사 형 변환, 메서드 호출, 매개변수화 가변 인수 타입 경고, 변환 경고 등이 있는데 제네릭에 익숙해질수록 마주치는 경고 수는 줄겠지만 새로 작성한 코드가 한번에 깨끗하게 컴파일되리라는 법은 없다. 대부분의 비검사 경고는 쉽게 제거할 수 있다. Set exaltation = new HashSet(); 코드를 다음처럼 잘못 작성했다고 해보자. 그러면 컴파일러는 무엇이 잘못됐는지 친절히 설명해준다. 사실 컴파일러가 알려준 타입 매개변수를 명시하지 않고, 자바 7부터 지원하는 다이아몬드 연산자()만으로 해결할 수 있다. 그러면 컴파일러는 올바른 실제 타입 매개변수를 추론해준다. 이 경우는 Lark이다. Set exaltation = new Ha..