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

메서드도 제네릭으로 만들 수 있는데, 매개변수화 타입을 받는 정적 유틸리티 메서드는 보통 제네릭이다.
예) Collections의 '알고리즘' 메서드(binarySearch, sort 등 ...)

• 제네릭 메서드 작성법은 제네릭 타입 작성법과 비슷하다.
  
  다음은 두 집합의 합집합을 반환하는 문제가 있는 메서드 예시이다.

로 타입 사용 - 수용 불가! (아이템 26)

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

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

Unchecked call to 'HashSet(Collection<? extends E>)' as a member of raw type 'java.util.HashSet' 
Unchecked call to 'addAll(Collection<? extends E>)' as a member of raw type 'java.util.Set'

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

타입 매개변수의 명명 규칙은 제네릭 메서드나 제네릭 타입이나 똑같다. (아이템 29, 68)

제네릭 메서드

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

경고 없이 컴파일되며, 타입 안전하고, 쓰기도 쉬운 메서드이다.

• 메서드의 집합 3개(입력 2개, 반환 1개)의 타입이 모두 같아야 한다.
• 이를 한정적 와일드 카드 타입(아이템 31)을 사용해 더 유연하게 개선할 수도 있다.
• 불변 객체를 여러 타입으로 활용할 수 있게 만들어야 할 때가 있다.
• 제네릭은 런타임에 타입 정보가 소거(아이템 28)되므로 하나의 객체를 어떤 타입으로든 매개변수화할 수 있다.
  - 하지만 이렇게 하려면 요청한 타입 매개변수에 맞게 그 객체의 타입을 바꿔주는 정적 팩터리를 만들어야 한다.
  - 이 패턴을 제네릭 싱글턴 팩터리라고 하며, Collections.reverseOrder 같은 함수 객체나 Collections.emptySet 같은 컬렉션용으로 사용한다.
  
• 항등함수(identity function)를 담은 클래스를 만들고 싶다면 자바 라이브러리의 Function.identity를 사용하면 된다.
  - 하지만 항등함수 객체는 상태가 없어서 요청할 때마다 새로 생성하는 것은 낭비다.
  - 제네릭은 소거 방식을 사용하기 때문에 제네릭 싱글턴 하나면 항등함수를 만들기에 충분하다.

제네릭 싱글턴 팩터리 패턴

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

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

• IDENTITY_FN을 UnaryOperator로 형변환하면 비검사 형변환 경고가 발생한다.

  • T가 어떤 타입이든 UnaryOperator는 UnaryOperator가 아니기 때문이다.

  • 하지만 항등함수란 입력 값을 수정 없이 그대로 반환하는 특별한 함수이므로, T가 어떤 타입이든 UnaryOperator를 사용해도 타입 안전하다.

    제네릭 싱글턴을 사용하는 예

    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)

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

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

    • 여기서는 타입 매개변수 T는 Comparable를 구현한 타입이 비교할 수 있는 원소의 타입을 정의한다.
    • 실제로 거의 모든 타입은 자신과 같은 타입의 원소와만 비교할 수 있다.
      예) String은 Comparable을 구현하고 Integer는 Comparable를 구현하는 형식이다.
    • Comparable을 구현한 원소의 컬렉션을 입력받는 메서드들은 주로 그 원소들을 정렬, 검색, 비교하는 용도로 사용되며, 해당 용도로 사용하려면 컬렉션에 담긴 모든 원소가 상호 비교될 수 있어야 함.

    재귀적 타입 한정을 이용해 상호 비교할 수 있음을 표현

    public class RecursiveTypeBoundEx {
    public static <E extends Comparable<E>> E max(Collection<E> c);
    }

    • 타입 한정인 <E extends Comparable>는 "모든 타입 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;
    }

    • 위 메서드에서는 빈 컬렉션인 경우 IllegalArgumentException을 던진다. 따라서 Optional를 반환하도록 하는 것이 더 낫다.

    핵심 정리

    • 제네릭 타입과 마찬가지로, 클라이언트에서 입력 매개변수와 반환값을 명시적으로 형변환해야 하는 메서드보다 제네릭 메서드가 더 안전하고 사용하기도 쉽다.
    • 타입과 마찬가지로, 메서드도 형변환 없이 사용할 수 있는 편이 좋으며, 많은 경우 그렇게 하려면 제네릭 메서드가 되어야 한다.
    • 역시 타입과 마찬가지로, 형변환을 해줘야 하는 기존 메서드는 제네릭하게 만들자. 그렇다면, 기존 클라이언트는 그대로 둔 채 새로운 사용자의 삶을 훨씬 편하게 만들어 줄 것이다. (아이템 26)