Skip to content

C의 struct 및 union 타입 매핑 – 튜토리얼

이 튜토리얼은 Kotlin과 C 매핑 시리즈의 두 번째 파트입니다. 시작하기 전에 이전 단계를 완료했는지 확인하세요.

First step C의 원시 데이터 타입 매핑
Second step C의 struct 및 union 타입 매핑
Third step 함수 포인터 매핑
Fourth step C의 문자열 매핑

C 라이브러리 임포트 기능은 베타 단계입니다. C 라이브러리에서 cinterop 도구로 생성된 모든 Kotlin 선언에는 @ExperimentalForeignApi 어노테이션이 있어야 합니다.

Kotlin/Native와 함께 제공되는 네이티브 플랫폼 라이브러리(예: Foundation, UIKit, POSIX)는 일부 API에 대해서만 옵트인(opt-in)이 필요합니다.

Kotlin에서 어떤 C structunion 선언이 보이는지 살펴보고 Kotlin/Native의 고급 C 상호 운용(interop) 관련 사용 사례와 멀티플랫폼 Gradle 빌드를 검토해 보겠습니다.

이 튜토리얼에서는 다음을 배울 것입니다:

C의 struct 및 union 타입 매핑

Kotlin이 structunion 타입을 어떻게 매핑하는지 이해하기 위해, C에서 이들을 선언하고 Kotlin에서 어떻게 표현되는지 살펴보겠습니다.

이전 튜토리얼에서 필요한 파일을 포함하는 C 라이브러리를 이미 생성했습니다. 이 단계를 위해, interop.def 파일의 --- 구분자 뒤에 있는 선언을 업데이트하세요:

c

---

typedef struct {
  int a;
  double b;
} MyStruct;

void struct_by_value(MyStruct s) {}
void struct_by_pointer(MyStruct* s) {}

typedef union {
  int a;
  MyStruct b;
  float c;
} MyUnion;

void union_by_value(MyUnion u) {}
void union_by_pointer(MyUnion* u) {}

interop.def 파일은 IDE에서 애플리케이션을 컴파일, 실행 또는 열기 위해 필요한 모든 것을 제공합니다.

C 라이브러리용으로 생성된 Kotlin API 검사

C structunion 타입이 Kotlin/Native로 어떻게 매핑되는지 확인하고 프로젝트를 업데이트해 봅시다:

  1. src/nativeMain/kotlin에서 이전 튜토리얼hello.kt 파일을 다음 내용으로 업데이트하세요:

    kotlin
    import interop.*
    import kotlinx.cinterop.ExperimentalForeignApi
    
    @OptIn(ExperimentalForeignApi::class)
    fun main() {
        println("Hello Kotlin/Native!")
    
        struct_by_value(/* fix me*/)
        struct_by_pointer(/* fix me*/)
        union_by_value(/* fix me*/)
        union_by_pointer(/* fix me*/)
    }
  2. 컴파일러 오류를 방지하려면 빌드 프로세스에 상호 운용 기능을 추가해야 합니다. 이를 위해 build.gradle(.kts) 빌드 파일을 다음 내용으로 업데이트하세요:

    kotlin
    kotlin {
        macosArm64("native") {    // Apple Silicon의 macOS
        // macosX64("native") {   // x86_64 플랫폼의 macOS
        // linuxArm64("native") { // ARM64 플랫폼의 Linux 
        // linuxX64("native") {   // x86_64 플랫폼의 Linux
        // mingwX64("native") {   // Windows
            val main by compilations.getting
            val interop by main.cinterops.creating {
                definitionFile.set(project.file("src/nativeInterop/cinterop/interop.def"))
            }
        
            binaries {
                executable()
            }
        }
    }
    groovy
    kotlin {
        macosArm64("native") {    // Apple Silicon macOS
        // macosX64("native") {   // x86_64 플랫폼의 macOS
        // linuxArm64("native") { // ARM64 플랫폼의 Linux
        // linuxX64("native") {   // x86_64 플랫폼의 Linux
        // mingwX64("native") {   // Windows
            compilations.main.cinterops {
                interop {   
                    definitionFile = project.file('src/nativeInterop/cinterop/interop.def')
                }
            }
        
            binaries {
                executable()
            }
        }
    }
  3. IntelliJ IDEA의 선언으로 이동 명령어(/)를 사용하여 C 함수, structunion에 대해 다음과 같이 생성된 API로 이동하세요:

    kotlin
    fun struct_by_value(s: kotlinx.cinterop.CValue<interop.MyStruct>)
    fun struct_by_pointer(s: kotlinx.cinterop.CValuesRef<interop.MyStruct>?)
    
    fun union_by_value(u: kotlinx.cinterop.CValue<interop.MyUnion>)
    fun union_by_pointer(u: kotlinx.cinterop.CValuesRef<interop.MyUnion>?)

기술적으로 Kotlin 측면에서는 structunion 타입 간에 차이가 없습니다. cinterop 도구는 structunion C 선언 모두에 대해 Kotlin 타입을 생성합니다.

생성된 API에는 kotlinx.cinterop에 위치한 CValue<T>CValuesRef<T>의 완전한 패키지 이름이 포함됩니다. CValue<T>는 값으로 전달되는(by-value) 구조체 매개변수를 나타내며, CValuesRef<T>?는 구조체 또는 union에 대한 포인터를 전달하는 데 사용됩니다.

Kotlin에서 struct 및 union 타입 사용하기

생성된 API 덕분에 Kotlin에서 C의 structunion 타입을 사용하는 것은 간단합니다. 유일한 질문은 이러한 타입의 새 인스턴스를 어떻게 생성하는지입니다.

MyStructMyUnion을 매개변수로 받는 생성된 함수를 살펴보겠습니다. 값으로 전달되는(by-value) 매개변수는 kotlinx.cinterop.CValue<T>로 표현되는 반면, 포인터 타입 매개변수는 kotlinx.cinterop.CValuesRef<T>?를 사용합니다.

Kotlin은 이러한 타입을 생성하고 작업하기 위한 편리한 API를 제공합니다. 실제 사용 방법을 살펴보겠습니다.

CValue<T> 생성하기

CValue<T> 타입은 C 함수 호출에 값으로 전달되는 매개변수를 전달하는 데 사용됩니다. cValue 함수를 사용하여 CValue<T> 인스턴스를 생성합니다. 이 함수는 내부 C 타입을 즉석에서 초기화하기 위한 리시버가 있는 람다 함수를 필요로 합니다. 함수는 다음과 같이 선언됩니다:

kotlin
fun <reified T : CStructVar> cValue(initialize: T.() -> Unit): CValue<T>

cValue를 사용하여 값으로 전달되는 매개변수를 전달하는 방법은 다음과 같습니다:

kotlin
import interop.*
import kotlinx.cinterop.ExperimentalForeignApi
import kotlinx.cinterop.cValue

@OptIn(ExperimentalForeignApi::class)
fun callValue() {

    val cStruct = cValue<MyStruct> {
        a = 42
        b = 3.14
    }
    struct_by_value(cStruct)

    val cUnion = cValue<MyUnion> {
        b.a = 5
        b.b = 2.7182
    }

    union_by_value(cUnion)
}

CValuesRef<T>로 struct 및 union 생성하기

CValuesRef<T> 타입은 Kotlin에서 C 함수의 포인터 타입 매개변수를 전달하는 데 사용됩니다. 네이티브 메모리에 MyStructMyUnion을 할당하려면 kotlinx.cinterop.NativePlacement 타입에 대한 다음 확장 함수를 사용하세요:

kotlin
fun <reified T : kotlinx.cinterop.CVariable> alloc(): T

NativePlacementmallocfree와 유사한 함수를 가진 네이티브 메모리를 나타냅니다. NativePlacement에는 몇 가지 구현체가 있습니다:

  • 전역 구현은 kotlinx.cinterop.nativeHeap이지만, 사용 후 메모리를 해제하려면 nativeHeap.free()를 호출해야 합니다.

  • 더 안전한 대안은 memScoped()로, 이는 모든 할당이 블록 끝에서 자동으로 해제되는 단기 메모리 스코프를 생성합니다:

    kotlin
    fun <R> memScoped(block: kotlinx.cinterop.MemScope.() -> R): R

memScoped()를 사용하면 포인터로 함수를 호출하는 코드가 다음과 같이 보일 수 있습니다:

kotlin
import interop.*
import kotlinx.cinterop.ExperimentalForeignApi
import kotlinx.cinterop.memScoped
import kotlinx.cinterop.alloc
import kotlinx.cinterop.ptr

@OptIn(ExperimentalForeignApi::class)
fun callRef() {
    memScoped {
        val cStruct = alloc<MyStruct>()
        cStruct.a = 42
        cStruct.b = 3.14

        struct_by_pointer(cStruct.ptr)

        val cUnion = alloc<MyUnion>()
        cUnion.b.a = 5
        cUnion.b.b = 2.7182

        union_by_pointer(cUnion.ptr)
    }
}

여기서 memScoped {} 블록 내에서 사용 가능한 ptr 확장 프로퍼티는 MyStructMyUnion 인스턴스를 네이티브 포인터로 변환합니다.

메모리는 memScoped {} 블록 내에서 관리되므로, 블록 끝에서 자동으로 해제됩니다. 할당 해제된 메모리에 접근하는 것을 방지하려면 이 스코프 외부에서 포인터를 사용하지 마세요. 더 오래 지속되는 할당(예: C 라이브러리의 캐싱)이 필요한 경우 Arena() 또는 nativeHeap 사용을 고려하세요.

CValue<T>와 CValuesRef<T> 간의 변환

때때로 한 함수 호출에서는 struct를 값으로 전달하고, 다른 함수 호출에서는 동일한 struct를 참조로 전달해야 할 수 있습니다.

이를 수행하려면 NativePlacement가 필요하지만, 먼저 CValue<T>가 어떻게 포인터로 변환되는지 살펴보겠습니다:

kotlin
import interop.*
import kotlinx.cinterop.ExperimentalForeignApi
import kotlinx.cinterop.cValue
import kotlinx.cinterop.memScoped

@OptIn(ExperimentalForeignApi::class)
fun callMix_ref() {
    val cStruct = cValue<MyStruct> {
        a = 42
        b = 3.14
    }

    memScoped {
        struct_by_pointer(cStruct.ptr)
    }
}

여기서도 memScoped {}ptr 확장 프로퍼티는 MyStruct 인스턴스를 네이티브 포인터로 변환합니다. 이 포인터는 memScoped {} 블록 내부에서만 유효합니다.

포인터를 다시 값으로 전달되는 변수로 바꾸려면 .readValue() 확장 함수를 호출하세요:

kotlin
import interop.*
import kotlinx.cinterop.alloc
import kotlinx.cinterop.ExperimentalForeignApi
import kotlinx.cinterop.memScoped
import kotlinx.cinterop.readValue

@OptIn(ExperimentalForeignApi::class)
fun callMix_value() {
    memScoped {
        val cStruct = alloc<MyStruct>()
        cStruct.a = 42
        cStruct.b = 3.14

        struct_by_value(cStruct.readValue())
    }
}

Kotlin 코드 업데이트

이제 Kotlin 코드에서 C 선언을 사용하는 방법을 배웠으니, 프로젝트에서 사용해 보세요. hello.kt 파일의 최종 코드는 다음과 같을 수 있습니다:

kotlin
import interop.*
import kotlinx.cinterop.alloc
import kotlinx.cinterop.cValue
import kotlinx.cinterop.memScoped
import kotlinx.cinterop.ptr
import kotlinx.cinterop.readValue
import kotlinx.cinterop.ExperimentalForeignApi

@OptIn(ExperimentalForeignApi::class)
fun main() {
    println("Hello Kotlin/Native!")

    val cUnion = cValue<MyUnion> {
        b.a = 5
        b.b = 2.7182
    }

    memScoped {
        union_by_value(cUnion)
        union_by_pointer(cUnion.ptr)
    }

    memScoped {
        val cStruct = alloc<MyStruct> {
            a = 42
            b = 3.14
        }

        struct_by_value(cStruct.readValue())
        struct_by_pointer(cStruct.ptr)
    }
}

모든 것이 예상대로 작동하는지 확인하려면 IDE에서 runDebugExecutableNative Gradle 태스크를 실행하거나 다음 명령을 사용하여 코드를 실행하세요:

bash
./gradlew runDebugExecutableNative

다음 단계

시리즈의 다음 파트에서는 Kotlin과 C 사이에 함수 포인터가 어떻게 매핑되는지 배울 것입니다:

다음 파트로 진행

참고 자료

더 고급 시나리오를 다루는 C와의 상호 운용(Interoperability with C) 문서에서 자세히 알아보세요.