quote

Synopsis

template<
      template< typename P1 > class F
    , typename Tag = unspecified
    >
struct quote1
{
    // unspecified
    // ...
};
...
template<
      template< typename P1,... typename Pn > class F
    , typename Tag = unspecified
    >
struct quoten
{
    // unspecified
    // ...
};

Description

цитатаnявляется примитивным более высокого порядка, который обертываетn-aryМетафункциядля создания соответствующейКласс метафункций.

Header

#include <boost/mpl/quote.hpp>

Model of

Класс метафункций

Parameters

Parameter	Requirement	Description
`F`	Метафункция	Метафункция для обертывания.
`Таг`	Любой тип	Тег, определяющий семантику обертывания.

Expression semantics

Для любогоn-aryМетафункцияfи произвольный типтег:

typedef quoten<f> g;
typedef quoten<f,tag> g;

Return type:

Класс метафункций

Semantics:

Equivalent to

struct g
{
    template< typename A1,... typename An > struct apply
        : f<A1,...An>
    {
    };
};

Еслиfимеет член вложенного типа::type, и

struct g
{
    template< typename A1,... typename An > struct apply
    {
        typedef f<A1,...An> type;
    };
};

otherwise.

Example

template< typename T > struct f1
{
    typedef T type;
};
template<
    typename T1, typename T2, typename T3, typename T4, typename T5
    >
struct f5
{
    // no 'type' member!
};
typedef quote1<f1>::apply<int>::type t1;
typedef quote5<f5>::apply<char,short,int,long,float>::type t5;
BOOST_MPL_ASSERT(( is_same< t1, int > ));
BOOST_MPL_ASSERT(( is_same< t5, f5<char,short,int,long,float> > ));

The MPL Reference Manual: quote

Boost , ,

Boost C++ Libraries