GENERIC
-
아이템 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..
-
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..
-
26. 로(Raw) 타입은 사용하지 말라JAVA/Effective java 2021. 3. 11. 13:45
클래스와 인터페이스 선언에 타입 매개변수가 쓰이면, 이를 제네릭 클래스 혹은 제네릭 인터페이스라 한다. List 인터페이스는 원소의 타입을 나타내는 타입 매개변수 E를 받는다. 그래서 이 인터페이스의 완전한 이름은 List 이지만, 짧게 List라고 쓴다. 이러한 제네릭 클래스와 제네릭 인터페이스를 통틀어 제네릭 타입이라 한다. List을 예로 이는 원소의 타입이 String인 리스트를 뜻하는 매개변수화 타입이다. 여기서 String이 정규 타입 매개변수 E에 해당하는 실제 타입 매개변수이다. 제네릭 타입을 하나 정의하면 그에 딸린 로 타입(raw type)도 함께 정의된다. 로 타입이란 제네릭 타입에서 타입 매개변수를 전혀 사용하지 않을 때를 말한다. 따라서 List의 로 타입은 List이다. 로 타입..