Using boost mpl pop_front

Question

Having:

#include <typeinfo>
#include <boost/mpl/vector.hpp>
#include <boost/mpl/pop_front.hpp>
int main()
{
    typedef boost::mpl::vector<char,short,int,long,long long> v;
    typedef typename pop_front<v>::type poped;
}

问题是poped不等于boost::mpl::vector but to: boost::mpl::v_mask>

如何使它返回没有第一个元素的向量?

Answer 1

也许mpl::equal可以帮助你澄清为什么这并不重要。

确保它们相等，但不一定相同。

BOOST_MPL_ASSERT((mpl::equal<
    typename pop_front<v>::type,
    mpl::vector<short,int,long,long long>
>));

这就是你真正需要的;-)

Answer 2

我不确定这是否可能使用MPL功能。即使您尝试使用copy和back_inserter将poped复制到vector中，您将再次获得一个不是真正的vector的类型。这是经过设计的:就像Boost一样。融合、MPL的算法和元函数返回原始序列的视图，提供延迟求值。这些视图可以像原始序列一样使用，所以您不应该担心它们的实际类型是什么，只需像使用vector(或list s，或map s等)一样使用它们。