and_

Synopsis

template<
      typename F1
    , typename F2
    ...
    , typename Fn = unspecified
    >
struct and_
{
    typedef unspecified type;
};

Description

Возвращает результат операции короткого замыкания логического и (&&) по своим аргументам.

Header

#include <boost/mpl/and.hpp>
#include <boost/mpl/logical.hpp>

Parameters

Parameter	Requirement	Description
`F1`, `F2`, ...`Fn`	Нулевая Метафункция	Аргументы операции.

Expression semantics

Для произвольных нуляров Метафункция f1, f2,... fn:

typedef and_<f1,f2,...,fn>::type r;

Return type:	Integral Constant.
Semantics:	`r` is `false_` if either of `f1::type::value`, `f2::type::value`,... `fn::type::value` expressions evaluates to `false`, and `true_` otherwise; guarantees left-to-right evaluation; the operands subsequent to the first `f`i metafunction that evaluates to `false` are not evaluated.

typedef and_<f1,f2,...,fn> r;

Return type:

Integral Constant.

Semantics:

Equivalent to

struct r : and_<f1,f2,...,fn>::type {};

Example

struct unknown;
BOOST_MPL_ASSERT(( and_< true_,true_ > ));
BOOST_MPL_ASSERT_NOT(( and_< false_,true_ > ));
BOOST_MPL_ASSERT_NOT(( and_< true_,false_ > ));
BOOST_MPL_ASSERT_NOT(( and_< false_,false_ > ));
BOOST_MPL_ASSERT_NOT(( and_< false_,unknown > )); // OK
BOOST_MPL_ASSERT_NOT(( and_< false_,unknown,unknown > )); // OK too

The MPL Reference Manual: and_

Boost , ,

Boost C++ Libraries

and_

Synopsis

Description

Header

Parameters

Expression semantics

Example

See also