[Effective Java] 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;
}

 

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

제네릭은 런타임에 타입 정보가 소거되기 때문에 하나의 객체를 어떤 타입으로든 매개변수화 가능

but 요청한 타입 매개변수에 맞게 매번 타입을 바꿔주는 정적 팩터리 필요 → 제네릭 싱글턴 팩터리 패턴 [아이템42]

 

 

항등 함수

Function.identity를 사용하면 되지만, 공부목적으로 만등러보자.

항등 함수 객체는 상태가 없어서 싱글턴으로 만드는 것이 좋으며 제네릭은 소거가 되기 때문에 제네릭 싱글턴으로 만들 수 있다.

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

@SuppressWarnings("unchecked") // 비검사 형변환 경고 방지
public static <T> UnaryOperator<T> identiyFunction() {
    return (UnaryOperator<T>) IDENTITY_FN;

UnaryOperator는 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 인터페이스와 함께 쓰임

복잡하긴 하지만, 관용구, 와일드카드 사용한 변형(아이템 31), 시뮬레이트한 셀프 타입 관용구(아이템2)를 이해하면 재귀적 타입 한정은 쉽게 사용할 수 있다.****

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

//재귀적 타입 한정을 이용해 상호 비교가 가능한 것을 표현 (모든 타입E는 자신과 비교할 수 있다)
public static <E extends Comparable<E>> E max(Collection<E> c);

 

 

결론

제네릭 타입과 마찬가지로 클라이언트에서 입력 매개변수와 반환값을 명시적으로 형변환해야하는 메서드보다

제네릭 메서드가 더 안전하고 사용하기 쉽다.

형변환을 해줘야 하는 기존 메서드는 제네릭하게 만들자.