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

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

 

■ 로 타입 사용 - 타입 안전성 보장 불가

아래 코드는 컴파일은 되지만 경고가 두 개 발생 한다.

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;
}

 

 

■ 항등함수 예시 

이번에는 항등함수를 담은 클래스를 만들고 싶다고 해보자. 자바 라이브러리 Function.identity를 사용하지 않고 직접 작성해보자. 

 

IDENTITY_FN을 UnaryOperator<T>로 형 변환하면 비검사 형변환 경고가 발생한다. T가 어떤 타입이는 UnaryOperator<Object>는 UnaryOperator<T>가 아니기 때문이다. 하지만 항등함수는 입력 값을 그대로 반환하는 함수이므로 T가 어떤 타입이든 UnaryOperator를 사용해도 타입 안전하다. 이를 근거로 @SuppressWarnings 애너테이션을 추가한다.

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

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

 

■ 재귀적 타입 한정 예시

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

 

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

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 Object.requireNonNull(e);
    
    return result;
}