Item 30: Favor generic methods

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

 

메서드도 제네릭으로 만들 수 있다. 매개변수화 타입을 받는 정적 유틸리티 메서드는 보통 제네릭이다. Collections의 알고리즘 메서드는 모두 제네릭이다. 

다음은 Raw Type으로 작성된, 문제가 있는 코드다.

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

@Test
void setTest(){
  Set a = new HashSet();
  Set b = new HashSet();
  a.add("test");
  b.add(1);
  Set c = CollectionUtil.union(a, b);
  log.info(c.toString());
}

 

무수한 경고의 악수 세례

 

제네릭 메서드 생성

해당 메서드를 수정하면 다음과 같다.

(타입 매개변수들을 선언하는) 타입 매개변수 목록은 제한자와 반환 타입 사이에 온다. 다음 코드에서 타입 매개변수 목록은 <E>이고 반환 타입은 Set<E>이다. 타입 매개변수의 명명 규칙은 제네릭 메서드나 제네릭 타입이나 똑같다.

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

@Test
void setTest(){
  Set<String> a = new HashSet<>();
  Set<String> b = new HashSet<>();
  a.add("test");
  b.add("1");
  Set<String> c = CollectionUtil.union(a, b);
  log.info(c.toString());
}

 

해당 메서드는 경고 없이 컴파일되며, 타입 안전하고, 쓰기도 쉽다. 사용 시에도 타입을 명시해야 하니 안정성이 더 늘어난다.

 

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

 

Generic Singleton Factory

때때로 불변 객체를 여러 타입으로 활용할 수 있게 만들어야 할 때, 제네릭은 런타임에 타입 정보가 소거되므로 하나의 객체를 어떤 타입으로든 매개변수화할 수 있다. 하지만 이렇게 하려면 요청한 타입 매개변수에 맞게 매번 그 객체의 타입을 바꿔주는 정적 팩터리를 만들어야 한다. 이 패턴을 제네릭 싱글턴 팩터리라 한다.

public class GenericSingletonFactory {
  private static UnaryOperator<Object> IDENTITY_FN = (t) -> t;

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

@Test
void testB() {
  String[] strings = {"james", "aco", "enc"};
  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);
}

Comparable을 구현한 원소의 컬렉션을 입력받는 메서드들은 주로 그 원소들을 정렬 혹은 검색하거나, 최솟값이나 최댓값을 구하는 식으로 사용된다. 이 기능을 수행하려면 컬렉션에 담긴 모든 원소가 비교될 수 있어야 한다. 

 

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