• 중단 함수는 함수가 시작할 때와 중단 함수가 호출되었을 때 상태를 가진다는 점에서 상태 머신과 비슷함.
• 컨티뉴에이션(continuation) 객체는 상태를 나타내는 숫자와 로컬 데이터를 가지고 있음.
• 함수의 컨티뉴에이션 객체가 이 함수를 부르는 다른 함수의 컨티뉴에이션 객체를 장식(decorate)함.
  • 모든 컨티뉴에이션 객체는 실행을 재개하거나 재개된 함수를 완료할 때 사용되는 콜 스택으로 사용됨.

컨티뉴에이션 전달 방식

• CPS(continuation-passing style)컨티뉴에이션 전달 방식을 사용
  • 함수의 결과를 반환하는 대신 결과를 다른 함수(continuation)로 전달하는 스타일
• 관례상 컨티뉴에이션은 마지막 파라미터로 전달됨.

ex)
suspend fun getUser(): User?
suspend fun setUser(user: User)

// 중단 함수의 내부를 보면 선언한 타입과 리턴 타입이 다름.
fun getUser(continuation: Continuation<*>): Any?
fun setUser(user: User, continuation: Continuation<*>): Any

• 반환하는 타입이 Any, Any?로 바뀌는 이유는 중단 함수를 실행하는 도중 중단되면 선언된 타입의 값을 반환하지 않을 수 있기 때문.
  • 이때 중단 함수는 마커(marker)인 COROUTINE_SUSPENDED를 반환함.

아주 간단한 함수

• 다음은 지연이 일어나기 전후에 출력하는 함수임.

suspend fun myFuntion() {
		println("Before")
		delay(1000) // 중단 함수
		println("After")
}

myFuntion 함수는 다음과 같이 추론할 수 있음.

fun myFunction(continuation: Continuation<*>): Any

• 이 함수는 상태를 저장하기 위해 자신만의 컨티뉴에이션 객체가 필요함.
  • 컨티뉴에이션은 이름이 없는 객체 표현식임 → 익명객체
  • 만약 코루틴이 재실행되고 있으면 컨티뉴에이션 객체는 래핑되어 있음.
    • 이런 경우엔 컨티뉴에이션 객체를 그대로 둬야함.

ex) 설명을 위해 이름을 붙임. 기존 컨티뉴에이션 객체는 익명객체임.
val continuation = 
		if (continuation is MyContinuation) continuation
		else MyContinuation(continuation)

• 함수가 시작되는 지점은 함수 호출지점과 중단 이후 재개 지점이며, 현재 시점을 저장하려면 label 이라는 필드를 사용해야함.
  • 함수가 처음 시작될 때 이 값은 0으로 설정됨.
  • 이후에는 중단되기 전에 다음 상태로 설정되어 코루틴이 재개될 시점을 알 수 있게 도와줌.
• myFuntion 의 세부 구현을 간단하게 표현해보면 다음과 같음.

suspend fun myFunction() {
		println("Before")
		delay(1000) // 중단 함수
		println("After")
}

fun myFunction() {
    val continuation = continuation as? MyFunctionContinuation ?: MyFunctionContinuation(continuation)
    
    if (continuation.label == 0) { // 함수가 처음 시작
        println("Before")
        continuation.label = 1 // 중단되기 전 다음 상태 설정
        if (delay(1000, continuation) == COROUTINE_SUSPEND) {
            return COROUTINE_SUSPEND
        }
    }
    
    if (continuation.label == 1) {
        println("After")
        return Unit
    }
    error("Impossible")
}

• delay 에 의해 중단된 경우 COROUTINE_SUSPEND 를 반환됨.
• 중단이 일어나면 콜 스택에 있는 모든 함수가 종료되며, 중단된 코루틴을 실행하던 스레드를 (다른 종류의 코루틴을 포함해) 실행 가능한 코드가 사용할 수 있음.