boost :: mpl类型列表函数应用程序

时间:2011-12-29 17:44:34

标签: c++ boost-mpl typelist

我有一个函数,我想对类型列表中的所有类型执行(目前由mpl列表表示---这是否是一种合理的方法来处理它?)

这里的关键是函数只关心类型,而不关心实际数据;它调用该类型的静态函数来检索一些信息,然后将其推送到哈希表中供以后参考。

然而,据我所知,mpl没有办法做到这一点 - 我能找到的最接近的是mpl for_each运算符,但它似乎想要用于每个的实际实例化类型,而不是类型本身。

Loki库有一个“apply”函数,它或多或少是我正在寻找的东西 - 它通过将指向类型列表中的类型的指针作为参数来解决实例化问题,以帮助进行演绎,但是没有做完整的实例化。我应该在MPL中看到什么才能获得该功能?或者我错过了一些明显的东西?

3 个答案:

答案 0 :(得分:8)

您可以使用for_each "overload" with TransformOp来避免实例化类型:

struct functor
{
    template<class T> void operator()( mpl::identity<T> )
    {
        std::cout << typeid(T).name()  << '\n';
    }
};

mpl::for_each<types, mpl::make_identity<_> >( functor() );

答案 1 :(得分:3)

最简单的选择就是这样:

#include <boost/mpl/vector.hpp>
#include <boost/mpl/transform.hpp>
#include <boost/type_traits/add_pointer.hpp>
#include <boost/mpl/placeholders.hpp>
#include <boost/mpl/for_each.hpp>
#include <typeinfo>
#include <iostream>

struct functor{
    template<class T>
    void operator()(T*){
        std::cout << typeid(T).name()  << '\n';
    }
};

int main(){
    namespace mpl = boost::mpl;
    using namespace mpl::placeholders;
    typedef mpl::vector<char, int, float, bool> typelist;
    typedef mpl::transform<typelist, boost::add_pointer<_1>>::type ptypelist;
    mpl::for_each<ptypelist>(functor());
}

答案 2 :(得分:0)

在MPL中执行相同操作:使用boost::mpl::transform致电boost::add_pointer以制作指向您的类型的指针序列,然后使用boost::mpl::for_each