item 30 JungHyunLyoo - JAVA-JIKIMI/EFFECTIVE-JAVA3 GitHub Wiki

제네릭 메서드

클래스와 마찬가지로, 메서드도 제네릭으로 만들 수 있다.

타입 매개변수의 명명 규칙은 제네릭 메서드나 제네릭 타입이나 똑같다.(item 29)

raw type을 사용하지 않도록 주의한다(Set,List)

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

위 메서드는 집합 3개(입력 2개, 반환1개)의 타입이 모두 같아야 한다.

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

제네릭 싱글턴 팩터리 패턴

때때로 불변 객체(Immutable Object)를 여러 타입으로 활용할 수 있게 만들어야 할 때가 있다.

이렇게 하려면, 요청한 타입 매개변수에 맞게 매번 그 객체의 타입을 바꿔주는 정적 팩터리를 만들어야 한다.

이 패턴을 제네릭 싱글턴 팩터리라 한다.

제네릭 싱글턴 팩터리 패턴의 예제를 살펴보자

import java.util.function.UnaryOperator;

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

재귀적 타입 한정

자기 자신이 들어간 표현식을 사용하여 타입 매개변수의 허용 범위를 한정하는 것.

타입의 자연적 순서를 정하는 Comparable 인터페이스(item 14)와 함께 쓰이는 개념이다.

Comparable을 구현한 원소의 컬렉션을 입력받는 메서드들은 주로 그 원소들을 정렬 혹은 검색하거나,

최솟값이나 최댓값을 구하는 식으로 사용된다.

import java.util.*;

// 재귀적 타입 한정을 이용해 상호 비교할 수 있음을 표현 (179쪽)
public class RecursiveTypeBound {
    // 코드 30-7 컬렉션에서 최댓값을 반환한다. - 재귀적 타입 한정 사용 (179쪽)
    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;
    }

    public static void main(String[] args) {
        List<String> argList = Arrays.asList(args);
        System.out.println(max(argList));
    }
}

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

item 30 JungHyunLyoo - JAVA-JIKIMI/EFFECTIVE-JAVA3 GitHub Wiki

제네릭 메서드

제네릭 싱글턴 팩터리 패턴

재귀적 타입 한정

⚠️ **GitHub.com Fallback** ⚠️

⚠️ GitHub.com Fallback ⚠️