Front Page / Sequences / Intrinsic Metafunctions / has_key

# has_key

### Synopsis

    template<
          typename Sequence
        , typename Key
        >
    struct has_key
    {
        typedef unspecified type;
    };

### Description

Returns a true-valued Integral Constant if `Sequence` contains an element with key `Key`.

### Header

    #include <boost/mpl/has_key.hpp>

### Model of

Tag Dispatched Metafunction

### Parameters

Parameter | Requirement | Description
--- | --- | ---
`Sequence` | Associative Sequence | A sequence to query.
`Key` | Any type | The queried key.

### Expression semantics

For any Associative Sequence `s`, and arbitrary type `key`:

    typedef has_key<s,key>::type c;

Return type: | Boolean Integral Constant.
Semantics: | `c::value == true` if `key` is in `s`'s set of keys; otherwise `c::value == false`.

### Complexity

Amortized constant time.

### Example

    typedef map< pair<int,unsigned>, pair<char,long> > m;
    BOOST_MPL_ASSERT_NOT(( has_key<m,long> ));

    typedef insert< m, pair<long,unsigned long> > m1;
    BOOST_MPL_ASSERT(( has_key<m1,long> ));

### See also

Associative Sequence, `count`, `insert`, `erase_key`