从mpl：：mpl::vector<>生成键的映射

Question

谁能告诉我为什么下面的断言失败了？

问题1：

   typedef mpl::map<mpl::pair<int, unsigned>, mpl::pair<char, unsigned char> > m;
   typedef mpl::fold<m, mpl::vector<>, mpl::push_back<mpl::_1, mpl::first<mpl::_2>>>::type keys; 
   BOOST_STATIC_ASSERT((std::is_same<boost::mpl::vector<int, char>, keys>::value == 1));

问题2:如果我想编写一个折叠函数来生成mpl::vector的mpl：：vector，那么我应该如何编写它呢？

template <typename T>
pointer_type {
    typedef T*  pointer_type;
}
       typedef mpl::fold<m, mpl::vector<>, mpl::push_back<mpl::_1, pointer_type<mpl::first<mpl::_2>>>::type>::pointer_type
> keys; 

看起来不管用。mpl::_2永远不会求值。

Answer 1

与前C++11时代相比，mpl::vector是一种更方便的类型。mpl::push_back操作返回的不是这样的向量，而是一个无需可变模板即可增长的序列。

This小测试程序演示了返回的内容。

可以在this answer中找到详细的解释。