30. 이왕이면 제네릭타입으로 만들라2

• 클래스와 마찬가지로 메서드도 제네릭으로 만들 수 있다.
• 매개변수화 타입을 받는 정적 유틸리티 메서드는 보통 제네릭이다. 예컨대 Collections의 알고리즘 메서드 ( binarySearch, sort 등 ) 은 모두 제네릭이다.
• 제네릭 메서드 작성법은 제네릭 타입 작성법과 비슷하다. 다음은 두 집합의 합집합을 반환하는, 문제가 있는 메서드다.

 

• 이러한 경고들이 뜨게 되는데, 경고를 없애려면 이 메서드를 타입 안전하게 만들어야 한다.
• 메서드 선언에서의 세 집합(입력 2개, 반환 1개) 의 원소 타입을 타입 매개변수로 명시하고, 메서드 안에서도 이 타입 매개변수만 사용하게 수정하면 된다.

 

 

• (타입 매개변수들을 선언하는) 타입 매개변수 목록은 메서드의 제한자와 반환 타입 사이에 온다.
• 다음 코드에서 타입 매개변수 목록은 <E>  이고 반환 타입은 Set<E> 이다.

• 이 메서드는 경고 없이 컴파일 되며, 타입 안전하고, 쓰기도 쉽다.
• 직접 형변환하지 않아도 어떤 오류나 경고 없이 컴파일된다.

• 이번에는 항등함수를 담은 클래스를 만들고 싶다고 해보자.
• 자바 라이브러리의 Function.identity를 사용하면 되지만, 직접 한번 작성해보자.
• 항등함수 객체는 상태가 없으니 요청할 때마다 새로 생성하는 것은 낭비다.
• 자바의 제네릭이 실체화된다면 항등함수를 타입별로 하나씩 만들어야 했겠지만, 소거 방식을 사용한 덕에 제네릭 싱글턴 하나면 충분하다.

 

• IDENTI_FN을 UnaryOperator<T>로 형변환하면 비검사 형변환 경고가 발생한다.
• T가 어떤 타입이든 UnaryOperator<Object>는 UnaryOperator<T>가 아니기 때문이다.
• 하지만 항등함수란 입력 값을 수정 없이 그대로 반환하는 특별한 함수이므로, T가 어떤 타입이든 UnaryOperator<T> 를 사용해도 타입 안전하다.
• 따라서 @SupressWarnings 를 추가하여 오류나 경고 없이 컴파일되도록 하자.

제네릭 싱글턴을 사용하는 예

• 자기 자신이 들어간 표현식을 사용하여 타입 매개변수의 허용 범위를 한정할 수 있다.
• 바로 재귀적 타입 한정이라는 개념이다.
• 재귀적 타입 한정은 주로 타입의 자연적 순서를 정하는 Comparable 인터페이스와 함께 쓰인다.

 

• 여기서 타입 매개변수 T는 Comparable<T> 를 구현한 타입이 비교할 수 있는 원소의 타입을 정의한다.
• 실제로 거의 모든 타입은 자신과 같은 타입의 원소와만 비교할 수 있다.
• 따라서 String은 Comparable<String>을, Integer는 Comparable<Integer>를 구현하는 식이다.

 

 

• Comparable을 구현한 원소의 컬렉션을 입력받는 메서드들은 주로 그 원소들을 정렬, 검색하거나 최솟값, 최댓값을 구하는 식으로 사용된다.
• 이 기능을 수행하려면 컬렉션에 담긴 모든 원소가 상호 비교될 수 있어야 한다.
• 이 제약을 코드로 표현한 모습이다.

 

• 타입 한정인 <E extends Comparable<E>>는 "모든 타입 E는 자신과 비교할 수 있다" 라고 읽을 수 있다.
• 상호 비교 가능하다는 뜻을 아주 정확하게 표현한다.
• 이 메서드의 구현은 컬렉션에 담긴 원소의 자연적 순서를 기준으로 최댓값을 계산하며, 컴파일 오류나 경고는 발생하지 않는다.

 

 

 

핵심 정리

---

• 제네릭 타입과 마찬가지로, 클라이언트에서 입력 매개변수와 반환값을 명시적으로 형변환해야 하는 메서드보다 제네릭 메서드가 더 안전하며 사용하기도 쉽다.
• 타입과 마찬가지로, 메서드도 형변환 없이 사용할 수 있는 편이 좋으며, 많은 경우 그렇게 하려면 제네릭 메서드가되어야 한다. 
• 역시 타입과 마찬가지로, 형변환을 해줘야 하는 기존 메서드는 제네릭하게 만들자.
• 기존 클라이언트는 그대로 둔채 새로운 사용자의 삶을 훨씬 편하게 만들어줄 것이다.

 

참고 자료 

---

이펙티브 자바