c - ocaml c 互操作传递结构

Question

我在尝试从 ocaml 调用 c 时遇到了奇怪的情况。这是事物的 c 面:

typedef struct {
  TSNode node;
} AstNode;

CAMLprim value caml_ts_document_root_node(value document) {
  CAMLparam1(document);
  TSNode root_node = ts_document_root_node(document);
  AstNode elNode;
  elNode.node = root_node;
  CAMLreturn(&elNode);
}

CAMLprim value caml_ts_node_string(value node) {
  CAMLparam1(node)
  CAMLlocal1(mls);

  AstNode* n = (AstNode*) node;

  char *s = ts_node_string(n->node);
  mls = caml_copy_string(s);
  CAMLreturn(mls);
}

在 ocaml 方面

type ts_point
type ts_document

external ts_node_string : ts_node -> string = "caml_ts_node_string"
external ts_document_root_node : ts_document -> ts_node = "caml_ts_document_root_node"

如果您看到代码，我会在 caml_ts_document_root_node 中包装 TSNode root_node = ts_document_root_node(document); 在一个额外定义的结构 AstNode.

然而，当我编写以下实现时:

CAMLprim value caml_ts_document_root_node(value document) {
  CAMLparam1(document);
  TSNode root_node = ts_document_root_node(document);

  CAMLreturn(&root_node);

当 caml_ts_document_root_node 在返回的节点上调用 caml_ts_node_string 时，我的代码出现段错误。

当从 ocaml 进行互操作时，当我没有将 TSNode 包装在额外的结构中时，是否有人提示为什么会出现段错误？

Answer 1

那绝对不是外部接口(interface)的正确用法!您不能只获取一个值并将其转换为 OCaml 值。 OCaml 值经过特殊编码，甚至是整数，并且具有与 C 值不同的表示形式。

如果你想将 C 值编码为 OCaml 值，你应该使用 custom values .

首先，您需要实现一个自定义值的接口(interface)，幸运的是，您可以依赖默认值:

static struct custom_operations ast_ops = {
        "ast_node",
        custom_finalize_default
        custom_compare_default,
        custom_hash_default,
        custom_serialize_default,
        custom_deserialize_default,
        custom_compare_ext_default
};

接下来，您需要学习如何分配自定义 block 。例如，以下调用将在 OCaml 堆中分配新的 AstNode:

    res = caml_alloc_custom(&ast_ops, sizeof(AstNode), 0, 1);

要访问值本身，您需要使用 Data_custom_val 宏，例如，

   if (res) {
      AstNode *node = Data_custom_val(res);
      TsNode *tsnode = res->node;
   }

第一个函数的正确(我希望)实现的完整示例如下:

CAMLprim value caml_ts_document_root_node(value document) {
  CAMLparam1(document);
  CAMLlocal1(res);
  res = caml_alloc_custom(&ast_ops, sizeof(AstNodes), 0, 1);
  if (res) {
    AstNode *ast = (AstNode *)Data_custom_val(res);
    ast->node = ts_document_root_node(document);
  } 
  CAMLreturn(res);
}

如您所见，这不是微不足道的，而是相当低级的。虽然没有什么真正神奇的，尤其是在你阅读了 OCaml documentation 的相应部分之后。 .然而，这要容易得多to use the CTypes library ，它隐藏了大部分复杂性并允许您直接从 OCaml 调用 C 函数