教程 - 映射 C 语言的结构(Struct)和联合(Union)类型
这是本系列的第 2 篇教程. 第 1 篇教程是 映射 C 语言的基本数据类型. 此外还有教程 映射 C 语言的函数指针(Function Pointer) 和教程 映射 C 语言的字符串.
本教程中, 你将学习:
映射 C 的结构(Struct)和联合(Union)类型
要理解 Kotlin 和 C 之间的映射, 最好的方法是试验一段小示例程序. 我们在 C 语言中声明一个结构和一个联合, 看看它们如何映射到 Kotlin.
Kotlin/Native 带有 cinterop
工具; 这个工具会生成 C 语言和 Kotlin 之间的绑定. 它使用一个 .def
文件来指定一个要导入的 C 库. 详情请参见教程 与 C 库交互.
在 前面的教程 中, 你创建了一个 lib.h
文件. 现在, 直接在 interop.def
文件中包含这些声明, 在专门的 ---
分割行之后:
这个 interop.def
文件已经足以编译和运行应用程序, 或在 IDE 中打开它. 现在来创建项目文件, 在 IntelliJ IDEA中打开项目, 并运行它.
查看为 C 库生成的 Kotlin API
尽管可以直接使用命令行, 或者通过脚本文件(比如 .sh
或 .bat
文件), 但这种方法不适合于包含几百个文件和库的大项目. 更好的方法是使用带有构建系统的 Kotlin/Native 编译器, 因为它会帮助你下载并缓存 Kotlin/Native 编译器二进制文件, 传递依赖的库, 并运行编译器和测试. Kotlin/Native 能够通过 kotlin-multiplatform plugin 使用 Gradle 构建系统.
关于如何使用 Gradle 设置 IDE 兼容的项目, 请参见教程 一个基本的 Kotlin/Native 应用程序. 如果你想要寻找具体的步骤指南, 来开始一个新的 Kotlin/Native 项目并在 IntelliJ IDEA 中打开它, 请先阅读这篇教程. 在本教程中, 我们关注更高级的 C 交互功能, 包括使用 Kotlin/Native, 以及使用 Gradle 的 跨平台 构建.
首先, 创建一个项目文件夹. 本教程中的所有路径都是基于这个文件夹的相对路径. 有时在添加任何新文件之前, 会需要创建缺少的目录.
使用以下 build.gradle(.kts)
Gradle 构建文件:
项目文件将 C interop 配置为构建的一个额外步骤. 下面将 interop.def
文件移动到 src/nativeInterop/cinterop
目录. Gradle 推荐使用符合约定习惯的文件布局, 而不是使用额外的配置, 比如, 源代码文件应该放在 src/nativeMain/kotlin
文件夹中. 默认情况下, 来自 C 的所有符号会被导入到 interop
包, 你可能想要在我们的 .kt
文件中导入整个包. 请查看 Multiplatform Gradle DSL 参考文档, 学习它的各种配置方法.
创建一个 src/nativeMain/kotlin/hello.kt
桩(stub)文件, 内容如下, 看看 C 中的结构和联合类型声明在 Kotlin 会成为什么:
现在你可以 在 IntelliJ IDEA 中打开项目, 看看如何修正示例项目. 在这个过程中, 我们来看看 C 的结构和联合类型如何映射到 Kotlin/Native 声明.
结构和联合类型在 Kotlin 中的映射结果
通过 IntelliJ IDEA 的 Go to | Declaration 的帮助, 或查看编译器错误, 你可以看到为 C 函数, struct
, 和 union
生成的 API:
你可以看到 cinterop
为我们的 struct
和 union
类型生成的包装类型. 对 C 中声明的 MyStruct
和 MyUnion
类型, 相应的生成了 Kotlin 类 MyStruct
和 MyUnion
. 这些包装类型继承自基类 CStructVar
, 并将所有的域声明为 Kotlin 属性. 它使用 CValue<T>
来表达一个传值(By-Value)的结构参数, 使用 CValuesRef<T>?
表达传递结构或联合的指针.
技术上, 在 Kotlin 中 struct
和 union
类型没有区别. 注意, Kotlin 中 MyUnion
类的 a
, b
, 和 c
属性使用相同的内存位置来读写它们的值, 和 C 语言中的 union
一样.
关于更多细节以及高级使用场景, 请参见 与 C 代码交互 文档.
在 Kotlin 中使用结构和联合类型
在 Kotlin 中为 C 的 struct
和 union
类型生成的包装类很容易使用. 由于存在那些生成的属性, 在 Kotlin 代码中使用它们感觉很自然. 目前唯一的问题是, 如何为这些类创建一个新的实例. 如你所见, 在 MyStruct
的 MyUnion
声明中, 构造函数需要一个 NativePtr
参数. 当然, 你不希望手动处理指针. 相反, 你可以让 Kotlin API 来为我们初始化这些对象.
我们来看一下生成的那些接受 MyStruct
和 MyUnion
参数的函数. 你可以看到, 传值的参数表达为 kotlinx.cinterop.CValue<T>
. 对于类型指针参数则是 kotlinx.cinterop.CValuesRef<T>
. Kotlin 为我们提供了 API 方便的处理这两种类型, 我们来试一下.
创建一个 CValue<T>
CValue<T>
类型用来向 C 函数传递一个传值的参数. 使用 cValue
函数来创建 CValue<T>
对象实例. 函数要求一个 带接受者的 Lambda 函数 来初始化底层的 C 类型. 函数声明如下:
现在来看看如何使用 cValue
, 并传递传值的参数:
使用 CValuesRef<T>
创建结构和联合
在 Kotlin 中, CValuesRef<T>
类型用来传递 C 函数的有类型指针参数. 首先, 你需要 MyStruct
和 MyUnion
类的实例. 可以直接在 native 内存中创建它们. 方法是对 kotlinx.cinterop.NativePlacement
类型使用扩展函数:
NativePlacement
表示 native 内存, 它有类似于 malloc
和 free
的函数. NativePlacement
有几种实现. 全局实现通过 kotlinx.cinterop.nativeHeap
来调用, 在使用完毕后不要忘记调用 nativeHeap.free(..)
函数来释放内存.
另一个选择是使用函数:
它创建一个短期存在(Short-Lived)的内存分配范围(Allocation Scope), 所有分配的内存将会在 block
的末尾自动清除.
使用指针调用函数的代码大致如下:
注意, 这段代码使用来自 memScoped
Lambda 接受者类型的扩展属性 ptr
, 来将 MyStruct
和 MyUnion
实例转换为 native 指针.
MyStruct
和 MyUnion
类内部保存指向 native 内存的指针. 内存会在 memScoped
函数结束时释放, 等于在是它的 block
的末尾. 请确保指针没有在 memScoped
调用范围之外被使用. 对于需要生存周期更长的指针, 或者缓存在 C 库内部的指针, 你可以使用 Arena()
或 nativeHeap
.
CValue<T>
和 CValuesRef<T>
之间的转换
当然, 有些使用场景中, 对一个函数调用你需要以值的方式传递一个结构, 然后对另一个函数调用需要以引用的方式传递同一个结构. 在 Kotlin/Native 中也是可以实现的. 这里需要用到 NativePlacement
.
首先我们来看看 CValue<T>
如何转换为指针:
这段代码使用来自 memScoped
Lambda 接受者类型的扩展属性 ptr
, 来将 MyStruct
和 MyUnion
实例转换为 native 指针. 这些指针只在 memScoped
block 之内有效.
对于反过来的转换, 要将一个指针转换为一个传值的变量, 我们调用 readValue()
扩展函数:
运行代码
现在你已经学习了如何在你的代码中使用 C 的声明, 你可以在真实的例子中尝试了. 我们来修正代码, 看看它如何运行, 方法是 在 IDE 中 调用 runDebugExecutableNative
Gradle task, 或使用以下命令:
最终的 hello.kt
文件中的代码大致如下:
下一步
阅读以下教程, 继续探索更多 C 语言数据类型, 以及它们在 Kotlin/Native 中的表达:
与 C 代码交互 文档还讲解了更多的高级使用场景.