Experimental

컨텍스트 파라미터

컨텍스트 파라미터(Context parameters)는 이전의 실험적 기능인 컨텍스트 리시버(context receivers)를 대체합니다. 주요 차이점은 컨텍스트 파라미터(context parameters)에 대한 설계 문서에서 확인할 수 있습니다. 컨텍스트 리시버에서 컨텍스트 파라미터로 마이그레이션하려면, 관련 블로그 게시물에 설명된 대로 IntelliJ IDEA의 지원 기능을 사용할 수 있습니다.

컨텍스트 파라미터는 함수와 프로퍼티가 주변 컨텍스트에서 암묵적으로 사용 가능한 의존성을 선언할 수 있도록 합니다.

컨텍스트 파라미터를 사용하면 서비스나 의존성과 같이 공유되며 함수 호출 집합 전반에 걸쳐 거의 변경되지 않는 값을 수동으로 전달할 필요가 없습니다.

프로퍼티와 함수에 컨텍스트 파라미터를 선언하려면 context 키워드를 사용하고 그 뒤에 각 파라미터를 name: Type 형식으로 선언한 목록을 추가합니다. 다음은 UserService 인터페이스에 대한 의존성을 사용하는 예시입니다:

// UserService는 컨텍스트에 필요한 의존성을 정의합니다.
interface UserService {
    fun log(message: String)
    fun findUserById(id: Int): String
}

// 컨텍스트 파라미터를 사용하는 함수를 선언합니다.
context(users: UserService)
fun outputMessage(message: String) {
    // 컨텍스트에서 log를 사용합니다.
    users.log("Log: $message")
}

// 컨텍스트 파라미터를 사용하는 프로퍼티를 선언합니다.
context(users: UserService)
val firstUser: String
    // 컨텍스트에서 findUserById를 사용합니다.
    get() = users.findUserById(1)

_를 컨텍스트 파라미터 이름으로 사용할 수 있습니다. 이 경우 파라미터의 값은 해석(resolution)에 사용할 수 있지만, 블록 내부에서는 이름으로 접근할 수 없습니다:

// "_"를 컨텍스트 파라미터 이름으로 사용합니다.
context(_: UserService)
fun logWelcome() {
    // 여전히 UserService에서 적절한 log 함수를 찾습니다.
    outputMessage("Welcome!")
}

컨텍스트 파라미터 해석(resolution)

코틀린은 호출 사이트에서 현재 스코프 내의 일치하는 컨텍스트 값을 검색하여 컨텍스트 파라미터를 해석합니다. 코틀린은 타입별로 값을 매칭합니다. 만약 동일한 스코프 레벨에 여러 개의 호환 가능한 값이 존재하면, 컴파일러는 모호성(ambiguity)을 보고합니다:

// UserService는 컨텍스트에 필요한 의존성을 정의합니다.
interface UserService {
    fun log(message: String)
}

// 컨텍스트 파라미터를 사용하는 함수를 선언합니다.
context(users: UserService)
fun outputMessage(message: String) {
    users.log("Log: $message")
}

fun main() {
    // UserService를 구현합니다.
    val serviceA = object : UserService {
        override fun log(message: String) = println("A: $message")
    }

    // UserService를 구현합니다.
    val serviceB = object : UserService {
        override fun fun log(message: String) = println("B: $message")
    }

    // serviceA와 serviceB 모두 호출 사이트에서 예상되는 UserService 타입과 일치합니다.
    context(serviceA, serviceB) {
        // 이로 인해 모호성 오류가 발생합니다.
        outputMessage("This will not compile")
    }
}

제한 사항

컨텍스트 파라미터는 계속해서 개선되고 있으며, 현재 몇 가지 제한 사항은 다음과 같습니다:

• 생성자는 컨텍스트 파라미터를 선언할 수 없습니다.
• 컨텍스트 파라미터가 있는 프로퍼티는 지원 필드(backing fields)나 초기화기(initializers)를 가질 수 없습니다.
• 컨텍스트 파라미터가 있는 프로퍼티는 위임(delegation)을 사용할 수 없습니다.

이러한 제한 사항에도 불구하고, 컨텍스트 파라미터는 간소화된 의존성 주입, 개선된 DSL 설계, 그리고 스코프 지정 작업(scoped operations)을 통해 의존성 관리를 단순화합니다.

컨텍스트 파라미터 활성화 방법

프로젝트에서 컨텍스트 파라미터를 활성화하려면, 명령줄에서 다음 컴파일러 옵션을 사용합니다:

-Xcontext-parameters

또는 Gradle 빌드 파일의 compilerOptions {} 블록에 추가합니다:

// build.gradle.kts
kotlin {
    compilerOptions {
        freeCompilerArgs.add("-Xcontext-parameters")
    }
}

-Xcontext-receivers와 -Xcontext-parameters 컴파일러 옵션을 동시에 지정하면 오류가 발생합니다.

이 기능은 향후 코틀린 릴리스에서 안정화되고 개선될 예정입니다. 이슈 트래커 YouTrack에 여러분의 피드백을 주시면 감사하겠습니다.