增强融合变换类型操作和as_vector

Boost Fusion transform type manipulation and as_vector

本文关键字：as vector 操作 融合 变换 类型 增强      更新时间：2023-10-16

我试图理解使用Fusion的意义，并被这个简单的例子难住了：

#include <boost/fusion/include/is_sequence.hpp>
#include <boost/fusion/include/as_vector.hpp>
#include <boost/fusion/include/make_vector.hpp>
#include <boost/fusion/include/transform.hpp>
template< typename T >
struct S {
    typedef T type;
};
struct S_f {
    template< typename T >
    struct result {
        typedef typename T::type type;
    };
};
int main () {
    using namespace boost;
    typedef fusion::vector<S<int>> from_type;
    BOOST_MPL_ASSERT((fusion::traits::is_sequence< fusion::vector< int > > ));
    typedef fusion::result_of::transform< from_type, S_f >::type to_type;
    BOOST_MPL_ASSERT((fusion::traits::is_sequence< to_type > ));
    typedef fusion::result_of::as_vector< to_type >::type value_type; // error
}

断言通过，但 value_type 的类型定义失败，并显示以下错误。我无法资助代码和文档之间的任何差异，也无法在堆栈溢出或提升邮件列表的其他地方采取补救措施。

AFAICT 代码是正确的：应用转换元函数的结果是一个transform_view，transform_view是一个序列，如传递断言所示。然而，as_vector元函数在transform_view上的应用失败了。什么给？！

任何帮助，不胜感激。我对混合 mpl 不感兴趣。我知道我可以绕道 MPL，SO 上的一些关于类型操作的融合问题都有提倡 MPL 的答案。根据文档，我不需要MPL。

clang++ -std=c++1z -c t.cpp
In file included from main.cpp:4:
In file included from /usr/local/include/boost/fusion/include/transform.hpp:11:
In file included from /usr/local/include/boost/fusion/algorithm/transformation/transform.hpp:11:
In file included from /usr/local/include/boost/fusion/view/transform_view/transform_view.hpp:15:
In file included from /usr/local/include/boost/fusion/view/transform_view/transform_view_iterator.hpp:18:
/usr/local/include/boost/fusion/view/transform_view/detail/value_of_impl.hpp:37:74: error: no type named 'type' in 'boost::mpl::apply<boost::fusion::detail::apply_transform_result<S_f>, S<int>, mpl_::na, mpl_::na, mpl_::na, mpl_::na>'
                typedef typename mpl::apply<transform_type, value_type>::type type;
                        ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~
/usr/local/include/boost/fusion/iterator/value_of.hpp:52:15: note: in instantiation of template class 'boost::fusion::extension::value_of_impl<boost::fusion::transform_view_iterator_tag>::apply<boost::fusion::transform_view_iterator<boost::fusion::vector_iterator<boost::fusion::vector<S<int>, boost::fusion::void_, boost::fusion::void_, boost::fusion::void_, boost::fusion::void_, boost::fusion::void_, boost::fusion::void_, boost::fusion::void_, boost::fusion::void_, boost::fusion::void_>, 0>, S_f> >' requested here
            : extension::value_of_impl<typename detail::tag_of<Iterator>::type>::
              ^
/usr/local/include/boost/fusion/container/vector/detail/cpp03/preprocessed/as_vector10.hpp:19:49: note: in instantiation of template class 'boost::fusion::result_of::value_of<boost::fusion::transform_view_iterator<boost::fusion::vector_iterator<boost::fusion::vector<S<int>, boost::fusion::void_, boost::fusion::void_, boost::fusion::void_, boost::fusion::void_, boost::fusion::void_, boost::fusion::void_, boost::fusion::void_, boost::fusion::void_, boost::fusion::void_>, 0>, S_f> >' requested here
            typedef typename fusion::result_of::value_of<I0>::type T0;
                                                ^
/usr/local/include/boost/fusion/container/vector/convert.hpp:26:17: note: in instantiation of template class 'boost::fusion::detail::barrier::as_vector<1>::apply<boost::fusion::transform_view_iterator<boost::fusion::vector_iterator<boost::fusion::vector<S<int>, boost::fusion::void_, boost::fusion::void_, boost::fusion::void_, boost::fusion::void_, boost::fusion::void_, boost::fusion::void_, boost::fusion::void_, boost::fusion::void_, boost::fusion::void_>, 0>, S_f> >' requested here
                template apply<typename result_of::begin<Sequence>::type>::type
                ^
main.cpp:26:32: note: in instantiation of template class 'boost::fusion::result_of::as_vector<boost::fusion::transform_view<boost::fusion::vector<S<int>, boost::fusion::void_, boost::fusion::void_, boost::fusion::void_, boost::fusion::void_, boost::fusion::void_, boost::fusion::void_, boost::fusion::void_, boost::fusion::void_, boost::fusion::void_>, S_f, boost::fusion::void_> >' requested here
    typedef fusion::result_of::as_vector< to_type >::type value_type; // error
                               ^
1 error generated.

模板元编程的问题在于，当你不能满足元函数的前提条件时，你会得到很多无意义的错误。对transform的要求是F是一元多态函数对象。文档中对内容的解释有点弱，但您可以从示例中看出：这是一个可以使用参数调用的对象。也就是说，result_of<F(T)>::type需要格式良好。

您要传递给transform的是：

struct S_f {
    template< typename T >
    struct result {
        typedef typename T::type type;
    };
};

这不是多态函数对象。它也不是元函数类。这不是Boost.Fusion和Boost.MPL能够理解的。特别令人困惑的是，transform<>元函数是惰性的 - 所以看起来你正确地完成了这部分。只有在as_vector<>中才实际应用转换，因此看起来这就是失败点所在。

若要将其转换为多态函数对象，只需将嵌套的result类模板更改为调用运算符：

struct S_f {
    template< typename T >
    typename T::type operator()(T );
};

不需要定义，因为你实际上并没有调用它。通过该修复，您的代码将编译。

相关文章：