Synopsis

template<
      typename T1
    , typename T2
    , typename T3 = unspecified
    ...
    , typename Tn = unspecified
    >
struct bitand_
{
    typedef unspecified type;
};

Description

Returns the result of bitwise and (&) operation of its arguments.

Header

#include <boost/mpl/bitand.hpp>
#include <boost/mpl/bitwise.hpp>

Model of

Numeric Metafunction

Parameters

[Note: The requirements listed in this specification are the ones imposed by the default implementation. See Numeric Metafunction concept for the details on how to provide an implementation for a user-defined numeric type that does not satisfy the Integral Constant requirements. — end note]

Expression semantics

For any Integral Constants c₁,c₂,... c_n:

typedef bitand_...cn>::type r;

typedef integral_c<
      typeof(c1::value & c2::value)
    , ( c1::value & c2::value )
    > c;

typedef bitand_...cn>::type r;

typedef bitand_...cn> r;

struct r : bitand_...cn>::type {};

Complexity

Amortized constant time.

Example

typedef integral_c u0;
typedef integral_c u1;
typedef integral_c u2;
typedef integral_c u8;
typedef integral_c uffffffff;

BOOST_MPL_ASSERT_RELATION( (bitand_::value), ==, 0 );
BOOST_MPL_ASSERT_RELATION( (bitand_::value), ==, 0 );
BOOST_MPL_ASSERT_RELATION( (bitand_::value), ==, 0 );
BOOST_MPL_ASSERT_RELATION( (bitand_::value), ==, 0 );
BOOST_MPL_ASSERT_RELATION( (bitand_::value), ==, 1 );
BOOST_MPL_ASSERT_RELATION( (bitand_::value), ==, 8 );

See also

Bitwise Operations, Numeric Metafunction, numeric_cast, bitor_, bitxor_, shift_left