我正在尝试创建一个包含给定类型列表排列的列表。
当我使用指定的列表而不是通过从实际输入中删除来生成新列表时,下面的代码似乎可以正常工作,尽管没有预期的结果。下面的 permutation_helper 和 broken_helper 之间的差异证明了这一点。
有谁知道为什么mpl::remove
在这种情况下似乎没有按预期运行?
#include <boost/mpl/list.hpp>
#include <boost/mpl/transform.hpp>
#include <boost/mpl/fold.hpp>
#include <boost/mpl/push_front.hpp>
#include <boost/mpl/joint_view.hpp>
#include <boost/mpl/remove.hpp>
#include <boost/mpl/assert.hpp>
#include <boost/mpl/equal.hpp>
namespace mpl = boost::mpl;
struct test_type1 {};
struct test_type2 {};
struct test_type3 {};
template< typename T >
struct permutations;
template <typename value>
struct permutations<mpl::list1< value > >: mpl::list1<mpl::list1< value > > {};
template< typename value, typename T>
struct permutation_helper:
mpl::transform< typename permutations<
mpl::list1<test_type3> >::type,
mpl::push_front< mpl::_1, value> > { };
template< typename value, typename T>
struct broken_helper:
mpl::transform< typename permutations<
mpl::remove<T, value> >::type,
mpl::push_front< mpl::_1, value> > { };
template< typename T >
struct permutations:
mpl::fold< T,
mpl::list0<>,
mpl::joint_view< mpl::_1,
broken_helper<mpl::_2, T > > > { };
typedef mpl::list2<test_type1, test_type2> typelist;
typedef permutations<typelist>::type perms;
int main() {
BOOST_MPL_ASSERT(( mpl::equal< perms, typelist > ));
return 0;
}
我使用断言来确定函数返回的内容,typelist 不是预期的结果。这是断言为 broken_helper 返回的消息:
testcase.cpp: In function ‘int main()’:
testcase.cpp:45: error: no matching function for call to ‘assertion_failed(mpl_::failed************ boost::mpl::equal<boost::mpl::joint_view<boost::mpl::joint_view<boost::mpl::list0<mpl_::na>, boost::mpl::l_end>, boost::mpl::l_end>, boost::mpl::list2<test_type1, test_type2>, boost::is_same<mpl_::arg<-0x00000000000000001>, mpl_::arg<-0x00000000000000001> > >::************)’
使用 permutation_helper 的输出是一个实际列表:
testcase.cpp: In function ‘int main()’:
testcase.cpp:45: error: no matching function for call to ‘assertion_failed(mpl_::failed************ boost::mpl::equal<boost::mpl::list2<test_type1, test_type2>, boost::mpl::joint_view<boost::mpl::joint_view<boost::mpl::list0<mpl_::na>, boost::mpl::l_item<mpl_::long_<1l>, boost::mpl::l_item<mpl_::long_<2l>, test_type1, boost::mpl::list1<test_type3> >, boost::mpl::l_end> >, boost::mpl::l_item<mpl_::long_<1l>, boost::mpl::l_item<mpl_::long_<2l>, test_type2, boost::mpl::list1<test_type3> >, boost::mpl::l_end> >, boost::is_same<mpl_::arg<-0x00000000000000001>, mpl_::arg<-0x00000000000000001> > >::************)’