KSP는 Kotlin 코드를 어떻게 모델링하는가

KSP GitHub 저장소에서 API 정의를 찾을 수 있습니다. 다음 다이어그램은 Kotlin이 KSP에서 어떻게 모델링되는지에 대한 개요를 보여줍니다.

노트

타입 및 확인(resolution)

확인(resolution)은 기본 API 구현 비용의 대부분을 차지합니다. 따라서 타입 참조는 프로세서가 명시적으로 확인(resolve)하도록 설계되었습니다(몇 가지 예외는 있음). KSFunctionDeclaration.returnType 또는 KSAnnotation.annotationType과 같은 _타입_이 참조되면 항상 KSTypeReference이며, 이는 어노테이션 및 수정자가 있는 KSReferenceElement입니다.

interface KSFunctionDeclaration : ... {
  val returnType: KSTypeReference?
  // ...
}

interface KSTypeReference : KSAnnotated, KSModifierListOwner {
  val type: KSReferenceElement
}

KSTypeReference는 Kotlin의 타입 시스템에서 타입을 참조하는 KSType으로 확인(resolve)될 수 있습니다.

KSTypeReference에는 Kotlin의 프로그램 구조, 즉 참조가 작성되는 방식을 모델링하는 KSReferenceElement가 있습니다. 이는 Kotlin 문법의 type 요소에 해당합니다.

KSReferenceElement는 KSClassifierReference 또는 KSCallableReference가 될 수 있으며, 여기에는 확인(resolution) 없이도 유용한 정보가 많이 포함되어 있습니다. 예를 들어 KSClassifierReference에는 referencedName이 있고 KSCallableReference에는 receiverType, functionArguments 및 returnType이 있습니다.

KSTypeReference가 참조하는 원래 선언이 필요한 경우 일반적으로 KSType으로 확인(resolve)하고 KSType.declaration을 통해 액세스하여 찾을 수 있습니다. 타입이 언급된 위치에서 해당 클래스가 정의된 위치로 이동하는 것은 다음과 같습니다.

val ksType: KSType = ksTypeReference.resolve()
val ksDeclaration: KSDeclaration = ksType.declaration

타입 확인(resolution)은 비용이 많이 들기 때문에 명시적인 형태를 갖습니다. 확인(resolution)에서 얻은 정보 중 일부는 이미 KSReferenceElement에 있습니다. 예를 들어 KSClassifierReference.referencedName은 흥미롭지 않은 많은 요소를 필터링할 수 있습니다. KSDeclaration 또는 KSType에서 특정 정보가 필요한 경우에만 타입을 확인(resolve)해야 합니다.

함수 타입을 가리키는 KSTypeReference는 해당 요소에 대부분의 정보를 가지고 있습니다. Function0, Function1 등의 패밀리로 확인(resolve)될 수 있지만 이러한 확인(resolution)은 KSCallableReference보다 더 많은 정보를 제공하지 않습니다. 함수 타입 참조를 확인(resolve)하는 한 가지 사용 사례는 함수의 프로토타입의 아이덴티티를 처리하는 것입니다.

타입 및 확인(resolution)​

타입 및 확인(resolution)