Kotlin/Native中如何通过cinterop创建并初始化结构体数组？

问题背景 #

给定C库中的结构体定义：

typedef struct VkDeviceQueueCreateInfo {
    ...
} VkDeviceQueueCreateInfo;

typedef struct VkDeviceCreateInfo {
    ...
    uint32_t                       queueCreateInfoCount;
    const VkDeviceQueueCreateInfo* pQueueCreateInfos;
    ...
} VkDeviceCreateInfo;

已实现Kotlin封装类：

class DeviceQueueCreateInfo(...) {
    // 在指定MemScope中分配并填充VkDeviceQueueCreateInfo结构体
    fun toRaw(scope: MemScope): VkDeviceQueueCreateInfo = ...
}

class DeviceCreateInfo(val queueCreateInfos: List<DeviceQueueCreateInfo>) {
    // 在指定MemScope中分配并填充VkDeviceCreateInfo结构体
    fun toRaw(scope: MemScope) = with(scope) {
        alloc<VkDeviceCreateInfo>().also {
            it.queueCreateInfoCount = queueCreateInfos.size.toUInt()
            it.pQueueCreateInfos = ??? // 需要在此处分配结构体数组并初始化
        }
    }
}

尝试使用allocArray<VkDeviceQueueCreateInfo>创建数组后，通过arr[index] = x.toRaw(scope)赋值时编译报错No set method providing array access，但基础类型（如FloatVar）的数组操作正常。

解决方案 #

Kotlin/Native中，结构体类型（无Var后缀）的数组无法直接通过下标赋值，因为这类数组的元素是值类型而非引用类型。可通过以下两种方式处理：

方法1：通过指针pointed逐个初始化 #

先分配数组，再遍历获取对应位置的指针，将结构体内容拷贝到指针指向的内存区域：

fun toRaw(scope: MemScope) = with(scope) {
    alloc<VkDeviceCreateInfo>().also { deviceCreateInfo ->
        val count = queueCreateInfos.size.toUInt()
        deviceCreateInfo.queueCreateInfoCount = count
        if (count > 0u) {
            val queueInfosArray = allocArray<VkDeviceQueueCreateInfo>(count.toInt())
            queueCreateInfos.forEachIndexed { index, queueInfo ->
                // 获取数组对应位置的指针，拷贝结构体内容
                queueInfosArray[index].pointed = queueInfo.toRaw(scope)
            }
            deviceCreateInfo.pQueueCreateInfos = queueInfosArray
        } else {
            deviceCreateInfo.pQueueCreateInfos = null
        }
    }
}

方法2：批量拷贝原始结构体到数组 #

先将所有封装类转换为原始结构体，再通过标准库方法批量拷贝到分配的数组内存：

fun toRaw(scope: MemScope) = with(scope) {
    alloc<VkDeviceCreateInfo>().also { deviceCreateInfo ->
        val rawQueueInfos = queueCreateInfos.map { it.toRaw(scope) }
        val count = rawQueueInfos.size.toUInt()
        deviceCreateInfo.queueCreateInfoCount = count
        deviceCreateInfo.pQueueCreateInfos = if (count > 0u) {
            allocArray<VkDeviceQueueCreateInfo>(count.toInt()).apply {
                rawQueueInfos.copyInto(this)
            }
        } else {
            null
        }
    }
}

关键注意事项 #

• 结构体数组的元素是值语义，必须通过pointed访问可变内存区域，或使用批量拷贝方法完成赋值。
• 所有内存操作必须绑定到传入的MemScope，确保内存会在作用域结束时自动释放，避免内存泄漏。

内容的提问来源于stack exchange，提问作者Joshua Hyatt