Question

我正在尝试使用Boost :: Fusion将函数的参数类型列表转换为fusion :: list。最后，我试图将变量列表转换为可以调用函数的参数（http://stackoverflow.com/questions/11164914/generating-wrappings-for-c-functions）。

我已经将这个用于非引用变量。但是，当我尝试转换函数的参数列表时，它无法编译非引用变量（特别是在fusion :: to_list上它抱怨它不能解析迭代器）。

我已将代码简化为以下内容：

struct identity {
  template<typename Sig> struct result;

  template <typename T>
  struct result<convert(T)> { typedef T type; };

  template <typename T>
  typename T operator ()(T) const { 
     return T();
  }
};

int main(int argc, char **argv) {
  typedef BOOST_TYPEOF(foo) params_type;
  auto seq = function_types::parameter_types<params_type>();
  auto transformed = fusion::transform(seq, identity());
  auto passedParams = fusion::as_list(transformed);
}

如果foo定义为：

int foo(int a) { return 5*a; }

它工作正常，但它打破了：

int foo(int &a) { return 5*a; }

出于我的代码的目的，我实际上并不需要保留在序列中的引用，我假设是问题（同样，我已经完成的搜索倾向于指出它是罪魁祸首）。但是，我不完全确定在调用transformed之前如何去除这些引用的as_list函数。

我尝试了以下几点：

template <typename T>
struct result<convert(T)>: remove_reference<T> {};

template <typename T>
typename remove_reference<T>::type operator ()(remove_reference<T>::type) const { return typename remove_reference<T>::type(); }

但得到了相同的编译错误。

有关如何解决此问题的任何想法？

更新

对于上面给出的两种情况，我得到的截断编译器错误（使用clang ++ --std = c ++ 0x）：

/usr/local/include/boost/fusion/adapted/mpl/mpl_iterator.hpp:43:24: error: 
      reference to type 'int' requires an initializer
                return type();
                       ^
/usr/local/include/boost/fusion/iterator/deref.hpp:61:28: note: in instantiation
  of member function
  'boost::fusion::mpl_iterator<boost::mpl::v_iter<boost::function_types::parameter_types<void
  (int &), boost::add_reference<mpl_::arg<-1> > >, 0>
  >::deref<boost::fusion::mpl_iterator<boost::mpl::v_iter<boost::function_types::parameter_types<void
  (int &), boost::add_reference<mpl_::arg<-1> > >, 0> > >::call' requested
  here
    return deref_meta::call(i);

...

test4.cpp:65:22: note: in instantiation of function template specialization
  'boost::fusion::as_list<boost::fusion::transform_view<const
  boost::function_types::parameter_types<void (int &),
  boost::add_reference<mpl_::arg<-1> > >, convert, boost::fusion::void_> >'
  requested here
    auto passedParams = fusion::as_list(transformed);

Answer 1

如果您的编译器兼容C ++ 11，您可能需要查看`std::remove_reference函数。或者至少尝试找到它的实现并用作制作自己的参考。

摆脱boost :: fusion序列中的引用

1 个答案: