[Effective Java] 아이템30. 이왕이면 제네릭 메서드로 만들라

제네릭 타입과 마찬가지로 클라이언트에서 입력 매개변수와 반환값을 명시적으로 형변환해야하는 메서드보다 제네릭 메서드가 더 안전하며 사용하기도 쉽다.

메서드도 형변환없이 사용하는 편이 좋으며, 그럴려면 일반 메서드가 제네릭 메서드가 되어야 한다. 

제너릭 메서드 작성 방법을 알아보자.

 

아래는 두 집합의 합집합을 반환하는, 문제가 있는 메서드이다.

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

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

경고를 없애려면 메서드를 타입 안전하게 만들어야 한다.

 

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

- 메서드 선언에서 원소 타입을 타입 매개변수로 명시

- 메서드 내에서 이 타입 매개변수만 사용하게 수정

 

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

더 다양한 케이스에서 제네릭 메서드를 생성해보자.

 

1. 불변 객체를 여러 타입으로 활용할 수 있게 만들려면?

제네릭은 런타임에 타입정보가 소거되므로 하나의 객체를 어떤 타입으로든 매개변수화 할 수 있다.

하지만 이렇게 하려면 요청한 타입 매개변수에 맞게 매번 그 객체의 타입을 바꿔주는 정적 팩터리를 만들어야 한다. (->제네릭 싱글턴 팩터리)

Collections.reverseOrder같은 함수 객체나 Collections.emptySet 같은 컬렉션용으로 사용한다.

 

 

 

2. 항등함수(identify function)을 담은 클래스를 만들고 싶다면?

제네릭 싱글턴 활용(자바의 Function.identity를 사용하면 되긴한다)

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

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

- (UnaryOperator<T>)로 형변환 하면 비검사 형변환 경고가 발생한다. T가 어떤 타입이던 UnaryOperator<T>는 UnaryOperator<Object>가 아니기 때문이다. 

- 하지만 항등함수는 입력값을 수정없이 그대로 반환하는 함수이므로 T가 어떤 타입이든 타입 안전하다. -> SupressWarnings로 해결

 

 

3. 재귀적 타입 한정(recursive type bound): 자기 자신이 들어간 표현식을 사용해 타입 매개변수의 허용 범위를 한정

재귀적 타입 한정은 주로 타입의 자연적 순서를 정하는 Comparable 인터페이스와 함께 쓰인다.

public static <E extends Comparable<E>> E max(Collection<E> c);

• 타입 한정인 <E extends Comparable<E>>는 "모든 타입 E는 자신과 비교할 수 있다"라고 읽을 수 있다.
• 구현

 public static <E extends Comparable<E>> E max(Collection<E> collection) {
        if (collection.isEmpty()) {
            throw new IllegalArgumentException("컬렉션이 비어 있습니다.");
        }

        E result = null;
        for (E e : collection) {
            if (result == null || e.compareTo(result) > 0) {
                result = Objects.requireNonNull(e);
            }
        }
        return result;
    }

• 컬렉션에 담긴 원소의 자연적 순서를 기준으로 최댓값을 계산, 컴파일 오류나 경고는 발생하지 않는다.