继承自 boost::variant 和模板化的 AST

Question

以下代码使GCC崩溃，无法使用Clang进行编译。怎么了？

#include <boost/variant.hpp>
#include <array>
#include <iostream>

template<class Node>
struct wrapper1;
template<class Node>
struct wrapper2;
struct ast_node;
using ast_node_base = boost::variant<boost::recursive_wrapper<wrapper1<ast_node>>, boost::recursive_wrapper<wrapper2<ast_node>>>;
struct ast_node : ast_node_base
{
    using ast_node_base::ast_node_base;
};
template<class Node>
struct wrapper1
{
    std::array<Node, 1> children;
};
template<class Node>
struct wrapper2
{
    std::array<Node, 2> children;
};

int main()
{
    ast_node node;
    std::cout << "donen";
}

Answer 1

你在构造函数中获得无限递归。

第一个变体成员包含 1 个节点的聚合。因此，默认构造ast_node s将递归初始化wrapper1，当堆栈溢出时触底。

最简单的解决方法：

住在科里鲁

#include <array>
#include <boost/variant.hpp>
#include <iostream>
template <class Node> struct wrapper1;
template <class Node> struct wrapper2;
struct nil {};
struct ast_node;
using ast_node_base = boost::variant<nil, boost::recursive_wrapper<wrapper1<ast_node> >, boost::recursive_wrapper<wrapper2<ast_node> > >;
struct ast_node : ast_node_base {
    using ast_node_base::ast_node_base;
};
template <class Node> struct wrapper1 { std::array<Node, 1> children; };
template <class Node> struct wrapper2 { std::array<Node, 2> children; };
int main() {
    ast_node node;
    std::cout << "donen";
}