Front Page / Metafunctions / Arithmetic Operations / negate

# negate

### Synopsis

    template<
          typename T
        >
    struct negate
    {
        typedef unspecified type;
    };

### Description

Returns the negative (additive inverse) of its argument.

### Header

    #include <boost/mpl/negate.hpp>
    #include <boost/mpl/arithmetic.hpp>

### Model of

Numeric Metafunction

### Parameters

Parameter | Requirement | Description
--- | --- | ---
`T` | Integral Constant | Operation's argument.

[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 Constant `c`:

    typedef negate<c>::type r;

Return type: | Integral Constant.

Semantics:

Equivalent to

    typedef integral_c< c::value_type, ( -c::value ) > r;

    typedef negate<c> r;

Return type: | Integral Constant.

Semantics:

Equivalent to

    struct r : negate<c>::type {};

### Complexity

Amortized constant time.

### Example

    typedef negate< int_<-10> >::type r;
    BOOST_MPL_ASSERT_RELATION( r::value, ==, 10 );
    BOOST_MPL_ASSERT(( is_same< r::value_type, int > ));

### See also

Arithmetic Operations, Numeric Metafunction, `numeric_cast`, `plus`, `minus`, `times`