C++ murs recursivo :: ¿problema igual?

Question

necesito un procedimiento mpl :: igual que admite recursividad en tipos.

namespace mpl = boost::mpl; 

BOOST_MPL_ASSERT((mpl::equal< 
mpl::vector<int, char>, 
typename mpl::push_back<mpl::vector<int>, char>::type >)); // OK 

lo anterior compila bien, sin embargo, si lo uso en MPL :: transformar o MPL :: veces, Visual Studio 2010 RC1 se queja.

typedef mpl::vector< 
mpl::vector<int, char>, 
mpl::vector<char, char>> type_1; 
typedef mpl::transform< 
mpl::vector< 
    mpl::vector<int>, 
    mpl::vector<char>>, 
mpl::push_back<mpl::_, char>>::type type_2; 
BOOST_MPL_ASSERT((mpl::equal<type_1, type_2>)); // FAILS 

Sin embargo, estos trabajos ...

BOOST_MPL_ASSERT((mpl::equal< 
    typename mpl::at_c<type_1, 0>::type, 
    typename mpl::at_c<type_2, 0>::type>)); // OK 
BOOST_MPL_ASSERT((mpl::equal< 
    typename mpl::at_c<type_1, 1>::type, 
    typename mpl::at_c<type_2, 1>::type>)); // OK 

no es lo que MPL :: igual no funciona en tipos recursivos generadas dinámicamente, o es algo malo en mi sintaxis?

cualquier consejo sería muy apreciado.

Answer 1

mpl::transform no crea mpl::vector<> 's en su caso pero mpl::vector2<>' s. Estos son tipos diferentes, incluso si son semánticamente equivalentes. Por lo tanto, si escribe:

typedef mpl::vector2< 
    mpl::vector2<int, char>, mpl::vector2<char, char> 
> type_1; 

typedef mpl::transform< 
    mpl::vector<mpl::vector<int>, mpl::vector<char> > 
    , mpl::push_back<mpl::_, char> 
>::type type_2; 

BOOST_MPL_ASSERT((mpl::equal<type_1, type_2>)); 

la afirmación no se activará.