सी ++ रिकर्सिव एमपीएल :: बराबर समस्या?

Question

मुझे एक एमपीएल :: समान प्रक्रिया की तरह आवश्यकता है जो प्रकारों पर रिकर्सन का समर्थन करता है।

namespace mpl = boost::mpl; 

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

ऊपर ठीक संकलित, हालांकि अगर मैं एमपीएल में इसका इस्तेमाल :: बदलने या एमपीएल :: गुना, विजुअल स्टूडियो 2010 RC1 शिकायत।

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 

हालांकि, ये काम ...

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 

यह है कि एमपीएल :: बराबर गतिशील रूप से उत्पन्न पुनरावर्ती प्रकार पर काम नहीं करता है कि वहाँ कुछ मेरी वाक्य रचना के साथ गलत है, या है?

किसी भी सलाह की सराहना की जाएगी।

Answer 1

mpl::transform आपके मामले में mpl::vector<> नहीं बना है लेकिन mpl::vector2<> है। ये अलग-अलग प्रकार हैं, भले ही वे अर्थात् समकक्ष हैं। तो यदि आप लिखते हैं:

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>)); 

जोर से आग नहीं लगेगी।