Front Page / Metafunctions / Composition and Argument Binding / quote

# 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

`quote` n 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: | 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> > ));

### See also

Composition and Argument Binding, invocation, bind, lambda, protect, apply