Generic Method

클래스와 마찬가지로, 메서드도 제네릭으로 만들 수 있다. 매개변수화 타입을 받는 정적 유틸리티 메서드는 보통 제네릭이다.

제네릭 메서드 작성법은 제네릭 타입과 비슷하다. 다음은 두 집합의 합집합을 반환하는, 문제가 있는 메서드다.

로 타입 사용 - 안티패턴

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

컴파일은 되지만 경고가 발생한다.

경고를 없애기 위해서는 이 메서드를 type safe하게 만들어야 한다. 제네릭을 통해 type safe하게만들어 보자

제네릭 메서드

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

단순한 제네릭 메서드라면 이정도로 충분하다. 이 메서드는 경고 없이 컴파일되며 type safe하다.

이번에는 항등함수(identity function)을 담은 클래스를 만들고 싶다고 해보자.

제네릭 싱글턴 팩터리 패턴

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

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

IDENTITY_FN을 UnaryOperator<T>로 형변환하면 비검사 형변환 경고가 발생한다. 하지만 항등함수란 입력 값을 수정 없이 그대로 반환하는 특별한 함수이므로, T가 어떤 타입이든 안전하다. 우리는 이 사실을 알고 있으니 @SuppressWarnings("unchecked")를 사용해서 경고를 숨긴다.

재귀적 타입 한정

상대적으로 드물긴 하지만, 자기 자신이 들어간 표현식을 사용하여 타입 매개변수의 허용 범위를 한정할 수 있다. 바로 재귀적 타입 한정이라는 개념이다. 재귀적 타입 한정은 주로 타입의 자연적 순서를 정하는 Comparable 인터페이스와 함께 쓰인다.

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

여기서 타입 매개변수 T는 Comparable<T>를 구현한 타입이 비교할 수 있는 원소의 타입을 정의한다. 실제로 거의 모든 타입은 자신과 같은 타입의 원소와만 비교할 수 있다. 따라서 String은 Comparable<String>을 구현하고 Integer는 Comparable<Integer>를 구현하는 식이다.

재귀적 타입 한정을 이용해 상호 비교할 수 있음을 표현

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

타입 한정인 <E extends Comparable<E>>는 "모든 타입E는 자신과 비교할 수 있다 라고 읽을 수 잇다. 상호 비교 가능하다는 뜻을 아주 정확하게 표현했다고 할 수 있다.

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