绑定滑入水晶朗(GC问题)

Question

>我正在尝试将一些函数从 glib 绑定到 Crystal 中。我已经这样做了，它有效：

@[Link("glib-2.0")]
lib LibG
  fun g_utf8_strup(str : UInt8*, len : UInt32) : UInt8*
  fun g_utf8_strdown(str : UInt8*, len : UInt32) : UInt8*
end

但是，它引入了内存泄漏：使用 g_* 函数创建的对象永远不会被垃圾回收。

是否有可能让 glib 在 Crystal 中与 Boehm GC 很好地配合使用？受PCRE的启发，我尝试过这个：

@[Link("glib-2.0")]
lib LibG
  # These 2 functions work perfectly
  fun g_utf8_strup(str : UInt8*, len : UInt32) : UInt8*
  fun g_utf8_strdown(str : UInt8*, len : UInt32) : UInt8*
  alias Malloc = LibC::SizeT -> Void*
  alias Free = Void* ->
  $g_malloc : Malloc
  $g_free : Free
end
# At this point happens segmentation fault
LibG.g_malloc = ->GC.malloc(LibC::SizeT)
LibG.g_free = ->GC.free(Void*)

希望覆盖/重新定义g_malloc和g_free功能。但它没有成功：它因分段错误而失败。

任何想法如何让 glib 玩 GC？我发现了一些相关的问题，但它对我没有帮助：使用 glib 进行垃圾收集？

谢谢。

Answer 1

我建议为此目的使用gobject-introspection。它提供了一个 .每个库的 GIR 文件，它是一个大型 XML 文件，描述库中每个函数、类和方法的 API，以及如何处理每个输入和输出参数的内存。您可以使用它为 GLib 等库动态生成绑定。

它还提供了一个广泛的单元测试库，可用于检查绑定是否正常工作。

至于内存管理，似乎在自找麻烦 覆盖g_malloc和g_free .在 JavaScript 的 gobject-introspection 绑定中完成的等效方法是始终确保 JS 环境拥有内存。例如，对于从 C 函数返回的字符串;如果将返回字符串的所有权授予调用方，则从返回的字符串(复制字符串(创建一个 JS 字符串并释放返回的字符串。如果库保留返回字符串的所有权，则会创建一个 JS 字符串，并且不会释放返回的字符串。在这两种情况下，唯一正在使用的内存归 JS 环境所有，并受 JS 的垃圾回收器管辖。

GLib 对象是另一回事，因为它们是引用计数的，因此 JS 包装器对象可以简单地保存对它们的引用;当 JS 对象为 GC'd 时，它会释放其引用，如果没有其他 JS 对象保留它，则 C 对象也会被销毁。