使用 boost mpl pop_front

发布于 2024-12-12 21:45:27 字数 426 浏览 2 评论 0原文

有：

#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<短，整数，长，长长>但是： boost::mpl::v_mask<升压::mpl::向量<字符，短，整数，长，长长>>

我该如何让它返回没有第一个元素的向量？

原文

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;
}

the problem is that poped is not equal to boost::mpl::vector< short,int,long,long long > but to: boost::mpl::v_mask< boost::mpl::vector< char,short,int,long,long long>>

How shall I make it to return vector without first element?

分享到QQ

分享到微博

如果你对这篇内容有疑问，欢迎到本站社区发帖提问参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。

发布评论

需要登录才能够评论，你可以免费注册一个本站的账号。

鹿! 2024-12-19 21:45:27

也许 mpl::equal 可以帮助您澄清为什么这根本不重要。

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

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

这就是您真正需要的；-)

Maybe mpl::equal can help you clarify why this doesn't really matter at all.

Just make sure it's equal, but not necessarily the same.

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

That is all you really need ;-)

回复收藏 0 原文

甜警司 2024-12-19 21:45:27

我不确定使用 MPL 功能是否可以实现这一点。即使您尝试使用 copy 和 back_inserter 将 poped 复制到 vector 中，您也会再次获得一个类型这并不是真正的向量。这是设计使然：就像在 Boost.Fusion 中一样，MPL 的算法和元函数返回原始序列的视图，提供惰性评估。这些视图可以像原始序列一样使用，因此您不必担心它们的实际类型是什么，只需将它们当作向量（或列表，或地图等）。