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

제네릭 메서드

로타입 사용

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

위 메서드를 타입안전하게 만들기 위해서는 타입 매개변수만 수정하면 된다. 타입 매개변수 목록은 메서드의 제한자와 반환 타입 사이에 온다.

제네릭 메서드로 수정

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

제네릭 싱글턴 팩터리 패턴

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

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

    @SuppressWarnings("unchecked")
    public static <T> UnaryOperator<T> identityFunction() {
        return (UnaryOperator<T>) IDENTITY_FN;
    }
    
    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));
    }
}

위 코드는 항등함수를 작성한 예로 T가 어떤 타입이든 UnaryOperator<T>를 사용해도 타입 안전하다. 그래서 @SuppressWarnings("unchecked") 애너테이션을 추가하여 경고를 숨겨도 된다.

재귀적 타입 한정

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

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

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

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