클래스와 마찬가지로, 메서드도 제네릭으로 생성할 수 있다. 대체로 매개변수화 타입을 받는 정적 유틸리티 메서드는 보통 제네릭이다. ex)Collections의 알고리즘 메서드
🔗 제네릭 메서드 작성법
제네릭 메서드 작성법은 제네릭 타입 작성법과 비슷하다.
다음은 두 집합의 합집합을 반환하는 문제가 있는 코드이다. 따라서 컴파일은 되지만, 다음과 같은 경고가 발생할 것이다.
로 타입 사용-수용 불가
public static Set Union(Set s1, Set s2) {
Set result = new HashSet(s1);
result.addAll(s2);
return result;
} HashSet(Collection<? extends E>) as a member of raw type HashSet
Set result = new HashSet(s1);
경고를 없애려면, 메서드를 타입 안전하게 만들면 된단다.
- 메서드 선언에서의 세 집합(입력 2개와 반환 1개)의 원소 타입을 타입 매개변수로 명시한다.
- 메서드 안에서도 이 타입 매개변수만 사용하게 수정한다.
주의할 점은, 타입 매개변수 목록은 메서드의 제한자와 반환 타입 사이에 위치한다는 것이다. 다음 코드에서 타입 매개변수 목록은 <E> 이고 반환 타입은 Set<E> 가 된다.
public static <E> Set<E> union(Set<E> s1, Set<E> S2){
Set<E> result = new HashSet<>(s1);
result.addAll(s2);
return result;
}해당 메서드는 집합 3개의 타입이 모두 같아야 하며, 이후 한정적 와일드 카드 타입(아이템 31)을 사용하여 더 유연하게 개선 가능하다.
☁️ 제네릭 싱글턴 팩터리 패턴
때때로 불변 객체를 여러 타입으로 활용할 수 있게 만들어야 할 때가 있다.
제네릭은 런타임에 타입 정보가 소거(아이템 28)되므로 하나의 객체를 어떤 타입으로든 매개변수화 할 수 있다. 하지만, 요청한 타입 매개변수에 맞게 매번 그 객체의 타입을 바꿔주는 정적 팩터리를 생성했을 때만 가능하다.
이러한 패턴을 제네릭 싱글턴 팩터리라 한다.
예시 1
Collections.reverseOrder과 같은 함수 객체나 Collections.emptySet 가 존재한다.
예시 2
항등 함수(입력 값을 수정 없이 그대로 반환하는 함수)를 구현하는 코드를 예시로 더 들어보자.
항등 함수는 상태가 없으니, 요청 시 마다 새로 생성하는 것은 낭비이다. 또한 자바의 제네릭이 실체화된다면 항등함수를 타입별로 하나씩 만들어야 했겠지만, 소거 방식을 사용한 덕에 제네릭 싱글턴 하나면 충분하다.
private static UnaryOperator<Object> IDENTITY_FN = (t) -> t;
@SuppressWarnings("unchecked")
public static <T> unaryOperator<T> identityFunction() {
return (UnaryOperator<T>) IDENTITY_FN;
}물론 UnaryOperator<Object> 를 UnaryOperator<T>로 형변환 하는 것이기 때문에 비검사 형변환 경고가 발생할 것이다. 하지만, 항등함수의 특성으로 우리는 타입 안전성을 보장 할 수 있으니 @SuppressWarnings 를 추가할 수 있다.
☁️ 재귀적 타입 한정
재귀적 타입 한정이란, 자기 자신이 들어간 표현식을 사용하여 타입 매개변수의 허용 범위를 한정하는 것이다.
public interface Comparable<T> { //Comparable<T>를 구현한 타입이 비교할 수 있는 원소의 타입을 정의
int compareTo(T o);
}Comparable 를 구현한 원소의 컬렉션을 입력받는 메서드들은, 주로 그 원소들을 정렬 혹은 검색하거나 최솟값이나 최댓값을 구하는 식으로 사용된다.
따라서 이 기능을 수행하려면 컬렉션에 담긴 모든 원소가 상호 비교될 수 있어야 하는데, 이때 재귀적 타입 한정을 이용할 수 있다.
재귀적 타입 한정 이용
public static <E extends Comparable<E>> E max(Collection<E> c){
if(c.isEmpty())
throw new IllegalArgumentException("컬렉션이 비어 있습니다.");
E result = null;
for (E e : c)
if(result == null || e.compareTo(result) > 0)
result = Objects.requireNonNull(e);
return result;
}<E extends Comparable<E>> 는 "모든 타입 E는 자신과 비교할 수 있다" 라는 의미를 지닌다.
📚 핵심 정리
제네릭 타입과 마찬가지로, 클라이언트에서 입력 매개변수와 반환값을 명시적으로 형변환해야 하는 메서드보다 제네릭 메서드가 더 안전하며 사용하기도 쉽다. 기존 클라이언트는 그대로 둔 채 새로운 사용자의 삶을 훨씬 편하게 만들어줄 것이다. (아이템 26)
