Увеличить список шаблонов MPL - PullRequest
Новая
       27

Увеличить список шаблонов MPL

6 голосов
/ 05 мая 2011

Я хочу взять список шаблонов классов , T 1 , T 2 , ... 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;

Как я могу заставить его работать?

Ответы [ 2 ]

3 голосов
/ 06 мая 2011

Вы хотите что-то вроде этого: 

#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> > ));
0 голосов
/ 05 мая 2011

Я думаю, вы хотите это: 

#include <boost/mpl/list.hpp>
#include <boost/mpl/transform.hpp>

using namespace boost;
using mpl::_1;

template<typename T>
struct Test {};
struct T1 {};
struct T2 {};
struct T3 {};
struct T4 {};

template<template <class> class T>
struct ApplyParameterA
{
    template<typename A>
    struct apply
    {
        typedef T<A> type;
    };
};

typedef mpl::transform<
             mpl::list<T1, T2, T3, T4>,
             mpl::apply1<ApplyParameterA<Test>, _1>
        > TypeList;

это сделает 

mpl::list<Test<T1>, Test<T2>, Test<T3>, Test<T4>>

в TypeList

...