c++递归 mpl::equal 问题？

Question

我需要一个 mpl::equal 类似的过程来支持类型递归。

namespace mpl = boost::mpl;

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

上面的编译很好，但是如果我在 mpl::transform 或 mpl::fold 中使用它，Visual Studio 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

是 mpl::equal 不适用于动态生成的递归类型，还是我的语法有问题？

任何建议将不胜感激。

Answer 1

mpl::transform 在您的情况下不会创建 mpl::vector<>，但会创建 mpl::vector2<>' s。这些是不同的类型，即使它们在语义上是等效的。因此，如果你写：

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

断言将不会触发。