如何在C++/Ocaml之间安全地转换树数据结构?

我有一个用C++编写的遗留数据结构和OCaml中的新工具，预计将处理遗留数据。所以我需要将数据从前者导入/转换为后者。数据采用树的形式，通常由访问者处理。

作为一个简单的示例，请考虑以下最小DSL：

#include <memory>
using namespace std;
class intnode;
class addnode;
struct visitor {
virtual void visit(const intnode& n) = 0;
virtual void visit(const addnode& n) = 0;
};
struct node {
virtual void accept(visitor& v) = 0;
};
struct intnode : public node {
int x;
virtual void accept(visitor& v) { v.visit(*this); }
};
struct addnode : public node {
shared_ptr<node> l;
shared_ptr<node> r;
virtual void accept(visitor& v) { v.visit(*this); }
};

它在 OCaml 中的表示形式如下所示：

type node = Int of int
| Plus of node * node
let make_int x = Int x
let make_plus l r = Plus(l,r)

问题是，如何安全有效地将C++树转换为其 OCaml 表示形式？

到目前为止，我有两种方法：

方法1

编写一个调用 OCaml 构造函数并生成value的访问者，例如：

value translate(shared_ptr<node> n);
struct translator : public visitor {
value retval;
virtual visit(const intnode& n) {
retval = call(make_int, Val_int(x->value));
}
virtual visit(const addnode& n) {
value l = translate(n.l);
value r = translate(n.r);
retval =  call(make_add, l, r);
}
};
value translate(shared_ptr<node> n)
{
translator t;
t.visit(*n);
}

简单地假设call执行所有必需的基架来回调 OCaml 并调用正确的构造函数。

这种方法的问题在于OCaml的garbag收集器。如果 GC 运行，而C++端在 is 堆栈上有一些value，则该值(毕竟是进入 OCaml 堆的指针)可能会失效。所以我需要一些方法来通知 OCaml 仍然需要这些值的事实。通常这是使用 CAML* 宏完成的，但在这样的情况下我该怎么做呢？我可以在visit方法中使用这些宏吗？

方法2

第二种方法更为复杂。当无法安全地存储中间引用时，我可以扭转局面并将C++指针推送到 OCaml 堆中：

type cppnode (* C++ pointer *)
type functions = {
transl_plus : cppnode -> cppnode -> node;
transl_int : int -> node;
}
external dispatch : functions -> cppnode -> node = "dispatch_transl"
let rec translate n = dispatch {transl_plus; transl_int = make_int} n
and transl_plus a b = make_plus (translate a) (translate b)

这里的想法是，函数"dispatch"将所有子节点包装到CustomVal结构中，并将它们传递给OCaml，而不存储任何中间值。相应的访问者将仅实现模式匹配。这显然应该适用于 GC，但缺点是效率略低(由于指针换行)和可能不太可读(因为调度和重建之间的区别)。

有没有办法用方法1的优雅来获得方法2的安全性？