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

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

 

  다음은 두 집합의 합집합을 반환하는, 문제가 있는 메서드입니다(컴파일은 되지만 경고가 두 개 발생합니다).

    // 코드 30-1 로 타입 사용 - 수용 불가! (Item 26)
    public static Set union(Set s1, Set s2) {
        Set result = new HashSet(s1);
        result.addAll(s2);
        return result;
    }

 

  경고를 없애려면 타입 안전하게 만들어야 합니다. (타입 매개변수들을 선언하는) 타입 매개변수 목록은 메서드의 제한자와 반환 타입 사이에 옵니다. 다음 코드 30-2에서 타입 매개변수 목록: <E>는 메서드 제한자: public static와 반환 타입: Set<E> 사이에 옵니다.

package effectivejava.chapter5.item30;
import java.util.*;

// 제네릭 union 메서드와 테스트 프로그램
public class Union {

    // 코드 30-2 제네릭 메서드
    public static <E> Set<E> union(Set<E> s1, Set<E> s2) {
        Set<E> result = new HashSet<>(s1);
        result.addAll(s2);
        return result;
    }

    // 코드 30-3 제네릭 메서드를 활용하는 간단한 프로그램
    public static void main(String[] args) {
        Set<String> guys = Set.of("톰", "딕", "해리");
        Set<String> stooges = Set.of("래리", "모에", "컬리");
        Set<String> aflCio = union(guys, stooges);
        System.out.println(aflCio);
    }
}

  코드 30-2의 union 메서드는 집합 3개(입력 2개, 반환 1개)의 타입이 모두 같아야 합니다. 이를 한정적 와일드카드 타입(Item 31)을 사용하여 더 유연하게 개선할 수 있습니다.

 

제네릭 싱글턴 팩터리 패턴

  제네릭은 런타임에 타입 정보가 소거되므로 하나의 객체를 어떤 타입으로든 매개변수화할 수 있습니다. 이렇게 하려면 요청한 타입 매개변수에 맞게 매번 그 객체의 타입을 바꿔주는 정적 팩터리를 만들어야 합니다. 이 패턴을 제네릭 싱글턴 팩터리라고 합니다. Collections.reverseOrder 같은 함수 객체나 Collections.emptySet 같은 컬렉션용으로 사용합니다. 다음 코드는 항등함수(identity function)를 제네릭 싱글턴 팩터리 패턴으로 구현한 예입니다(항등함수란 입력 값을 수정 없이 그대로 반환하는 특별한 함수입니다).

package effectivejava.chapter5.item30;

import java.util.function.UnaryOperator;

// 제네릭 싱글턴 팩터리 패턴
public class GenericSingletonFactory {
    // 코드 30-4 제네릭 싱글턴 팩터리 패턴
    private static UnaryOperator<Object> IDENTITY_FN = (t) -> t;

    @SuppressWarnings("unchecked") // UnaryOperator<Object>와 UnaryOperator<T>의 비검사 형변환 경고
    public static <T> UnaryOperator<T> identityFunction() {
        return (UnaryOperator<T>) IDENTITY_FN;
    }

    // 코드 30-5 제네릭 싱글턴을 사용하는 예
    public static void main(String[] args) {
        String[] strings = { "삼베", "대마", "나일론" };
        UnaryOperator<String> sameString = identityFunction();
        for (String s : strings)
            System.out.println(sameString.apply(s));

        Number[] numbers = { 1, 2.0, 3L };
        UnaryOperator<Number> sameNumber = identityFunction();
        for (Number n : numbers)
            System.out.println(sameNumber.apply(n));
    }
}

 

재귀적 타입 한정

  재귀적 타입 한정(recursive type bound)는 자기 자신이 들어간 표현식을 사용하여 타입 매개변수의 허용 범위를 한정하는 개념입니다.

 

  코드 30-6의 타입 한정인 <E extends Comparable<E>>는 "모든 타입 E는 자신과 비교할 수 있다"라고 읽을 수 있습니다. 상호 비교 가능하다는 뜻을 아주 명확하게 표현했다고 할 수 있습니다.

package effectivejava.chapter5.item30;
import java.util.*;

// 재귀적 타입 한정을 이용해 상호 비교할 수 있음을 표현
public class RecursiveTypeBound {
    // 코드 30-6 컬렉션에서 최댓값을 반환한다. - 재귀적 타입 한정 사용
    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;
    }

    public static void main(String[] args) {
        List<String> argList = Arrays.asList(args);
        System.out.println(max(argList));
    }
}

 

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

타입과 마찬가지로, 메서드도 형변환 없이 사용할 수 있는 편이 좋으며, 많은 경우 그렇게 하려면 제네릭 메서드가 되어야 한다.

역시 타입과 마찬가지로, 형변환을 해줘야 하는 기존 메서드는 제네릭하게 만들자.

기존 클라이언트는 그대로 둔 채 새로운 사용자의 삶을 훨씬 편하게 만들어줄 것이다.

 

[참고 정보]

이펙티브 자바 Effective Java 3/E 도서 [조슈아 블로크 저]

이펙티브 자바 깃허브 저장소

<이펙티브 자바, 3판> 번역 용어 해설