Question

理想情况下，我想声明以下类型：

using action_t = std::function< std::vector< action_t >(void) >

这是一个返回后续thunks向量的thunk。我能够使用来自Recursive typedef function definition : std::function returning its own type：

的信息来实现这一目标

struct RecursiveHelper                                                                                                                                     
{                                                                                                                                                          
  typedef std::vector<RecursiveHelper> rtype;                                                                                                              
  typedef std::function< rtype (void) > ftype;                                                                                                             
  RecursiveHelper( ftype f ) : func(f) {}                                                                                                                  
  rtype operator()() const { return func(); }                                                                                                              
  operator ftype () { return func; }                                                                                                                       
  ftype func;                                                                                                                                              
};                                                                                                                                                         

using action_t = RecursiveHelper;                                                                                                                          
using actions_t = std::vector<RecursiveHelper>;

但是，要将这些东西推到堆栈上，我必须做这样的事情：

std::stack<action_t> stack;                                                                                                                            

stack.push(RecursiveHelper([&visitor, &node](void){                                                                                                    
    return visitor.visitNode(node);                                                                                                                    
    }));

理想情况下，我想避免在使用这些内容的代码中提及RecursiveHelper，如果他们想要一堆action_t，他们应该能够将符合lambda的内容直接推到它上面。

有没有办法实现这个目标？

Answer 1

编写一个构造函数，该构造函数接受任何可转换为ftype而不是RecursiveHelper的函数对象：

template<class F, class = std::enable_if_t<std::is_convertible<F, ftype>::value &&
                          !std::is_same<RecursiveHelper, std::decay_t<F>>::value>>
RecursiveHelper( F&& f ) : func(std::forward<F>(f)) {}

对于C ++ 11，将something_t<...>替换为typename something<...>::type。

C ++ std :: function返回它自己类型的向量（再次递归类型）

1 个答案: