TIL

Lec 17. 코틀린에서 람다를 다루는 방법

1. 코틀린에서의 람다

• 자바에서 함수는 2급 시민으로 변수에 할당되거나 파라미터로 전달할 수 없다.
• 코틀린에서 함수는 1급 시민으로 그 자체로 값이 될 수 있다.
  • 변수에 할당할 수도, 파라미터로 넘길 수 있다.

// 람다를 만드는 방법1
val isApple = fun(fruit: Fruit): Boolean {
  return fruit.name == "사과"
}

// 람다를 만드는 방법 2
val isApple2 = { fruit: Fruit -> fruit.name == "사과" }

// 람다를 호출하는 방법 1
isApple(Fruit("사과", 1000))

// 람다를 호출하는 방법 2
isApple.invoke(Fruit("사과", 1000))

• 위 람다(함수)에도 타입이 존재한다.
  • 함수 타입: (파라미터 타입…) → 반환 타입
  • 타입이 일치하면 함수 파라미터로 전달할 수 있다.
• 람다 함수를 사용하는 여러 방법은 아래 코드를 보면 알 수 있다.

fun main() {
  filterFruits(fruits, { fruit: Fruit -> fruit.name == "사과" })
  
  // 람다 함수가 가장 마지막 파라미터에 위치하고 있으면 람다 함수 중괄호를 밖으로 뺄 수 있다.
  // 타입 추론이 가능해서 타입 생략 가능
  filterFruits(fruits) { fruit -> fruit.name == "사과" }
  
  // 람다 파라미터를 it으로 직접 참조할 수 있다.
  filterFruits(fruits) { it.name == "사과" }
  
  // 람다를 여러줄 작성해도 마지막 줄 결과가 람다의 반환값이 된다.
  filterFruits(fruits) { 
    println("사과만 받는다.")
    it.name == "사과"  // 반환
  }
}

private fun filterFruits(
  fruits: List<Fruit>, 
  filter: (Fruit) -> Boolean
) : List<Fruit> {
  return // ...
}

2. Closure

• 자바에서 람다를 쓸 때 사용 가능한 변수에 제약이 있다.
  • 자바에선 final 변수만 사용할 수 있다.

String name = "바나나";
name = "수박";

// name을 람다 변수로 사용할 수 없다 (컴파일 에러)
filterFruits(fruits, (fruit) -> name.equals(fruit.getName()));

• 하지만 코틀린에선 final이 아니어도 사용 가능하다.

var name = "바나나"
name = "수박"
// 문제 없음
filterFruits(fruits) { it.name == name }

• 코틀린에선 람다가 시작하는 지점에 참조하고 있는 변수를 모두 포획하여 그 정보를 가지고 있다.
• 이렇게 해야 람다를 진정한 일급 시민으로 간주할 수 있다.
• 이러한 데이터 구조를 Closure라 부른다.

3. 다시 try with resources

fun readFile(path: String?) {
    BufferedReader(FileReader(path)).use { reader -> 
        println(reader.readLine()) 
    }
}

• 코틀린에선 확장함수 use를 활용해 try with resources를 대체한다.

public inline fun <T : Closeable?, R> T.use(block: (T) -> R): R { ... }

• use 함수
  • T : Closeable - Closeable 구현체에 대한 확장 함수
  • inline - 인라인 함수
  • block: (T) -> R - T 타입을 받아 R 타입을 반환하는 람다를 파라미터로 받고 있다.
  • 함수 구현부에서 close()를 호출하여 안전하게 자원을 닫을 수 있다.