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

제네릭 메서드

• 메서드도 제네릭으로 만들 수 있다.
• 매개변수화 타입을 받는 정적 유틸리티 메서드는 보통 제네릭 메서드이다.
• ex. Collections의 binarySearch, sort 메서드

// 메서드 선언에서 입력 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;
}

불변 객체를 여러 타입으로 활용해야 할 때

• 제네릭은 런타임에 타입 정보가 소거되므로 하나의 객체를 어떤 타입으로든 매개변수화 가능
• 하지만 요청한 타입 매개변수에 맞게 매번 타입을 바꿔주는 정적 팩터리가 필요하다
  • 제네릭 싱글턴 팩터리 패턴 (아이템 42)
  • ex. Collections.reverseOrder, Collections.emptySet

항등함수

• Function.identity를 사용하면 되지만, 공부 목적으로 만들어보자.
• 항등함수 객체는 상태가 없으니 요청할 때마다 새로 생성하는 것은 낭비다.
• 자바의 제네릭이 실체화 되었다면 항등함수를 타입별로 하나씩 만들어야 했겠지만, 소거 방식을 사용한 덕에 제네릭 싱글턴 하나면 충분하다.

// 제네릭 싱글턴 팩터리 패턴
public static UnaryOperator<Object> IDENTITY_FN = (t) -> t;

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

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

제네릭 싱글턴을 사용해서 코드를 작성해보자.

// 제네릭 싱글턴을 사용하는 예
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 인터페이스와 함께 쓰인다.
• 복잡해질 가능성이 있지만, 관용구, 와일드카드 사용한 변형(아이템 31), 시뮬레이트한 셀프 타입 관용구(아이템 2)를 이해하면 재귀적 타입 한정은 쉽게 다룰 수 있다.

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

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

💡 핵심 정리

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