boost::variant 递归问题
Posted
技术标签:
【中文标题】boost::variant 递归问题【英文标题】:boost::variant recursive trouble 【发布时间】:2011-02-08 11:00:46 【问题描述】:有什么办法可以使这项工作?我希望你能明白,我正在尝试通过递归对创建一个列表
#include <boost/variant.hpp>
#include <utility>
struct nil ;
typedef boost::make_recursive_variant<nil, std::pair<int, boost::recursive_variant_ >>::type list_t;
int main()
list_t list = 1, (list_t) 2, (list_t) 3, nil() ;
return 0;
【问题讨论】:
【参考方案1】:没有。 boost::variant 的要点是它具有固定大小,并且不进行动态分配。这种方式类似于联合。递归 boost::variant 必须具有无限大小才能包含其最大可能值 - 显然是不可能的。
但是,您可以通过指针传递它来做到这一点。例如:
struct nil ;
typedef boost::make_recursive_variant<nil,
std::pair<int, boost::scoped_ptr<boost::recursive_variant_> > >
variant_list_int;
【讨论】:
抱歉“带来仇恨”有点晚了,可以这么说,但我刚刚从一个相关问题中遇到了这个问题。无需将指针放入 boost.variant —— recursive_variant 包装器在内部使用boost::shared_ptr
,因此您的“无限大小”声明是错误的。不保证基于堆栈的方案,仅当所有构造函数(对于模板参数)都有一个 nothrow 构造函数时才使用。您可以在此处阅读更多相关信息:boost.org/doc/libs/1_46_1/doc/html/variant/…(查找“临时堆备份”)。以上是关于boost::variant 递归问题的主要内容,如果未能解决你的问题,请参考以下文章