Synopsis

template<
      typename X
    , typename Tag = unspecified
    >
struct lambda
{
    typedef unspecified type;
};

Description

If X is a Placeholder Expression, transforms X into a corresponding Metafunction Class, otherwise X is returned unchanged.

Header

#include <boost/mpl/lambda.hpp>

Parameters

Expression semantics

For arbitrary types x and tag:

typedef lambda::type f;

typedef protect< bind<
      quoten
    , lambda::type,... lambdan>::type
    > > f;

typedef lambda::type f;

typedef protect< bind<
      quoten
    , lambda::type,... lambdan,tag>::type
    > > f;

Example

template< typename N1, typename N2 > struct int_plus
    : int_<( N1::value + N2::value )>
{
};

typedef lambda< int_plus<_1, int_<42> > >::type f1;
typedef bind< quote2, _1, int_<42> > f2;

typedef f1::apply<42>::type r1;
typedef f2::apply<42>::type r2;

BOOST_MPL_ASSERT_RELATION( r1::value, ==, 84 );
BOOST_MPL_ASSERT_RELATION( r2::value, ==, 84 );

See also

Composition and Argument Binding, invocation, Placeholders, bind, quote, protect, apply