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

我有以下代码:

#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的东西(我似乎缺少正确的单词)包含相同的元素定义相同的类型?

谢谢您的帮助.

最佳答案 MPL不对MPL算法产生的确切类型做出任何保证.

点赞