infix, inline function

infix #

infix 키워드는 간단하게 함수를 가독성 있게 표현할 수 있는 키워드다.

객체와 객체 사이에 사용하는 함수 표현이라고 생각하면 된다.

infix fun String.add(other: String): String {
	return this + other
}

fun main() {
	val price = "3000"
	println(price add "원") // 3000 언
}

주로 확장 함수에 적용되는 것 같고 사용법도 쉽다. 근데 별로 안쓸것같기도..

inline #

inline을 알기 전에 일급 함수에 대해서 알아보겠다. 일급 함수는 간단하게 말하면 함수를 매개변수로 하는 함수라고 생각하면 된다 (고차함수, 람다, 익명함수)

코틀린은 이러한 일급함수 때문에 함수형 프로그래밍을 지원한다고 볼 수 있다.

fun doSomething(body : () -> Unit) {
    body()
}

fun callFunction() {
    doSomething { println("문자열 출력!") }
}

이렇게 작성했을 때 자바로 변환한다면 다음과 같아진다.

public void callFunction() {
    doSomething( new Function() {
        @Override
        public void invoke() {
            System.out.println("문자열 출력!");
        }
    });
}

이런식으로 Function Object가 생성되는 것을 볼 수 있다. 이러한 현상을 막을 수 있는 것이 inline function이다.

inline fun doSomething(body : () -> Unit) {
    body()
}

fun callFunction() {
    doSomething { println("문자열 출력!") }
}

public void callFunction() {
    System.out.println("문자열 출력!");
}

위와같이 단순하게 inline 키워드만 붙여주면 우리가 원하는 방향으로 자바 코드로 변환이 되는 것을 확인할 수 있다.

inline을 활용한 예제를 살펴보자면 대표적으로 Scope Functions가 있다. 대표적으로 also를 활용한 예제를 보자면

@kotlin.internal.InlineOnly
@SinceKotlin("1.1")
public inline fun <T> T.also(block: (T) -> Unit): T {
    contract {
        callsInPlace(block, InvocationKind.EXACTLY_ONCE)
    }
    block(this)
    return this
}

fun main() {
    val prices = listOf(3000, 5000, 6000)
    prices.also {
        println("Total Price : ${it.sum()}")
    }
}

- 결과 -
Total Price : 14000

also 함수는 inline을 활용하는 것을 볼 수 있다.

그러나 inline을 꼭 사용해야 효율이 좋다! 라는 생각이 들 수 있지만 물론 맞지만 성능에 영향은 미미하다. 왜냐면 JVM에서 이미 inline을 해주고 있다고 한다.

언제 써야하냐면 바로 고차 함수(High-Order Functions) 를 작성할 때 사용하는 것이 효과적이다. (filter, map, fold ....)

고차함수를 작성하고 inline을 쓰지 않는다면 java 코드에서 익명객체를 생성하는 비용이 발생하는 것을 확인할 수 있기에 inline을 적용시키면 객체를 생성하지 않고 우리가 원하는 방향으로 변환되는 것을 확인할 수 있다.