[이펙티브자바 3판] ITEM30. 이왕이면 제네릭 메서드로 만들어라

이번장의 핵심은...

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

타입과 마찬가지로, 메서드도 형변환 없이 사용할 수 있는 편이 좋으며, 많은 경우 그렇게 하려면 제네릭 메서드가 되어야 한다

역시 타입과 마찬가지로, 형변환을 해줘야 하는 기존 메서드는 제네릭하게 만들자 기존 클라이언트는 그대로 둔 채 새로운 사용자의 삶을 훨씬 편하게 만들어줄 것이다

---

제네릭 메서드

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

예를 들어, Collections의 '알고리즘 메서드' (binarySearch, sort 등) 모두 제네릭

// 로 타입 사용 - 수용 불가
public static Set union(Set s1, Set s2) {
	Set result = new HashSet(s1);
	result.addAll(s2);
	return result;
}

컴파일은 가능하지만 타입이 안전하지 않아서 2개 경고가 발생

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

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개 타입이 모두 같아야 한다.

이를 한정적 와일드 카드 타입을 사용하여 더 유연하게 개선할 수 있다

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

제네릭 싱글턴 팩터리

요청한 타입 매개변수에 맞게 매번 그 객체의 타입을 바꿔주는 정적 팩토리를 만들자

→ Collections.reverseOrder 같은 함수 객체나 Collections.emptySet 같은 컬렉션용으로 사용한다

// 제네릭 싱글턴 팩터리 패턴
private static UnaryOperator<Object> IDENTITY_FN = (t) -> t;

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

(UnaryOperator<T>) IDENTITY_FN → 형 변환하면 비검사 형변환 경고 발생

하지만 항등 함수란 입력 값을 수정 없이 그대로 반환하는 특별한 함수이므로 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));

        Number[] numbers = { 1, 2.0, 3L };
        UnaryOperator<Number> sameNumber = identityFunction();
        for (Number n : numbers)
            System.out.println(sameNumber.apply(n));
    }

→ 형 변환을 하지 않아도 컴파일 오류나 경고가 발생하지 않는다

재귀적 타입 한정

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

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

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

Comparable을 구현한 원소의 컬렉션을 입력받는 메서드들은 주로 그 원소들을 정렬 혹은 검색하거나, 최솟값이나 최댓값을 구하는 식으로 사용된다

이 기능을 수행하려면 컬렉션에 담긴 모든 원소가 상호 비교될 수 있어야 한다

// 재귀적 타입 한정을 이용해 상호 비교할 수 있음을 표시
public static <E extends Comparable<E>> E max(Collection<E> c);

타입 한정인 <E extends Comparable<E>> 는 '모든 타입 E는 자기 자신과 비교할 수 있다'라고 읽을 수 있음

// 컬렉션에서 최댓값을 반환한다 - 재귀적 타입 한정 사용
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;
}

 

 

이 글은 “이펙티브 자바 3판” 책 내용을 정리한 글입니다.

만약 저작권 관련 문제가 있다면 “shk3029@kakao.com”로 메일을 보내주시면, 바로 삭제하도록 하겠습니다.