提升MPL模板列表

Question

我想获取类模板列表,T ₁,T ₂,... T _N并列出一个MPL类列表,其中每个模板都使用相同的参数进行实例化.

boost::mpl::list 不能与模板模板参数列表一起使用,只能使用常规类型参数.

所以以下方法不起作用:

class A { ... };

template<template <class> class T>
struct ApplyParameterA
{
    typedef T<A> Type;
}

typedef boost::mpl::transform<
    boost::mpl::list<
        T1, T2, T3, T4, ...
    >,
    ApplyParameterA<boost::mpl::_1>::Type
> TypeList;

我怎样才能使它工作？

Answer 1

你想要这样的东西：

#include <boost/mpl/list.hpp>
#include <boost/mpl/apply_wrap.hpp>
#include <boost/mpl/transform.hpp>
#include <boost/mpl/equal.hpp>
#include <boost/mpl/assert.hpp>

using namespace boost::mpl;

template< typename U > class T1 {};
template< typename U > class T2 {};
template< typename U > class T3 {};

class MyClass;

typedef transform< 
      list< T1<_1>, T2<_1>, T3<_1> >
    , apply1<_1,MyClass>
    >::type r;

BOOST_MPL_ASSERT(( equal< r, list<T1<MyClass>,T2<MyClass>,T3<MyClass> > ));