谁能告诉我为什么下面的断言失败了?
问题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永远不会求值。
https://stackoverflow.com/questions/44702046
复制相似问题