Question

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

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

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

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

Answer 1

您可以使用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() );

Answer 2

最简单的选择就是这样：

#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());
}

Answer 3

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

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

3 个答案: