boost::mpl typelist函数应用

Question

我有一个函数，我想对类型列表中的所有类型执行（当前由 mpl 列表表示——这是否是实现它的合理方法？）

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

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

Loki 库有一个“apply”函数，这或多或少正是我所寻找的——它通过将指向类型列表中类型的指针作为参数传递来帮助推导，从而解决了实例化问题，但没有执行完整实例化。为了获得该功能，我应该在 MPL 中查看什么？或者我错过了一些明显的东西？

Answer 1

您可以将 for_each “重载”与 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::add_pointer 调用 boost::mpl::transform 来创建指向您的类型的指针序列，然后使用 boost::mpl::for_each。