Kotlin 2.0(K2 컴파일러)에서 달라진 Java SAM 변환 동작

Kotlin에서 Java의 함수형 인터페이스(SAM Interface)를 사용할 때, 이전 버전과 2.0 이후 버전에서 동작이 달라진 부분을 발견해서 공유합니다.

@FunctionalInterface
public interface StringFilter {
    boolean filter(String s);
}

위와 같은 함수형 인터페이스가 있다고 하면은 Kotlin 1.x (구 컴파일러) 에서는 다음과 같이 SAM 생성자를 명시적으로 사용해야만 했습니다.

val filter = StringFilter { s -> s.startsWith("A") }

Kotlin 2.0+ (K2 컴파일러) 에서는 아래와 같은 방식이 정상 동작 됩니다.

val filter: StringFilter = { s -> s.startsWith("A") }

왜 바뀌었는지 찾아보니 Kotlin 2.0에서 정식 도입된 K2 컴파일러는 프론트엔드를 완전히 새로 작성하면서, 타입 추론(Type Inference)과 호출 해석(Call Resolution) 시스템이 크게 개선되었습니다. K2 컴파일러 마이그레이션 가이드에서는 이를 다음과 같이 설명합니다.

"Improved call resolution and type inference."

The compiler behaves more consistently and understands your code better.

구체적으로 K2 컴파일러는 기대 타입(Expected Type)이 Java SAM 인터페이스인 모든 위치에서 람다의 암시적 SAM 변환을 지원하도록 확장되었습니다. 이전에는 SAM 변환이 함수 인자 전달 등 제한된 위치에서만 적용됐지만, K2에서는 변수 대입을 포함한 더 넓은 범위에서 일관되게 동작합니다.

실습하다가 너무 잘 되어서 한번 찾아본 결과를 한번 정리해서 드립니다!

• https://kotlinlang.org/docs/k2-compiler-migration-guide.html

• https://kotlinlang.org/docs/whatsnew20.html

• https://kotlinlang.org/docs/fun-interfaces.html

• https://kotlinlang.org/docs/compatibility-guide-20.html