我有以下代码:
#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算法产生的确切类型做出任何保证.