메서드 활용 패턴 (고급)

2. 핵심 원리

2.1 메서드 참조 4종

1번과 3번은 문법이 같아서(클래스::메서드) 헷갈립니다. 구분은 메서드가 static인가입니다. Integer::parseInt는 static이라 첫 인자가 매개변수로, String::length는 인스턴스 메서드라 첫 인자가 수신 객체(this)가 됩니다. String::compareTo처럼 인자가 둘이면 (a, b) -> a.compareTo(b)입니다.

2.2 고차 함수(higher-order function)

함수를 인자로 받거나 함수를 반환하는 메서드입니다. 자바에서는 함수형 인터페이스 타입의 매개변수·반환 타입으로 표현합니다.

함수를 반환할 때 람다는 바깥 메서드의 매개변수(n)를 캡처합니다. 메서드가 끝나 스택 프레임이 사라져도 람다는 값을 복사해 갖고 있으므로(effectively final 제약이 여기서 나옵니다) adder(5)가 돌려준 함수는 언제 불러도 5를 더합니다.

2.3 함수 합성의 방향

f.andThen(g)  = x -> g(f(x))      // f 먼저, 그다음 g   (읽는 순서 = 실행 순서)
f.compose(g)  = x -> f(g(x))      // g 먼저, 그다음 f   (수학의 f∘g)

andThen이 왼쪽에서 오른쪽으로 읽히므로 실무에서는 거의 andThen만 씁니다. Predicate는 and/or/negate, Comparator는 thenComparing/reversed가 같은 역할입니다.

2.4 커링과 부분 적용

자바에는 내장 커링이 없지만 Function<A, Function<B, C>>로 표현합니다. 실무에서는 "설정값을 미리 묶은 함수"(partial(greet, "Hello"))로 자주 쓰입니다. 람다 문법에서 a -> b -> f.apply(a, b)는 a -> (b -> f.apply(a, b))로 오른쪽부터 묶입니다.

2.5 제네릭 메서드와 타입 추론

static <T> T firstOr(List<T> list, T fallback)
//     └ 타입 매개변수 선언: 반환 타입 앞

컴파일러는 인자의 타입과 대입되는 변수의 타입(target typing)에서 T를 추론합니다. 추론이 실패하는 경우(인자가 없고 대입도 없을 때, 람다 인자만 있을 때)는 Main.<String>emptyOf()처럼 점 앞에 타입 인자를 명시합니다. 이 문법은 반드시 클래스. 또는 this.가 앞에 있어야 합니다.

2.6 지연 평가(lazy evaluation)와 Supplier

valueOrDefault(v, expensive())는 v가 있어도 expensive()가 먼저 실행됩니다(인자는 호출 전에 평가). valueOrDefault(v, () -> expensive())는 필요할 때만 get()을 부릅니다. Optional.orElse vs orElseGet, 로깅의 log.debug(() -> ...), Stream의 중간 연산이 모두 같은 원리입니다.

2.7 CompletableFuture 체이닝 3종

thenApply에 CompletableFuture를 돌려주는 함수를 넣으면 CompletableFuture<CompletableFuture<U>>가 됩니다. 그것을 펴 주는 것이 thenCompose입니다. Optional.map/flatMap, Stream.map/flatMap과 정확히 같은 구분입니다.