1

我应该怎么做才能声明 forward A，表示一个元素列表B，每个元素都指向C，那boost::recursive_wrapper-s 指向A？

在所有类型都是模板化的情况下特别感兴趣。说，

template< typename F > struct expression 
   : tagged, boost::spirit::extended_variant< 
           nil, 
           F, 
           boost::recursive_wrapper< expression_list< F > 
         > > 
   {...};

那么expression_list应该是什么？：

template< typename F > struct expression;
template< typename F >
using expression_list = std::list< expression< F > >;
... // definition of template< typename F > expression; here

不能在boost::recursive_wrapper的模板参数列表中使用，但在

template< typename F >
struct expression_list;
... // definition of template< typename F > expression; here
template< typename F >
struct expression_list
    : std::list< expression< F > >
{ ; }

有static_assert(!std::has_virtual_destructor< std::list< expression< F > > >::value, "has virtual destructor")，因此也不能使用。

4

1 回答 1

1

我不确定你在问什么，但是下面的示例定义和使用示例对我来说似乎很好用（explicit尽管考虑在现实生活中制作转换构造函数）：

#include <list>
#include <boost/variant/recursive_wrapper.hpp>
#include <boost/spirit/include/qi.hpp>
#include <boost/spirit/include/support_extended_variant.hpp>

struct nil{};

template< typename F > struct expression;
template< typename F >
using expression_list = std::list< expression< F > >;

template< typename F >
using expression_base = boost::spirit::extended_variant<
           nil, 
           F, 
           boost::recursive_wrapper< expression_list< F > 
         > >;

template< typename F > 
struct expression : expression_base<F>
   {
       template <typename I>
           expression(I&& i) 
           : expression_base<F>(std::forward<I>(i)) 
       {}

       expression(std::initializer_list<F> l) 
           : expression_base<F>(expression_list<F>{l}) {}
   };


int main()
{
    auto v = expression<int> (42);
    v = expression<int> { 1, 2, 3, 42 };

    v = 43;
    v = { 2, 3, 4, 43 };
}
于 2013-04-27T12:05:26.500 回答