Question

我有以下代码：

#include <boost/mpl/list_c.hpp>
#include <boost/mpl/transform.hpp>
#include <boost/mpl/plus.hpp>
#include <boost/mpl/equal.hpp>
#include <boost/mpl/equal_to.hpp>
#include <boost/mpl/assert.hpp>
#include <iostream>
#include <typeinfo>
#include <assert.h>

using namespace boost::mpl;

typedef list_c<long,0,2,4,6,8,10> evens;
typedef list_c<long,2,3,5,7,11,13> primes;
typedef list_c<long,2,5,9,13,19,23> sums;

typedef transform< evens, primes, plus<> >::type result;
BOOST_MPL_ASSERT(( equal< result,sums,equal_to<_1,_2> > ));

int main()
{
    std::cout << typeid(sums).name() << std::endl << typeid(result).name() << std::endl;
    assert(typeid(sums) == typeid(result));
}

它编译，所以BOOST_MPL_ASSERT成立。但是，在运行它时，main函数中的断言失败。这是什么意思？难道不是两个list_c的东西（我似乎缺少正确的单词）包含相同的元素定义相同的类型？

感谢您的帮助。

Answer 1

MPL不对MPL算法产生的确切类型做出任何保证。

Answer 2

transform输出未指定的序列类型（integral_c<long, n>元素），而不是list_c。

将transform的结果转换为已知类型的一种方法是在insert_range上使用list：

insert_range<list0<>, begin<list0<> >::type, result>::type

不幸的是，这不会产生list，而是内部mpl::l_item类型，所以你必须在双方都做同样的操作：

BOOST_MPL_ASSERT((is_same<
      insert_range<list0<>, begin<list0<> >::type, result>::type,
      insert_range<list0<>, begin<list0<> >::type, sums>::type>));

等效地，您可以将reverse_copy用于前插件：

BOOST_MPL_ASSERT((is_same<
      reverse_copy<result, front_inserter<list0<> > >::type,
      reverse_copy<sums, front_inserter<list0<> > >::type
      >));

确实，因为front_inserter是根据内在元函数push_front实现的，所以它产生与insert_range相同的类型。

然而，依靠copy始终产生相同的未指定序列类型更容易：

BOOST_MPL_ASSERT((is_same<copy<result>::type, copy<sums>::type>));

由于copy是一种转换算法，它返回与transform相同的类型，因此您只需编写：

BOOST_MPL_ASSERT((is_same<result, copy<sums>::type>));

assert(typeid(copy<sums>::type) == typeid(result));

BOOST MPL添加两个list_c对象会导致意外行为

2 个答案: