Boost C++ Libraries of the most highly regarded and expertly designed C++ library projects in the world. Herb Sutter and Andrei Alexandrescu, C++ Coding Standards

Front Page / Metafunctions / Bitwise Operations / bitxor_



      typename T1
    , typename T2
    , typename T3 = unspecified
    , typename Tn = unspecified
struct bitxor_
    typedef unspecified type;


Returns the result of bitwise xor (^) operation of its arguments.


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

Model of

Numeric Metafunction


Parameter Requirement Description
T1, T2,... Tn Integral Constant Operation's arguments.

[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 c1,c2,... cn:

typedef bitxor_<c1,>::type r;
Return type:

Integral Constant.


Equivalent to

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

typedef bitxor_<c,c3,>::type r;
typedef bitxor_<c1,> r;
Return type:

Integral Constant.


Equivalent to

struct r : bitxor_<c1,>::type {};


Amortized constant time.


typedef integral_c<unsigned,0> u0;
typedef integral_c<unsigned,1> u1;
typedef integral_c<unsigned,2> u2;
typedef integral_c<unsigned,8> u8;
typedef integral_c<unsigned,0xffffffff> uffffffff;

BOOST_MPL_ASSERT_RELATION( (bitxor_<u0,u0>::value), ==, 0 );
BOOST_MPL_ASSERT_RELATION( (bitxor_<u1,u0>::value), ==, 1 );
BOOST_MPL_ASSERT_RELATION( (bitxor_<u0,u1>::value), ==, 1 );

BOOST_MPL_ASSERT_RELATION( (bitxor_<u0,uffffffff>::value), ==, 0xffffffff ^ 0 );
BOOST_MPL_ASSERT_RELATION( (bitxor_<u1,uffffffff>::value), ==, 0xffffffff ^ 1 );
BOOST_MPL_ASSERT_RELATION( (bitxor_<u8,uffffffff>::value), ==, 0xffffffff ^ 8 );

See also

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