1

我正在尝试使用 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);
4

1 回答 1

1

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

于 2012-06-26T05:27:53.677 回答