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

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 算法产生的确切类型做出任何保证。