[Kotlin]13. 고차 함수와 람다 함수

고차함수

 

고차함수란 함수를 마치 클래스에서 만들어낸 '인스턴스처럼' 취급하는 방법이다.

 

함수를 '패러미터'로 넘겨 줄 수 도 있고 결과값으로 반환 받을수도 있는 방법이다. 코틀린에서는 모든 함수를 고차함수로 사용 가능하다. 

 

아래의 소스코드를 확인해보자

fun main(){
 
    b(::a)
 
    val c: (String) -> Unit = { str -> println("$str 람다함수") }
    b(c)
 
}
 
fun a (str : String){
    println("$str 함수 a")
}
 
fun b ( function: (String) -> Unit){
    function("b가 호출한")
}
 
b가 호출한 함수 a
b가 호출한 람다함수

아래의 소스코드를 보자.

fun main(){
    
    val c: (String) -> Unit = { str -> println("$str 람다함수") }
    val d = { str : String -> println("$str 람다함수")}
    b(c)
    b(d)

}

 

아래의 소스코드는 일반적인 변수에 자료형을 쓰듯이 (ex : val a: Int) 그자리에 함수의 형식 "(String)->Unit" 을 쓴것이다.

 

다음은 파라미터로 받아온 문자열을 매칭해줄 변수이름을 써주는데,

 

여기서 str은 String으로 받아온 값을 람다함수 내에서 사용할 변수 이름이다.

 

그 이후에는 함수의 형식에서와 같이 화살표 형태를 써준후 실행할 구문을 적어준다.

val c: (String) -> Unit = { str -> println("$str 람다함수") }

 

 

 

람다함수 역시 변수에 할당할 때는 이전에 배웠던 타입추론 기능을 이용하여 좀더 축약해서 기술할 수 있는데

 

아래처럼 함수의 형식을 적지 않고 바로 중괄호안에 직접 패러미터의 자료형을 써서 타입추론이 가능하다.

val d = { str : String -> println("$str 람다함수")}

 

고차함수와 람다함수를 사용하면, 이렇게 함수를 일종의 변수로 사용할 수 있다는 편의성이 있지만

이후 배우게될 컬렉션의 조작이나 스코프 함수의 사용에도 도움이 된다.

 

람다함수의 특별한 케이스

 

 

첫번째

 

람다함수도 여러구문의 사용이 가능하다.

 

val calculate : (Int,Int) -> Int = {a,b ->
    println(a)
    println(b)
    a + b
}

 

위처럼 람다함수로 여러줄을 쓸수 있고 여러줄을 쓸경우는 마지막 줄이 결과값으로 반환된다.

위 소스코드에서는 a+b의 값을 Int로 반환한다.

 

 

두번째

 

파라미터가 없는 람다함수는 실행할 구문만 나열하면 된다.

 

val a : () ->Unit ={println("패러미터가 없어요")}

 

세번째

 

파라미터가 하나뿐이라면 it을 사용한다.

 

val a : (String) -> Unit = {println("$it 람다함수")}

파라미터가 여러개라면 람다함수 내에서 파라미터를 일일이 써줘야하지만 한개뿐이라면 it으로 대체할 수 있다.