제네릭 타입과 마찬가지로, 클라이언트에서 입력 매개변수와 반환값을 명시적으로 형변환해야 하는 메서드보다 제네릭 메서드가 더 안전하며 사용하기도 쉽다.
제네릭 타입과 마찬가지로, 메서드도 형변환 없이 사용할 수 있는 편이 좋으며, 많은 경우 그렇게 하려면 제네릭 메서드가 되어야 한다.
역시 타입과 마찬가지로, 형변환을 해줘야 하는 기존 메서드는 제네릭하게 만들자. 기존 클라이언트는 그대로 둔 채 새로운 사용자의 삶을 훨씬 편하게 만들어 줄 것이다.
제네릭 메서드
- (타입 매개변수들을 선언하는) 타입 매개변수 목록은 메서드의 제한자와 반환 타입 사이에 온다.
public static <E> Set<E> union(Set<E> s1, Set<E> s2) { Set<E> result = new HashSet<>(s1); result.addAll(s2); return result; }
- 위 예시는 집합3개의 타입이 모두 같아야 하는데, 이를 한정적 와일드카드 타입을 사용하면 더 유연하게 개선할 수 있음
제네릭 싱글턴 팩터리
- 때때로 불변 객체를 여러 타입으로 활용할 수 있게 만들어야 할 때가 있다.
- 제네릭은 런타임에 타입 정보가 소거되므로 하나의 객체를 어떤 타입으로든 매개변수화할 수 있다. 하지만 이렇게 하려면 요청한 타입 매개변수에 맞게 매번 그 객체의 타입을 바꿔주는 정적 팩터리를 만들어야 함 ⇒ 제네릭 싱글턴 팩터리
private static UnaryOperator<Object> IDENTITY_FN = (t) -> t; @SuppressWarnings("unchecked") public static <T> UnaryOperator<T> identityFunction() { return (UnaryOperator<T>) IDENTITY_FN; }
- IDENTITY_FN을 UnaryOperator<T>로 형변환하면 비검사 형변환 경고가 발생함
- T가 어떤 타입이든 UnaryOperator<Object>는 UnaryOperator<T>가 아니기 때문
- 하지만 항등함수란 입력 값 수정없이 그대로 반환하는 특별한 함수이므로 T가 어떤 타입이든 UnaryOperator<T>를 사용해도 타입 안전함 ⇒
@SuppressWarnings
사용해도 안심할 수 있음
// 코드 30-5 제네릭 싱글턴을 사용하는 예 (178쪽) 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 static <E extends Comparable<E>> E max(Collection<E> c);
- 재귀적 타입한 정은 훨씬 복잡해질 가능성이 있긴 하지만 그런일이 잘 일어나지는 않음. 아래 3가지를 잘 이해하면 실전에서 마주치는 대부분의 재귀적 타입 한정을 무리 없이 다룰 수 있다
- 이번 아이템의 관용구
- 와일드카드를 사용한 변형(아이템 31)
- 시뮬레이트한 셀프 타입 관용구(아이템 2)