[이펙티브 자바] 제네릭 메서드 작성법

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

매개변화 타입을 받는 정적 유틸리티 메서드는 보통 제네릭이다.

Collections 의 알고리즘 메서드 (이진검색, 정렬 등) 은 모두 제네릭일 것이다.

 

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

제네릭 메서드를 만드려면, 메서드 선언에서의 세 집합( 입력 2개, 반환 1개 )의 원소 타입을 타입 매개변수로 명시하고, 메서드 안에서도 이 타입 매개변수만 사용하게끔 수정하면 된다.

타입 매개변수 목록은 메서드 제한자와 반환 타입 사이에 온다.

때문에 public static 과 반환 타입 Set<E> 사이에 타입 매개변수 목록인 <E> 가 온 것이다.

 

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); // "[톰, 래리, 제리, 모에, 딕, 컬리]"
}

union 메서드는 집합 3개의 타입이 모두 같아야 한다.

이를 한정적 와일드카드 타입으로 더 유연하게 개선할 수 있다.

 

 

때때로 불변 객체를 여러 타입으로 활용할 수 있게 만들어야 할 때가 있다.

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

이를 위해서는 매번 매개변수와 타입을 바꿔주는 정적 팩터리를 만들어야 한다. 이를 제네릭 싱글턴 팩터리라 부르며, Collections.reverseOrder 같은 함수 객체(Item 42) 로 사용한다.

 

🔥 예제

항등함수를 담은 클래스를 만들고 싶다 가정해보자.

항등함수란 입력 값을 수정 없이 그대로 반환하는 특별한 함수이다.

항등함수 객체는 상태가 없으니, 요청할 때마다 새로 생성하는 것은 낭비이다.

자바의 제네릭이 런타임에 소거되기 때문에 제네릭 싱글턴 하나로 구현할 수 있다.

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

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

IDNENTITY_FN 을 UnaryOperator<T> 로 형변환시 비검사 형변환 경고가 발생한다.

T가 어떤 타입이던 UnaryOperator<Object> 는 UnaryOperator<T> 가 아니기 때문이다.

그러나 우리는 항등함수이므로, T가 어떤 타입이든 UnaryOperator<T> 를 사용해도 타입 안전하다.

때문에 이 메서드가 내보내는 비검사 형변환 검사는 숨겨도 안심할 수 있다.

 

public static void main(String[] args) {
    String[] strings = {"삼베", "대마", "나일론"};
    UnaryOperator<String> sameString = identityFunction();
    for (String s : strings)
      System.out.println(sameString.apply(s));
}

 

 

🔥 재귀적 타입 한정

자기 자신이 들어간 표현식을 사용하여 타입 매개변수의 허용 범위를 한정할 수 있다. 자주 사용되는 개념은 아니다.

주로 타입의 자연적 순서를 정하는 Comparable 인터페이스와 함께 사용된다.

 

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

타입 매개변수 T는 Comparable<T> 를 구현한 타입이 비교할 수 있는 원소 타입을 정의한다.

실제로 대부분 모든 타입은 자신과 같은 타입 원소와만 비교할 수 있다.

String 은 Comparable<String> 을 구현하고, Integer 는 Comparable<Integer> 를 구현하는 식이다.

 

Comparable 을 구현한 원소의 컬렉션을 입력받는 메서드들은 주로 그 원소들을 정렬하거나 검색, 연산하는 식으로 사용된다. 때문에 컬렉션에 담긴 모든 원소가 상호 비교될 수 있어야 한다.

 

 

😀 정리

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