是否可以从 OCaml 调用 C 函数并有效地传递一个巨大的数组？

Question

我正在考虑在新应用程序中结合使用 OCaml 和 C 代码。 从 Ocaml 调用 C 代码似乎很简单：

    external name : type = C-function-name

然而，反过来（从 C 调用 OCaml）似乎也更复杂：（

  static void
  call_ocaml_void (const char * name)
  {   CAMLparam0 () ;
      CAMLlocal1 (ostr) ;

      ostr = caml_copy_string (name);

      value * func = caml_named_value ("ocaml_puts") ;

      if (func == NULL)
          puts ("caml_named_value failed!") ;
      else
          caml_callback (*func, ostr) ;

      CAMLreturn0 ;
  } /* call_ocaml_void */

示例来自此 页面）

尤其是，它涉及复制。

谁能告诉我是否可以允许从两种语言访问数据结构？ 因此，函数只能传递指向结构的指针，但两种语言都可以读取它。

目标是使用 OCaml 完成所有操作，然后以有效的方式将数据传递到 C 环境。

谢谢！

Answer 1

首先，您可以将任何 C malloced 值作为抽象类型传递给 ocaml。 它们有几个问题：

• 如果不使用 C 中定义的外部函数，就无法操作 ocaml 中的抽象值。
• 垃圾收集器不会释放它们，并且您可能会出现内存泄漏（或者使用某些外部函数显式释放它，但是你失去了 ocaml 的部分用处）

你还可以使用包含指向任何内容的指针的自定义块。 这也是一个基础值（如前一种情况），但您可以添加一些在自定义块被 GC 时调用的代码，这将负责释放 C 对象。

然后，对于整数/字符/浮点数组，您可以使用 biggaray 库“可以使用 alloc_bigarray 包装指向已分配的 C 或 Fortran 数组的指针 p 并将其作为大数组返回到 Caml
或 alloc_bigarray_dims 函数。 " 请参阅手册