Effective Java ( 이펙티브 자바 ) - 아이템 30

이왕이면 제네릭 메서드로 만들라

---

클래스와 마찬가지로, 메서드도 제네릭으로 만들 수 있다. 매개변수화 타입을 받는 정적 유틸리티 메서드는 보통 제네릭이다. 예컨대 Collections의 '알고리즘'메서드 ( sort, binarySearch 등 )는 모두 제네릭이다.

public static Set union(Set s1, Set s2) {
   Set result = new HashSet(s1);
   result.addAll(s2);
   return result;
}

컴파일은 되지만 경고가 두 개 발생한다.

Set result = new HashSet(s1);

result.addAll(s2);

 

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

public static <E> Set<E> union(Set<E> s1, Set<E> s2) {
   Set<E> result = new HashSet<>(s1);
   result.addAll(s2);
   return result;
}

단순한 제네릭 메서드라면 이 정도면 충분하다. 

 

코드 30-2의 Union 메서드는 집합 3개의 타입이 모두 같아야 한다. 이를 한정적 와일드카드 타입을 사용하여 더 유연하게 개선할 수 있다.

  때때로 불변 객체를 여러 타입으로 활용할 수 있게 만들어야 할 때가 있다. 제네릭은 런타임에 타입 정보가 소거되므로 하나의 객체를 어떤 타입으로든 매개변수화할 수 있다. 하지만 이렇게 하려면 요청한 타입 매개변수에 맞게 매번 그 객체의 타입을 바꿔주는 정적 팩터리를 만들어야 한다. 이 패턴을 제네릭 싱글턴 팩터리라 하며, Collections.reverseOrder 같은 함수 객체나 Collections.emptySet 같은 컬렉션용으로 사용한다.

private static UnaryOperator<Object> IDENTITY_FN = (t) -> t;

@SuppressWarnings("unchekced")
public static <T> UnaryOperator<T> identityFunction() {
   return (UnaryOperator<T>) IDENTITY_FN;
}

 

상대적으로 드물긴 하지만, 자기 자신이 들어간 표현식을 사용하여 타입 매개변수의 허용 범위를 한정할 수 있다. 바로 재귀적 타입 한정이라는 개념이다. 주로 Comprable 인터페이스와 함께 쓰인다. 

public interface Comparable<T> {
   int compareTo(T o);
}

여기서 타입 매개변수 T는 Comparable<T>를 구현한 타입이 비교할 수 있는 원소의 타입을 정의한다. 실제로 거의 모든 타입은 자신과 같은 타입의 원소와만 비교할 수 있다. Comparable을 구현한 원소의 컬렉션을 입력받는 메서드들은 주로 그 원소들을 정렬 혹은 검색하거나, min max를 구하는 식으로 사용된다. 이 기능을 수행하려면 컬렉션에 담긴 모든 원소가 상호 비교될 수 있어야 한다. 다음은 이 제약을 코드로 표현한 모습이다.

public static <E extends Comparable<E>> E max(Colection<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는 자신과 비교할 수 있다" 라고 읽을 수 있다. 상호 비교 가능하다는 뜻을 아주 정확하게 표현했다고 할 수 있다.

 

제네릭 타입과 마찬가지로, 클라이언트에서 입력 매개변수와 반환값을 명시적으로 형변환해야 하는 메서드보다 제네릭 메서드가 더 안전하며 사용하기도 쉽다. 메서드도 형변환 없이 사용할 수 있는 편이 좋으며, 많은 경우 그렇게 하려면 제네릭 메서드가 되어야 한다.