使用 Boost Spirit X3 合成智能指针

Question

我需要解析一个复杂的 AST，不可能在堆内存上分配这个 AST，而且 AST 节点必须支持多态性。一种解决方案是使用智能指针分配 AST 节点。

为了简化问题，我将如何合成以下结构 (std::unique_ptr<GiantIntegerStruct> giantIntegerStruct)，例如 Boost Spirit X3？

struct GiantIntegerStruct {
    std::vector<unique_ptr<int>> manyInts; 
}

我的暂定解决方案是使用语义动作。有其他选择吗？

Answer 1

您可以执行语义操作，也可以为自定义类型定义特征。但是，请参阅此处Semantic actions runs multiple times in boost::spirit parsing（尤其是那里的两个链接）-基本上，请考虑不要这样做。

我需要解析一个复杂的 AST，不可能在堆内存上分配这个 AST

这个有点令人困惑的陈述使我得出一个合乎逻辑的结论，即您只需要从共享内存段进行分配。

本着 Rule Of Zero 的良好旧精神，您可以创建一个值包装器，使用您喜欢的任何方法进行分配，并且仍然可以享受具有“值语义”的自动属性传播（这将仅作为共享内存中的实际对象）。

如果您在进行此设置时需要任何帮助，请随时发布新问题。