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

quoten is a higher-order primitive that wraps an n-ary Metafunction to create a corresponding Metafunction Class.

Header

#include <boost/mpl/quote.hpp>

Model of

Metafunction Class

Parameters

Parameter	Requirement	Description
`F`	Metafunction	A metafunction to wrap.
`Tag`	Any type	A tag determining wrap semantics.

Expression semantics

For any n-ary Metafunction f and arbitrary type tag:

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

Return type:

Return type:	Metafunction Class
Semantics:	Equivalent to struct g { template< typename A1,... typename An > struct apply : f<A1,...An> { }; }; if `f<A1,...An>` has a nested type member `::type`, and to struct g { template< typename A1,... typename An > struct apply { typedef f<A1,...An> type; }; }; otherwise.

Metafunction Class

Semantics:

Equivalent to

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

if f<A1,...An> has a nested type member ::type, and to

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