ad5598305f
MK_LIBCPLUSPLUS=yes to enable). This is a work-in-progress. It works for me, but is not guaranteed to work for anyone else and may eat your dog. To build C++ using libc++, add -stdlib=libc++ to your CXX and LD flags. Bug reports welcome, bug fixes even more welcome... Approved by: dim (mentor)
1932 lines
70 KiB
C++
1932 lines
70 KiB
C++
// -*- C++ -*-
|
|
//===----------------------------- map ------------------------------------===//
|
|
//
|
|
// The LLVM Compiler Infrastructure
|
|
//
|
|
// This file is dual licensed under the MIT and the University of Illinois Open
|
|
// Source Licenses. See LICENSE.TXT for details.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#ifndef _LIBCPP_MAP
|
|
#define _LIBCPP_MAP
|
|
|
|
/*
|
|
|
|
map synopsis
|
|
|
|
namespace std
|
|
{
|
|
|
|
template <class Key, class T, class Compare = less<Key>,
|
|
class Allocator = allocator<pair<const Key, T>>>
|
|
class map
|
|
{
|
|
public:
|
|
// types:
|
|
typedef Key key_type;
|
|
typedef T mapped_type;
|
|
typedef pair<const key_type, mapped_type> value_type;
|
|
typedef Compare key_compare;
|
|
typedef Allocator allocator_type;
|
|
typedef typename allocator_type::reference reference;
|
|
typedef typename allocator_type::const_reference const_reference;
|
|
typedef typename allocator_type::pointer pointer;
|
|
typedef typename allocator_type::const_pointer const_pointer;
|
|
typedef typename allocator_type::size_type size_type;
|
|
typedef typename allocator_type::difference_type difference_type;
|
|
|
|
typedef implementation-defined iterator;
|
|
typedef implementation-defined const_iterator;
|
|
typedef std::reverse_iterator<iterator> reverse_iterator;
|
|
typedef std::reverse_iterator<const_iterator> const_reverse_iterator;
|
|
|
|
class value_compare
|
|
: public binary_function<value_type, value_type, bool>
|
|
{
|
|
friend class map;
|
|
protected:
|
|
key_compare comp;
|
|
|
|
value_compare(key_compare c);
|
|
public:
|
|
bool operator()(const value_type& x, const value_type& y) const;
|
|
};
|
|
|
|
// construct/copy/destroy:
|
|
map()
|
|
noexcept(
|
|
is_nothrow_default_constructible<allocator_type>::value &&
|
|
is_nothrow_default_constructible<key_compare>::value &&
|
|
is_nothrow_copy_constructible<key_compare>::value);
|
|
explicit map(const key_compare& comp);
|
|
map(const key_compare& comp, const allocator_type& a);
|
|
template <class InputIterator>
|
|
map(InputIterator first, InputIterator last,
|
|
const key_compare& comp = key_compare());
|
|
template <class InputIterator>
|
|
map(InputIterator first, InputIterator last,
|
|
const key_compare& comp, const allocator_type& a);
|
|
map(const map& m);
|
|
map(map&& m)
|
|
noexcept(
|
|
is_nothrow_move_constructible<allocator_type>::value &&
|
|
is_nothrow_move_constructible<key_compare>::value);
|
|
explicit map(const allocator_type& a);
|
|
map(const map& m, const allocator_type& a);
|
|
map(map&& m, const allocator_type& a);
|
|
map(initializer_list<value_type> il, const key_compare& comp = key_compare());
|
|
map(initializer_list<value_type> il, const key_compare& comp, const allocator_type& a);
|
|
~map();
|
|
|
|
map& operator=(const map& m);
|
|
map& operator=(map&& m)
|
|
noexcept(
|
|
allocator_type::propagate_on_container_move_assignment::value &&
|
|
is_nothrow_move_assignable<allocator_type>::value &&
|
|
is_nothrow_move_assignable<key_compare>::value);
|
|
map& operator=(initializer_list<value_type> il);
|
|
|
|
// iterators:
|
|
iterator begin() noexcept;
|
|
const_iterator begin() const noexcept;
|
|
iterator end() noexcept;
|
|
const_iterator end() const noexcept;
|
|
|
|
reverse_iterator rbegin() noexcept;
|
|
const_reverse_iterator rbegin() const noexcept;
|
|
reverse_iterator rend() noexcept;
|
|
const_reverse_iterator rend() const noexcept;
|
|
|
|
const_iterator cbegin() const noexcept;
|
|
const_iterator cend() const noexcept;
|
|
const_reverse_iterator crbegin() const noexcept;
|
|
const_reverse_iterator crend() const noexcept;
|
|
|
|
// capacity:
|
|
bool empty() const noexcept;
|
|
size_type size() const noexcept;
|
|
size_type max_size() const noexcept;
|
|
|
|
// element access:
|
|
mapped_type& operator[](const key_type& k);
|
|
mapped_type& operator[](key_type&& k);
|
|
|
|
mapped_type& at(const key_type& k);
|
|
const mapped_type& at(const key_type& k) const;
|
|
|
|
// modifiers:
|
|
template <class... Args>
|
|
pair<iterator, bool> emplace(Args&&... args);
|
|
template <class... Args>
|
|
iterator emplace_hint(const_iterator position, Args&&... args);
|
|
pair<iterator, bool> insert(const value_type& v);
|
|
template <class P>
|
|
pair<iterator, bool> insert(P&& p);
|
|
iterator insert(const_iterator position, const value_type& v);
|
|
template <class P>
|
|
iterator insert(const_iterator position, P&& p);
|
|
template <class InputIterator>
|
|
void insert(InputIterator first, InputIterator last);
|
|
void insert(initializer_list<value_type> il);
|
|
|
|
iterator erase(const_iterator position);
|
|
size_type erase(const key_type& k);
|
|
iterator erase(const_iterator first, const_iterator last);
|
|
void clear() noexcept;
|
|
|
|
void swap(map& m)
|
|
noexcept(
|
|
__is_nothrow_swappable<key_compare>::value &&
|
|
(!allocator_type::propagate_on_container_swap::value ||
|
|
__is_nothrow_swappable<allocator_type>::value));
|
|
|
|
// observers:
|
|
allocator_type get_allocator() const noexcept;
|
|
key_compare key_comp() const;
|
|
value_compare value_comp() const;
|
|
|
|
// map operations:
|
|
iterator find(const key_type& k);
|
|
const_iterator find(const key_type& k) const;
|
|
size_type count(const key_type& k) const;
|
|
iterator lower_bound(const key_type& k);
|
|
const_iterator lower_bound(const key_type& k) const;
|
|
iterator upper_bound(const key_type& k);
|
|
const_iterator upper_bound(const key_type& k) const;
|
|
pair<iterator,iterator> equal_range(const key_type& k);
|
|
pair<const_iterator,const_iterator> equal_range(const key_type& k) const;
|
|
};
|
|
|
|
template <class Key, class T, class Compare, class Allocator>
|
|
bool
|
|
operator==(const map<Key, T, Compare, Allocator>& x,
|
|
const map<Key, T, Compare, Allocator>& y);
|
|
|
|
template <class Key, class T, class Compare, class Allocator>
|
|
bool
|
|
operator< (const map<Key, T, Compare, Allocator>& x,
|
|
const map<Key, T, Compare, Allocator>& y);
|
|
|
|
template <class Key, class T, class Compare, class Allocator>
|
|
bool
|
|
operator!=(const map<Key, T, Compare, Allocator>& x,
|
|
const map<Key, T, Compare, Allocator>& y);
|
|
|
|
template <class Key, class T, class Compare, class Allocator>
|
|
bool
|
|
operator> (const map<Key, T, Compare, Allocator>& x,
|
|
const map<Key, T, Compare, Allocator>& y);
|
|
|
|
template <class Key, class T, class Compare, class Allocator>
|
|
bool
|
|
operator>=(const map<Key, T, Compare, Allocator>& x,
|
|
const map<Key, T, Compare, Allocator>& y);
|
|
|
|
template <class Key, class T, class Compare, class Allocator>
|
|
bool
|
|
operator<=(const map<Key, T, Compare, Allocator>& x,
|
|
const map<Key, T, Compare, Allocator>& y);
|
|
|
|
// specialized algorithms:
|
|
template <class Key, class T, class Compare, class Allocator>
|
|
void
|
|
swap(map<Key, T, Compare, Allocator>& x, map<Key, T, Compare, Allocator>& y)
|
|
noexcept(noexcept(x.swap(y)));
|
|
|
|
template <class Key, class T, class Compare = less<Key>,
|
|
class Allocator = allocator<pair<const Key, T>>>
|
|
class multimap
|
|
{
|
|
public:
|
|
// types:
|
|
typedef Key key_type;
|
|
typedef T mapped_type;
|
|
typedef pair<const key_type,mapped_type> value_type;
|
|
typedef Compare key_compare;
|
|
typedef Allocator allocator_type;
|
|
typedef typename allocator_type::reference reference;
|
|
typedef typename allocator_type::const_reference const_reference;
|
|
typedef typename allocator_type::size_type size_type;
|
|
typedef typename allocator_type::difference_type difference_type;
|
|
typedef typename allocator_type::pointer pointer;
|
|
typedef typename allocator_type::const_pointer const_pointer;
|
|
|
|
typedef implementation-defined iterator;
|
|
typedef implementation-defined const_iterator;
|
|
typedef std::reverse_iterator<iterator> reverse_iterator;
|
|
typedef std::reverse_iterator<const_iterator> const_reverse_iterator;
|
|
|
|
class value_compare
|
|
: public binary_function<value_type,value_type,bool>
|
|
{
|
|
friend class multimap;
|
|
protected:
|
|
key_compare comp;
|
|
value_compare(key_compare c);
|
|
public:
|
|
bool operator()(const value_type& x, const value_type& y) const;
|
|
};
|
|
|
|
// construct/copy/destroy:
|
|
multimap()
|
|
noexcept(
|
|
is_nothrow_default_constructible<allocator_type>::value &&
|
|
is_nothrow_default_constructible<key_compare>::value &&
|
|
is_nothrow_copy_constructible<key_compare>::value);
|
|
explicit multimap(const key_compare& comp);
|
|
multimap(const key_compare& comp, const allocator_type& a);
|
|
template <class InputIterator>
|
|
multimap(InputIterator first, InputIterator last, const key_compare& comp);
|
|
template <class InputIterator>
|
|
multimap(InputIterator first, InputIterator last, const key_compare& comp,
|
|
const allocator_type& a);
|
|
multimap(const multimap& m);
|
|
multimap(multimap&& m)
|
|
noexcept(
|
|
is_nothrow_move_constructible<allocator_type>::value &&
|
|
is_nothrow_move_constructible<key_compare>::value);
|
|
explicit multimap(const allocator_type& a);
|
|
multimap(const multimap& m, const allocator_type& a);
|
|
multimap(multimap&& m, const allocator_type& a);
|
|
multimap(initializer_list<value_type> il, const key_compare& comp = key_compare());
|
|
multimap(initializer_list<value_type> il, const key_compare& comp,
|
|
const allocator_type& a);
|
|
~multimap();
|
|
|
|
multimap& operator=(const multimap& m);
|
|
multimap& operator=(multimap&& m)
|
|
noexcept(
|
|
allocator_type::propagate_on_container_move_assignment::value &&
|
|
is_nothrow_move_assignable<allocator_type>::value &&
|
|
is_nothrow_move_assignable<key_compare>::value);
|
|
multimap& operator=(initializer_list<value_type> il);
|
|
|
|
// iterators:
|
|
iterator begin() noexcept;
|
|
const_iterator begin() const noexcept;
|
|
iterator end() noexcept;
|
|
const_iterator end() const noexcept;
|
|
|
|
reverse_iterator rbegin() noexcept;
|
|
const_reverse_iterator rbegin() const noexcept;
|
|
reverse_iterator rend() noexcept;
|
|
const_reverse_iterator rend() const noexcept;
|
|
|
|
const_iterator cbegin() const noexcept;
|
|
const_iterator cend() const noexcept;
|
|
const_reverse_iterator crbegin() const noexcept;
|
|
const_reverse_iterator crend() const noexcept;
|
|
|
|
// capacity:
|
|
bool empty() const noexcept;
|
|
size_type size() const noexcept;
|
|
size_type max_size() const noexcept;
|
|
|
|
// modifiers:
|
|
template <class... Args>
|
|
iterator emplace(Args&&... args);
|
|
template <class... Args>
|
|
iterator emplace_hint(const_iterator position, Args&&... args);
|
|
iterator insert(const value_type& v);
|
|
template <class P>
|
|
iterator insert(P&& p);
|
|
iterator insert(const_iterator position, const value_type& v);
|
|
template <class P>
|
|
iterator insert(const_iterator position, P&& p);
|
|
template <class InputIterator>
|
|
void insert(InputIterator first, InputIterator last);
|
|
void insert(initializer_list<value_type> il);
|
|
|
|
iterator erase(const_iterator position);
|
|
size_type erase(const key_type& k);
|
|
iterator erase(const_iterator first, const_iterator last);
|
|
void clear() noexcept;
|
|
|
|
void swap(multimap& m)
|
|
noexcept(
|
|
__is_nothrow_swappable<key_compare>::value &&
|
|
(!allocator_type::propagate_on_container_swap::value ||
|
|
__is_nothrow_swappable<allocator_type>::value));
|
|
|
|
// observers:
|
|
allocator_type get_allocator() const noexcept;
|
|
key_compare key_comp() const;
|
|
value_compare value_comp() const;
|
|
|
|
// map operations:
|
|
iterator find(const key_type& k);
|
|
const_iterator find(const key_type& k) const;
|
|
size_type count(const key_type& k) const;
|
|
iterator lower_bound(const key_type& k);
|
|
const_iterator lower_bound(const key_type& k) const;
|
|
iterator upper_bound(const key_type& k);
|
|
const_iterator upper_bound(const key_type& k) const;
|
|
pair<iterator,iterator> equal_range(const key_type& k);
|
|
pair<const_iterator,const_iterator> equal_range(const key_type& k) const;
|
|
};
|
|
|
|
template <class Key, class T, class Compare, class Allocator>
|
|
bool
|
|
operator==(const multimap<Key, T, Compare, Allocator>& x,
|
|
const multimap<Key, T, Compare, Allocator>& y);
|
|
|
|
template <class Key, class T, class Compare, class Allocator>
|
|
bool
|
|
operator< (const multimap<Key, T, Compare, Allocator>& x,
|
|
const multimap<Key, T, Compare, Allocator>& y);
|
|
|
|
template <class Key, class T, class Compare, class Allocator>
|
|
bool
|
|
operator!=(const multimap<Key, T, Compare, Allocator>& x,
|
|
const multimap<Key, T, Compare, Allocator>& y);
|
|
|
|
template <class Key, class T, class Compare, class Allocator>
|
|
bool
|
|
operator> (const multimap<Key, T, Compare, Allocator>& x,
|
|
const multimap<Key, T, Compare, Allocator>& y);
|
|
|
|
template <class Key, class T, class Compare, class Allocator>
|
|
bool
|
|
operator>=(const multimap<Key, T, Compare, Allocator>& x,
|
|
const multimap<Key, T, Compare, Allocator>& y);
|
|
|
|
template <class Key, class T, class Compare, class Allocator>
|
|
bool
|
|
operator<=(const multimap<Key, T, Compare, Allocator>& x,
|
|
const multimap<Key, T, Compare, Allocator>& y);
|
|
|
|
// specialized algorithms:
|
|
template <class Key, class T, class Compare, class Allocator>
|
|
void
|
|
swap(multimap<Key, T, Compare, Allocator>& x,
|
|
multimap<Key, T, Compare, Allocator>& y)
|
|
noexcept(noexcept(x.swap(y)));
|
|
|
|
} // std
|
|
|
|
*/
|
|
|
|
#include <__config>
|
|
#include <__tree>
|
|
#include <iterator>
|
|
#include <memory>
|
|
#include <utility>
|
|
#include <functional>
|
|
#include <initializer_list>
|
|
|
|
#if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
|
|
#pragma GCC system_header
|
|
#endif
|
|
|
|
_LIBCPP_BEGIN_NAMESPACE_STD
|
|
|
|
template <class _Key, class _Tp, class _Compare, bool = is_empty<_Compare>::value>
|
|
class __map_value_compare
|
|
: private _Compare
|
|
{
|
|
typedef pair<typename std::remove_const<_Key>::type, _Tp> _P;
|
|
typedef pair<const _Key, _Tp> _CP;
|
|
public:
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
__map_value_compare()
|
|
_NOEXCEPT_(is_nothrow_default_constructible<_Compare>::value)
|
|
: _Compare() {}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
__map_value_compare(_Compare c)
|
|
_NOEXCEPT_(is_nothrow_copy_constructible<_Compare>::value)
|
|
: _Compare(c) {}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
const _Compare& key_comp() const _NOEXCEPT {return *this;}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
bool operator()(const _CP& __x, const _CP& __y) const
|
|
{return static_cast<const _Compare&>(*this)(__x.first, __y.first);}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
bool operator()(const _CP& __x, const _P& __y) const
|
|
{return static_cast<const _Compare&>(*this)(__x.first, __y.first);}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
bool operator()(const _CP& __x, const _Key& __y) const
|
|
{return static_cast<const _Compare&>(*this)(__x.first, __y);}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
bool operator()(const _P& __x, const _CP& __y) const
|
|
{return static_cast<const _Compare&>(*this)(__x.first, __y.first);}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
bool operator()(const _P& __x, const _P& __y) const
|
|
{return static_cast<const _Compare&>(*this)(__x.first, __y.first);}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
bool operator()(const _P& __x, const _Key& __y) const
|
|
{return static_cast<const _Compare&>(*this)(__x.first, __y);}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
bool operator()(const _Key& __x, const _CP& __y) const
|
|
{return static_cast<const _Compare&>(*this)(__x, __y.first);}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
bool operator()(const _Key& __x, const _P& __y) const
|
|
{return static_cast<const _Compare&>(*this)(__x, __y.first);}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
bool operator()(const _Key& __x, const _Key& __y) const
|
|
{return static_cast<const _Compare&>(*this)(__x, __y);}
|
|
};
|
|
|
|
template <class _Key, class _Tp, class _Compare>
|
|
class __map_value_compare<_Key, _Tp, _Compare, false>
|
|
{
|
|
_Compare comp;
|
|
|
|
typedef pair<typename std::remove_const<_Key>::type, _Tp> _P;
|
|
typedef pair<const _Key, _Tp> _CP;
|
|
|
|
public:
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
__map_value_compare()
|
|
_NOEXCEPT_(is_nothrow_default_constructible<_Compare>::value)
|
|
: comp() {}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
__map_value_compare(_Compare c)
|
|
_NOEXCEPT_(is_nothrow_copy_constructible<_Compare>::value)
|
|
: comp(c) {}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
const _Compare& key_comp() const _NOEXCEPT {return comp;}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
bool operator()(const _CP& __x, const _CP& __y) const
|
|
{return comp(__x.first, __y.first);}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
bool operator()(const _CP& __x, const _P& __y) const
|
|
{return comp(__x.first, __y.first);}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
bool operator()(const _CP& __x, const _Key& __y) const
|
|
{return comp(__x.first, __y);}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
bool operator()(const _P& __x, const _CP& __y) const
|
|
{return comp(__x.first, __y.first);}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
bool operator()(const _P& __x, const _P& __y) const
|
|
{return comp(__x.first, __y.first);}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
bool operator()(const _P& __x, const _Key& __y) const
|
|
{return comp(__x.first, __y);}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
bool operator()(const _Key& __x, const _CP& __y) const
|
|
{return comp(__x, __y.first);}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
bool operator()(const _Key& __x, const _P& __y) const
|
|
{return comp(__x, __y.first);}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
bool operator()(const _Key& __x, const _Key& __y) const
|
|
{return comp(__x, __y);}
|
|
};
|
|
|
|
template <class _Allocator>
|
|
class __map_node_destructor
|
|
{
|
|
typedef _Allocator allocator_type;
|
|
typedef allocator_traits<allocator_type> __alloc_traits;
|
|
typedef typename __alloc_traits::value_type::value_type value_type;
|
|
public:
|
|
typedef typename __alloc_traits::pointer pointer;
|
|
private:
|
|
typedef typename value_type::first_type first_type;
|
|
typedef typename value_type::second_type second_type;
|
|
|
|
allocator_type& __na_;
|
|
|
|
__map_node_destructor& operator=(const __map_node_destructor&);
|
|
|
|
public:
|
|
bool __first_constructed;
|
|
bool __second_constructed;
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
explicit __map_node_destructor(allocator_type& __na) _NOEXCEPT
|
|
: __na_(__na),
|
|
__first_constructed(false),
|
|
__second_constructed(false)
|
|
{}
|
|
|
|
#ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
__map_node_destructor(__tree_node_destructor<allocator_type>&& __x) _NOEXCEPT
|
|
: __na_(__x.__na_),
|
|
__first_constructed(__x.__value_constructed),
|
|
__second_constructed(__x.__value_constructed)
|
|
{
|
|
__x.__value_constructed = false;
|
|
}
|
|
#endif // _LIBCPP_HAS_NO_RVALUE_REFERENCES
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
void operator()(pointer __p) _NOEXCEPT
|
|
{
|
|
if (__second_constructed)
|
|
__alloc_traits::destroy(__na_, _VSTD::addressof(__p->__value_.second));
|
|
if (__first_constructed)
|
|
__alloc_traits::destroy(__na_, _VSTD::addressof(__p->__value_.first));
|
|
if (__p)
|
|
__alloc_traits::deallocate(__na_, __p, 1);
|
|
}
|
|
};
|
|
|
|
template <class _Key, class _Tp, class _Compare, class _Allocator>
|
|
class map;
|
|
template <class _Key, class _Tp, class _Compare, class _Allocator>
|
|
class multimap;
|
|
template <class _TreeIterator> class __map_const_iterator;
|
|
|
|
template <class _TreeIterator>
|
|
class _LIBCPP_VISIBLE __map_iterator
|
|
{
|
|
_TreeIterator __i_;
|
|
|
|
typedef typename _TreeIterator::__pointer_traits __pointer_traits;
|
|
typedef const typename _TreeIterator::value_type::first_type __key_type;
|
|
typedef typename _TreeIterator::value_type::second_type __mapped_type;
|
|
public:
|
|
typedef bidirectional_iterator_tag iterator_category;
|
|
typedef pair<__key_type, __mapped_type> value_type;
|
|
typedef typename _TreeIterator::difference_type difference_type;
|
|
typedef value_type& reference;
|
|
typedef typename __pointer_traits::template
|
|
#ifndef _LIBCPP_HAS_NO_TEMPLATE_ALIASES
|
|
rebind<value_type>
|
|
#else
|
|
rebind<value_type>::other
|
|
#endif
|
|
pointer;
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
__map_iterator() _NOEXCEPT {}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
__map_iterator(_TreeIterator __i) _NOEXCEPT : __i_(__i) {}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
reference operator*() const {return *operator->();}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
pointer operator->() const {return (pointer)__i_.operator->();}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
__map_iterator& operator++() {++__i_; return *this;}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
__map_iterator operator++(int)
|
|
{
|
|
__map_iterator __t(*this);
|
|
++(*this);
|
|
return __t;
|
|
}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
__map_iterator& operator--() {--__i_; return *this;}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
__map_iterator operator--(int)
|
|
{
|
|
__map_iterator __t(*this);
|
|
--(*this);
|
|
return __t;
|
|
}
|
|
|
|
friend _LIBCPP_INLINE_VISIBILITY
|
|
bool operator==(const __map_iterator& __x, const __map_iterator& __y)
|
|
{return __x.__i_ == __y.__i_;}
|
|
friend
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
bool operator!=(const __map_iterator& __x, const __map_iterator& __y)
|
|
{return __x.__i_ != __y.__i_;}
|
|
|
|
template <class, class, class, class> friend class _LIBCPP_VISIBLE map;
|
|
template <class, class, class, class> friend class _LIBCPP_VISIBLE multimap;
|
|
template <class> friend class _LIBCPP_VISIBLE __map_const_iterator;
|
|
};
|
|
|
|
template <class _TreeIterator>
|
|
class _LIBCPP_VISIBLE __map_const_iterator
|
|
{
|
|
_TreeIterator __i_;
|
|
|
|
typedef typename _TreeIterator::__pointer_traits __pointer_traits;
|
|
typedef const typename _TreeIterator::value_type::first_type __key_type;
|
|
typedef typename _TreeIterator::value_type::second_type __mapped_type;
|
|
public:
|
|
typedef bidirectional_iterator_tag iterator_category;
|
|
typedef pair<__key_type, __mapped_type> value_type;
|
|
typedef typename _TreeIterator::difference_type difference_type;
|
|
typedef const value_type& reference;
|
|
typedef typename __pointer_traits::template
|
|
#ifndef _LIBCPP_HAS_NO_TEMPLATE_ALIASES
|
|
rebind<const value_type>
|
|
#else
|
|
rebind<const value_type>::other
|
|
#endif
|
|
pointer;
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
__map_const_iterator() _NOEXCEPT {}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
__map_const_iterator(_TreeIterator __i) _NOEXCEPT : __i_(__i) {}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
__map_const_iterator(
|
|
__map_iterator<typename _TreeIterator::__non_const_iterator> __i)
|
|
_NOEXCEPT
|
|
: __i_(__i.__i_) {}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
reference operator*() const {return *operator->();}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
pointer operator->() const {return (pointer)__i_.operator->();}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
__map_const_iterator& operator++() {++__i_; return *this;}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
__map_const_iterator operator++(int)
|
|
{
|
|
__map_const_iterator __t(*this);
|
|
++(*this);
|
|
return __t;
|
|
}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
__map_const_iterator& operator--() {--__i_; return *this;}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
__map_const_iterator operator--(int)
|
|
{
|
|
__map_const_iterator __t(*this);
|
|
--(*this);
|
|
return __t;
|
|
}
|
|
|
|
friend _LIBCPP_INLINE_VISIBILITY
|
|
bool operator==(const __map_const_iterator& __x, const __map_const_iterator& __y)
|
|
{return __x.__i_ == __y.__i_;}
|
|
friend _LIBCPP_INLINE_VISIBILITY
|
|
bool operator!=(const __map_const_iterator& __x, const __map_const_iterator& __y)
|
|
{return __x.__i_ != __y.__i_;}
|
|
|
|
template <class, class, class, class> friend class _LIBCPP_VISIBLE map;
|
|
template <class, class, class, class> friend class _LIBCPP_VISIBLE multimap;
|
|
template <class, class, class> friend class _LIBCPP_VISIBLE __tree_const_iterator;
|
|
};
|
|
|
|
template <class _Key, class _Tp, class _Compare = less<_Key>,
|
|
class _Allocator = allocator<pair<const _Key, _Tp> > >
|
|
class _LIBCPP_VISIBLE map
|
|
{
|
|
public:
|
|
// types:
|
|
typedef _Key key_type;
|
|
typedef _Tp mapped_type;
|
|
typedef pair<const key_type, mapped_type> value_type;
|
|
typedef _Compare key_compare;
|
|
typedef _Allocator allocator_type;
|
|
typedef value_type& reference;
|
|
typedef const value_type& const_reference;
|
|
|
|
class _LIBCPP_VISIBLE value_compare
|
|
: public binary_function<value_type, value_type, bool>
|
|
{
|
|
friend class map;
|
|
protected:
|
|
key_compare comp;
|
|
|
|
_LIBCPP_INLINE_VISIBILITY value_compare(key_compare c) : comp(c) {}
|
|
public:
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
bool operator()(const value_type& __x, const value_type& __y) const
|
|
{return comp(__x.first, __y.first);}
|
|
};
|
|
|
|
private:
|
|
typedef pair<key_type, mapped_type> __value_type;
|
|
typedef __map_value_compare<key_type, mapped_type, key_compare> __vc;
|
|
typedef typename allocator_traits<allocator_type>::template
|
|
#ifndef _LIBCPP_HAS_NO_TEMPLATE_ALIASES
|
|
rebind_alloc<__value_type>
|
|
#else
|
|
rebind_alloc<__value_type>::other
|
|
#endif
|
|
__allocator_type;
|
|
typedef __tree<__value_type, __vc, __allocator_type> __base;
|
|
typedef typename __base::__node_traits __node_traits;
|
|
typedef allocator_traits<allocator_type> __alloc_traits;
|
|
|
|
__base __tree_;
|
|
|
|
public:
|
|
typedef typename __alloc_traits::pointer pointer;
|
|
typedef typename __alloc_traits::const_pointer const_pointer;
|
|
typedef typename __alloc_traits::size_type size_type;
|
|
typedef typename __alloc_traits::difference_type difference_type;
|
|
typedef __map_iterator<typename __base::iterator> iterator;
|
|
typedef __map_const_iterator<typename __base::const_iterator> const_iterator;
|
|
typedef _VSTD::reverse_iterator<iterator> reverse_iterator;
|
|
typedef _VSTD::reverse_iterator<const_iterator> const_reverse_iterator;
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
explicit map(const key_compare& __comp = key_compare())
|
|
_NOEXCEPT_(
|
|
is_nothrow_default_constructible<allocator_type>::value &&
|
|
is_nothrow_default_constructible<key_compare>::value &&
|
|
is_nothrow_copy_constructible<key_compare>::value)
|
|
: __tree_(__vc(__comp)) {}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
explicit map(const key_compare& __comp, const allocator_type& __a)
|
|
: __tree_(__vc(__comp), __a) {}
|
|
|
|
template <class _InputIterator>
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
map(_InputIterator __f, _InputIterator __l,
|
|
const key_compare& __comp = key_compare())
|
|
: __tree_(__vc(__comp))
|
|
{
|
|
insert(__f, __l);
|
|
}
|
|
|
|
template <class _InputIterator>
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
map(_InputIterator __f, _InputIterator __l,
|
|
const key_compare& __comp, const allocator_type& __a)
|
|
: __tree_(__vc(__comp), __a)
|
|
{
|
|
insert(__f, __l);
|
|
}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
map(const map& __m)
|
|
: __tree_(__m.__tree_)
|
|
{
|
|
insert(__m.begin(), __m.end());
|
|
}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
map& operator=(const map& __m)
|
|
{
|
|
__tree_ = __m.__tree_;
|
|
return *this;
|
|
}
|
|
|
|
#ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
map(map&& __m)
|
|
_NOEXCEPT_(is_nothrow_move_constructible<__base>::value)
|
|
: __tree_(_VSTD::move(__m.__tree_))
|
|
{
|
|
}
|
|
|
|
map(map&& __m, const allocator_type& __a);
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
map& operator=(map&& __m)
|
|
_NOEXCEPT_(is_nothrow_move_assignable<__base>::value)
|
|
{
|
|
__tree_ = _VSTD::move(__m.__tree_);
|
|
return *this;
|
|
}
|
|
|
|
#endif // _LIBCPP_HAS_NO_RVALUE_REFERENCES
|
|
|
|
#ifndef _LIBCPP_HAS_NO_GENERALIZED_INITIALIZERS
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
map(initializer_list<value_type> __il, const key_compare& __comp = key_compare())
|
|
: __tree_(__vc(__comp))
|
|
{
|
|
insert(__il.begin(), __il.end());
|
|
}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
map(initializer_list<value_type> __il, const key_compare& __comp, const allocator_type& __a)
|
|
: __tree_(__vc(__comp), __a)
|
|
{
|
|
insert(__il.begin(), __il.end());
|
|
}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
map& operator=(initializer_list<value_type> __il)
|
|
{
|
|
__tree_.__assign_unique(__il.begin(), __il.end());
|
|
return *this;
|
|
}
|
|
|
|
#endif // _LIBCPP_HAS_NO_GENERALIZED_INITIALIZERS
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
explicit map(const allocator_type& __a)
|
|
: __tree_(__a)
|
|
{
|
|
}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
map(const map& __m, const allocator_type& __a)
|
|
: __tree_(__m.__tree_.value_comp(), __a)
|
|
{
|
|
insert(__m.begin(), __m.end());
|
|
}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
iterator begin() _NOEXCEPT {return __tree_.begin();}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
const_iterator begin() const _NOEXCEPT {return __tree_.begin();}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
iterator end() _NOEXCEPT {return __tree_.end();}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
const_iterator end() const _NOEXCEPT {return __tree_.end();}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
reverse_iterator rbegin() _NOEXCEPT {return reverse_iterator(end());}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
const_reverse_iterator rbegin() const _NOEXCEPT
|
|
{return const_reverse_iterator(end());}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
reverse_iterator rend() _NOEXCEPT
|
|
{return reverse_iterator(begin());}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
const_reverse_iterator rend() const _NOEXCEPT
|
|
{return const_reverse_iterator(begin());}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
const_iterator cbegin() const _NOEXCEPT {return begin();}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
const_iterator cend() const _NOEXCEPT {return end();}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
const_reverse_iterator crbegin() const _NOEXCEPT {return rbegin();}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
const_reverse_iterator crend() const _NOEXCEPT {return rend();}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
bool empty() const _NOEXCEPT {return __tree_.size() == 0;}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
size_type size() const _NOEXCEPT {return __tree_.size();}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
size_type max_size() const _NOEXCEPT {return __tree_.max_size();}
|
|
|
|
mapped_type& operator[](const key_type& __k);
|
|
#ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES
|
|
mapped_type& operator[](key_type&& __k);
|
|
#endif
|
|
|
|
mapped_type& at(const key_type& __k);
|
|
const mapped_type& at(const key_type& __k) const;
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
allocator_type get_allocator() const _NOEXCEPT {return __tree_.__alloc();}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
key_compare key_comp() const {return __tree_.value_comp().key_comp();}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
value_compare value_comp() const {return value_compare(__tree_.value_comp().key_comp());}
|
|
|
|
#ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
pair<iterator, bool>
|
|
emplace() {return __tree_.__emplace_unique();}
|
|
|
|
template <class _A0,
|
|
class = typename enable_if<is_constructible<value_type, _A0>::value>::type>
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
pair<iterator, bool>
|
|
emplace(_A0&& __a0)
|
|
{return __tree_.__emplace_unique(_VSTD::forward<_A0>(__a0));}
|
|
|
|
#ifndef _LIBCPP_HAS_NO_VARIADICS
|
|
|
|
template <class _A0, class ..._Args,
|
|
class = typename enable_if<is_constructible<key_type, _A0>::value>::type>
|
|
pair<iterator, bool>
|
|
emplace(_A0&& __a0, _Args&& ...__args);
|
|
|
|
#endif // _LIBCPP_HAS_NO_VARIADICS
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
iterator
|
|
emplace_hint(const_iterator __p)
|
|
{return __tree_.__emplace_hint_unique(__p.__i_);}
|
|
|
|
template <class _A0,
|
|
class = typename enable_if<is_constructible<value_type, _A0>::value>::type>
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
iterator
|
|
emplace_hint(const_iterator __p, _A0&& __a0)
|
|
{return __tree_.__emplace_hint_unique(__p.__i_, _VSTD::forward<_A0>(__a0));}
|
|
|
|
#ifndef _LIBCPP_HAS_NO_VARIADICS
|
|
|
|
template <class _A0, class ..._Args,
|
|
class = typename enable_if<is_constructible<key_type, _A0>::value>::type>
|
|
iterator
|
|
emplace_hint(const_iterator __p, _A0&& __a0, _Args&& ...__args);
|
|
|
|
#endif // _LIBCPP_HAS_NO_VARIADICS
|
|
|
|
template <class _P,
|
|
class = typename enable_if<is_constructible<value_type, _P>::value>::type>
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
pair<iterator, bool> insert(_P&& __p)
|
|
{return __tree_.__insert_unique(_VSTD::forward<_P>(__p));}
|
|
|
|
template <class _P,
|
|
class = typename enable_if<is_constructible<value_type, _P>::value>::type>
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
iterator insert(const_iterator __pos, _P&& __p)
|
|
{return __tree_.__insert_unique(__pos.__i_, _VSTD::forward<_P>(__p));}
|
|
|
|
#endif // _LIBCPP_HAS_NO_RVALUE_REFERENCES
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
pair<iterator, bool>
|
|
insert(const value_type& __v) {return __tree_.__insert_unique(__v);}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
iterator
|
|
insert(const_iterator __p, const value_type& __v)
|
|
{return __tree_.__insert_unique(__p.__i_, __v);}
|
|
|
|
template <class _InputIterator>
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
void insert(_InputIterator __f, _InputIterator __l)
|
|
{
|
|
for (const_iterator __e = cend(); __f != __l; ++__f)
|
|
insert(__e.__i_, *__f);
|
|
}
|
|
|
|
#ifndef _LIBCPP_HAS_NO_GENERALIZED_INITIALIZERS
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
void insert(initializer_list<value_type> __il)
|
|
{insert(__il.begin(), __il.end());}
|
|
|
|
#endif // _LIBCPP_HAS_NO_GENERALIZED_INITIALIZERS
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
iterator erase(const_iterator __p) {return __tree_.erase(__p.__i_);}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
size_type erase(const key_type& __k)
|
|
{return __tree_.__erase_unique(__k);}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
iterator erase(const_iterator __f, const_iterator __l)
|
|
{return __tree_.erase(__f.__i_, __l.__i_);}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
void clear() _NOEXCEPT {__tree_.clear();}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
void swap(map& __m)
|
|
_NOEXCEPT_(__is_nothrow_swappable<__base>::value)
|
|
{__tree_.swap(__m.__tree_);}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
iterator find(const key_type& __k) {return __tree_.find(__k);}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
const_iterator find(const key_type& __k) const {return __tree_.find(__k);}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
size_type count(const key_type& __k) const
|
|
{return __tree_.__count_unique(__k);}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
iterator lower_bound(const key_type& __k)
|
|
{return __tree_.lower_bound(__k);}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
const_iterator lower_bound(const key_type& __k) const
|
|
{return __tree_.lower_bound(__k);}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
iterator upper_bound(const key_type& __k)
|
|
{return __tree_.upper_bound(__k);}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
const_iterator upper_bound(const key_type& __k) const
|
|
{return __tree_.upper_bound(__k);}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
pair<iterator,iterator> equal_range(const key_type& __k)
|
|
{return __tree_.__equal_range_unique(__k);}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
pair<const_iterator,const_iterator> equal_range(const key_type& __k) const
|
|
{return __tree_.__equal_range_unique(__k);}
|
|
|
|
private:
|
|
typedef typename __base::__node __node;
|
|
typedef typename __base::__node_allocator __node_allocator;
|
|
typedef typename __base::__node_pointer __node_pointer;
|
|
typedef typename __base::__node_const_pointer __node_const_pointer;
|
|
typedef typename __base::__node_base_pointer __node_base_pointer;
|
|
typedef typename __base::__node_base_const_pointer __node_base_const_pointer;
|
|
typedef __map_node_destructor<__node_allocator> _D;
|
|
typedef unique_ptr<__node, _D> __node_holder;
|
|
|
|
#ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES
|
|
__node_holder __construct_node();
|
|
template <class _A0,
|
|
class = typename enable_if<is_constructible<value_type, _A0>::value>::type>
|
|
__node_holder __construct_node(_A0&& __a0);
|
|
#ifndef _LIBCPP_HAS_NO_VARIADICS
|
|
template <class _A0, class ..._Args,
|
|
class = typename enable_if<is_constructible<key_type, _A0>::value>::type>
|
|
__node_holder __construct_node(_A0&& __a0, _Args&& ...__args);
|
|
#endif // _LIBCPP_HAS_NO_VARIADICS
|
|
#else // _LIBCPP_HAS_NO_RVALUE_REFERENCES
|
|
__node_holder __construct_node(const key_type& __k);
|
|
#endif
|
|
|
|
__node_base_pointer&
|
|
__find_equal_key(__node_base_pointer& __parent, const key_type& __k);
|
|
__node_base_pointer&
|
|
__find_equal_key(const_iterator __hint,
|
|
__node_base_pointer& __parent, const key_type& __k);
|
|
__node_base_const_pointer
|
|
__find_equal_key(__node_base_const_pointer& __parent, const key_type& __k) const;
|
|
};
|
|
|
|
// Find place to insert if __k doesn't exist
|
|
// Set __parent to parent of null leaf
|
|
// Return reference to null leaf
|
|
// If __k exists, set parent to node of __k and return reference to node of __k
|
|
template <class _Key, class _Tp, class _Compare, class _Allocator>
|
|
typename map<_Key, _Tp, _Compare, _Allocator>::__node_base_pointer&
|
|
map<_Key, _Tp, _Compare, _Allocator>::__find_equal_key(__node_base_pointer& __parent,
|
|
const key_type& __k)
|
|
{
|
|
__node_pointer __nd = __tree_.__root();
|
|
if (__nd != nullptr)
|
|
{
|
|
while (true)
|
|
{
|
|
if (__tree_.value_comp().key_comp()(__k, __nd->__value_.first))
|
|
{
|
|
if (__nd->__left_ != nullptr)
|
|
__nd = static_cast<__node_pointer>(__nd->__left_);
|
|
else
|
|
{
|
|
__parent = __nd;
|
|
return __parent->__left_;
|
|
}
|
|
}
|
|
else if (__tree_.value_comp().key_comp()(__nd->__value_.first, __k))
|
|
{
|
|
if (__nd->__right_ != nullptr)
|
|
__nd = static_cast<__node_pointer>(__nd->__right_);
|
|
else
|
|
{
|
|
__parent = __nd;
|
|
return __parent->__right_;
|
|
}
|
|
}
|
|
else
|
|
{
|
|
__parent = __nd;
|
|
return __parent;
|
|
}
|
|
}
|
|
}
|
|
__parent = __tree_.__end_node();
|
|
return __parent->__left_;
|
|
}
|
|
|
|
// Find place to insert if __k doesn't exist
|
|
// First check prior to __hint.
|
|
// Next check after __hint.
|
|
// Next do O(log N) search.
|
|
// Set __parent to parent of null leaf
|
|
// Return reference to null leaf
|
|
// If __k exists, set parent to node of __k and return reference to node of __k
|
|
template <class _Key, class _Tp, class _Compare, class _Allocator>
|
|
typename map<_Key, _Tp, _Compare, _Allocator>::__node_base_pointer&
|
|
map<_Key, _Tp, _Compare, _Allocator>::__find_equal_key(const_iterator __hint,
|
|
__node_base_pointer& __parent,
|
|
const key_type& __k)
|
|
{
|
|
if (__hint == end() || __tree_.value_comp().key_comp()(__k, __hint->first)) // check before
|
|
{
|
|
// __k < *__hint
|
|
const_iterator __prior = __hint;
|
|
if (__prior == begin() || __tree_.value_comp().key_comp()((--__prior)->first, __k))
|
|
{
|
|
// *prev(__hint) < __k < *__hint
|
|
if (__hint.__ptr_->__left_ == nullptr)
|
|
{
|
|
__parent = const_cast<__node_pointer&>(__hint.__ptr_);
|
|
return __parent->__left_;
|
|
}
|
|
else
|
|
{
|
|
__parent = const_cast<__node_pointer&>(__prior.__ptr_);
|
|
return __parent->__right_;
|
|
}
|
|
}
|
|
// __k <= *prev(__hint)
|
|
return __find_equal_key(__parent, __k);
|
|
}
|
|
else if (__tree_.value_comp().key_comp()(__hint->first, __k)) // check after
|
|
{
|
|
// *__hint < __k
|
|
const_iterator __next = _VSTD::next(__hint);
|
|
if (__next == end() || __tree_.value_comp().key_comp()(__k, __next->first))
|
|
{
|
|
// *__hint < __k < *next(__hint)
|
|
if (__hint.__ptr_->__right_ == nullptr)
|
|
{
|
|
__parent = const_cast<__node_pointer&>(__hint.__ptr_);
|
|
return __parent->__right_;
|
|
}
|
|
else
|
|
{
|
|
__parent = const_cast<__node_pointer&>(__next.__ptr_);
|
|
return __parent->__left_;
|
|
}
|
|
}
|
|
// *next(__hint) <= __k
|
|
return __find_equal_key(__parent, __k);
|
|
}
|
|
// else __k == *__hint
|
|
__parent = const_cast<__node_pointer&>(__hint.__ptr_);
|
|
return __parent;
|
|
}
|
|
|
|
// Find __k
|
|
// Set __parent to parent of null leaf and
|
|
// return reference to null leaf iv __k does not exist.
|
|
// If __k exists, set parent to node of __k and return reference to node of __k
|
|
template <class _Key, class _Tp, class _Compare, class _Allocator>
|
|
typename map<_Key, _Tp, _Compare, _Allocator>::__node_base_const_pointer
|
|
map<_Key, _Tp, _Compare, _Allocator>::__find_equal_key(__node_base_const_pointer& __parent,
|
|
const key_type& __k) const
|
|
{
|
|
__node_const_pointer __nd = __tree_.__root();
|
|
if (__nd != nullptr)
|
|
{
|
|
while (true)
|
|
{
|
|
if (__tree_.value_comp().key_comp()(__k, __nd->__value_.first))
|
|
{
|
|
if (__nd->__left_ != nullptr)
|
|
__nd = static_cast<__node_pointer>(__nd->__left_);
|
|
else
|
|
{
|
|
__parent = __nd;
|
|
return const_cast<const __node_base_const_pointer&>(__parent->__left_);
|
|
}
|
|
}
|
|
else if (__tree_.value_comp().key_comp()(__nd->__value_.first, __k))
|
|
{
|
|
if (__nd->__right_ != nullptr)
|
|
__nd = static_cast<__node_pointer>(__nd->__right_);
|
|
else
|
|
{
|
|
__parent = __nd;
|
|
return const_cast<const __node_base_const_pointer&>(__parent->__right_);
|
|
}
|
|
}
|
|
else
|
|
{
|
|
__parent = __nd;
|
|
return __parent;
|
|
}
|
|
}
|
|
}
|
|
__parent = __tree_.__end_node();
|
|
return const_cast<const __node_base_const_pointer&>(__parent->__left_);
|
|
}
|
|
|
|
#ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES
|
|
|
|
template <class _Key, class _Tp, class _Compare, class _Allocator>
|
|
map<_Key, _Tp, _Compare, _Allocator>::map(map&& __m, const allocator_type& __a)
|
|
: __tree_(_VSTD::move(__m.__tree_), __a)
|
|
{
|
|
if (__a != __m.get_allocator())
|
|
{
|
|
const_iterator __e = cend();
|
|
while (!__m.empty())
|
|
__tree_.__insert_unique(__e.__i_,
|
|
_VSTD::move(__m.__tree_.remove(__m.begin().__i_)->__value_));
|
|
}
|
|
}
|
|
|
|
template <class _Key, class _Tp, class _Compare, class _Allocator>
|
|
typename map<_Key, _Tp, _Compare, _Allocator>::__node_holder
|
|
map<_Key, _Tp, _Compare, _Allocator>::__construct_node()
|
|
{
|
|
__node_allocator& __na = __tree_.__node_alloc();
|
|
__node_holder __h(__node_traits::allocate(__na, 1), _D(__na));
|
|
__node_traits::construct(__na, _VSTD::addressof(__h->__value_.first));
|
|
__h.get_deleter().__first_constructed = true;
|
|
__node_traits::construct(__na, _VSTD::addressof(__h->__value_.second));
|
|
__h.get_deleter().__second_constructed = true;
|
|
return __h;
|
|
}
|
|
|
|
template <class _Key, class _Tp, class _Compare, class _Allocator>
|
|
template <class _A0,
|
|
class>
|
|
typename map<_Key, _Tp, _Compare, _Allocator>::__node_holder
|
|
map<_Key, _Tp, _Compare, _Allocator>::__construct_node(_A0&& __a0)
|
|
{
|
|
__node_allocator& __na = __tree_.__node_alloc();
|
|
__node_holder __h(__node_traits::allocate(__na, 1), _D(__na));
|
|
__node_traits::construct(__na, _VSTD::addressof(__h->__value_), _VSTD::forward<_A0>(__a0));
|
|
__h.get_deleter().__first_constructed = true;
|
|
__h.get_deleter().__second_constructed = true;
|
|
return __h;
|
|
}
|
|
|
|
#ifndef _LIBCPP_HAS_NO_VARIADICS
|
|
|
|
template <class _Key, class _Tp, class _Compare, class _Allocator>
|
|
template <class _A0, class ..._Args,
|
|
class>
|
|
typename map<_Key, _Tp, _Compare, _Allocator>::__node_holder
|
|
map<_Key, _Tp, _Compare, _Allocator>::__construct_node(_A0&& __a0, _Args&& ...__args)
|
|
{
|
|
__node_allocator& __na = __tree_.__node_alloc();
|
|
__node_holder __h(__node_traits::allocate(__na, 1), _D(__na));
|
|
__node_traits::construct(__na, _VSTD::addressof(__h->__value_.first), _VSTD::forward<_A0>(__a0));
|
|
__h.get_deleter().__first_constructed = true;
|
|
__node_traits::construct(__na, _VSTD::addressof(__h->__value_.second), _VSTD::forward<_Args>(__args)...);
|
|
__h.get_deleter().__second_constructed = true;
|
|
return __h;
|
|
}
|
|
|
|
#endif // _LIBCPP_HAS_NO_VARIADICS
|
|
|
|
#else // _LIBCPP_HAS_NO_RVALUE_REFERENCES
|
|
|
|
template <class _Key, class _Tp, class _Compare, class _Allocator>
|
|
typename map<_Key, _Tp, _Compare, _Allocator>::__node_holder
|
|
map<_Key, _Tp, _Compare, _Allocator>::__construct_node(const key_type& __k)
|
|
{
|
|
__node_allocator& __na = __tree_.__node_alloc();
|
|
__node_holder __h(__node_traits::allocate(__na, 1), _D(__na));
|
|
__node_traits::construct(__na, _VSTD::addressof(__h->__value_.first), __k);
|
|
__h.get_deleter().__first_constructed = true;
|
|
__node_traits::construct(__na, _VSTD::addressof(__h->__value_.second));
|
|
__h.get_deleter().__second_constructed = true;
|
|
return _VSTD::move(__h);
|
|
}
|
|
|
|
#endif // _LIBCPP_HAS_NO_RVALUE_REFERENCES
|
|
|
|
template <class _Key, class _Tp, class _Compare, class _Allocator>
|
|
_Tp&
|
|
map<_Key, _Tp, _Compare, _Allocator>::operator[](const key_type& __k)
|
|
{
|
|
__node_base_pointer __parent;
|
|
__node_base_pointer& __child = __find_equal_key(__parent, __k);
|
|
__node_pointer __r = static_cast<__node_pointer>(__child);
|
|
if (__child == nullptr)
|
|
{
|
|
__node_holder __h = __construct_node(__k);
|
|
__tree_.__insert_node_at(__parent, __child, __h.get());
|
|
__r = __h.release();
|
|
}
|
|
return __r->__value_.second;
|
|
}
|
|
|
|
#ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES
|
|
|
|
template <class _Key, class _Tp, class _Compare, class _Allocator>
|
|
_Tp&
|
|
map<_Key, _Tp, _Compare, _Allocator>::operator[](key_type&& __k)
|
|
{
|
|
__node_base_pointer __parent;
|
|
__node_base_pointer& __child = __find_equal_key(__parent, __k);
|
|
__node_pointer __r = static_cast<__node_pointer>(__child);
|
|
if (__child == nullptr)
|
|
{
|
|
__node_holder __h = __construct_node(_VSTD::move(__k));
|
|
__tree_.__insert_node_at(__parent, __child, __h.get());
|
|
__r = __h.release();
|
|
}
|
|
return __r->__value_.second;
|
|
}
|
|
|
|
#endif // _LIBCPP_HAS_NO_RVALUE_REFERENCES
|
|
|
|
template <class _Key, class _Tp, class _Compare, class _Allocator>
|
|
_Tp&
|
|
map<_Key, _Tp, _Compare, _Allocator>::at(const key_type& __k)
|
|
{
|
|
__node_base_pointer __parent;
|
|
__node_base_pointer& __child = __find_equal_key(__parent, __k);
|
|
#ifndef _LIBCPP_NO_EXCEPTIONS
|
|
if (__child == nullptr)
|
|
throw out_of_range("map::at: key not found");
|
|
#endif // _LIBCPP_NO_EXCEPTIONS
|
|
return static_cast<__node_pointer>(__child)->__value_.second;
|
|
}
|
|
|
|
template <class _Key, class _Tp, class _Compare, class _Allocator>
|
|
const _Tp&
|
|
map<_Key, _Tp, _Compare, _Allocator>::at(const key_type& __k) const
|
|
{
|
|
__node_base_const_pointer __parent;
|
|
__node_base_const_pointer __child = __find_equal_key(__parent, __k);
|
|
#ifndef _LIBCPP_NO_EXCEPTIONS
|
|
if (__child == nullptr)
|
|
throw out_of_range("map::at: key not found");
|
|
#endif // _LIBCPP_NO_EXCEPTIONS
|
|
return static_cast<__node_const_pointer>(__child)->__value_.second;
|
|
}
|
|
|
|
#if !defined(_LIBCPP_HAS_NO_RVALUE_REFERENCES) && !defined(_LIBCPP_HAS_NO_VARIADICS)
|
|
|
|
template <class _Key, class _Tp, class _Compare, class _Allocator>
|
|
template <class _A0, class ..._Args,
|
|
class //= typename enable_if<is_constructible<_Key, _A0>::value>::type
|
|
>
|
|
pair<typename map<_Key, _Tp, _Compare, _Allocator>::iterator, bool>
|
|
map<_Key, _Tp, _Compare, _Allocator>::emplace(_A0&& __a0, _Args&& ...__args)
|
|
{
|
|
__node_holder __h = __construct_node(_VSTD::forward<_A0>(__a0),
|
|
_VSTD::forward<_Args>(__args)...);
|
|
pair<iterator, bool> __r = __tree_.__node_insert_unique(__h.get());
|
|
if (__r.second)
|
|
__h.release();
|
|
return __r;
|
|
}
|
|
|
|
template <class _Key, class _Tp, class _Compare, class _Allocator>
|
|
template <class _A0, class ..._Args,
|
|
class //= typename enable_if<is_constructible<_Key, _A0>::value>::type
|
|
>
|
|
typename map<_Key, _Tp, _Compare, _Allocator>::iterator
|
|
map<_Key, _Tp, _Compare, _Allocator>::emplace_hint(const_iterator __p,
|
|
_A0&& __a0, _Args&& ...__args)
|
|
{
|
|
__node_holder __h = __construct_node(_VSTD::forward<_A0>(__a0),
|
|
_VSTD::forward<_Args>(__args)...);
|
|
iterator __r = __tree_.__node_insert_unique(__p.__i_, __h.get());
|
|
if (__r.__i_.__ptr_ == __h.get())
|
|
__h.release();
|
|
return __r;
|
|
}
|
|
|
|
#endif // !defined(_LIBCPP_HAS_NO_RVALUE_REFERENCES) && !defined(_LIBCPP_HAS_NO_VARIADICS)
|
|
|
|
template <class _Key, class _Tp, class _Compare, class _Allocator>
|
|
inline _LIBCPP_INLINE_VISIBILITY
|
|
bool
|
|
operator==(const map<_Key, _Tp, _Compare, _Allocator>& __x,
|
|
const map<_Key, _Tp, _Compare, _Allocator>& __y)
|
|
{
|
|
return __x.size() == __y.size() && _VSTD::equal(__x.begin(), __x.end(), __y.begin());
|
|
}
|
|
|
|
template <class _Key, class _Tp, class _Compare, class _Allocator>
|
|
inline _LIBCPP_INLINE_VISIBILITY
|
|
bool
|
|
operator< (const map<_Key, _Tp, _Compare, _Allocator>& __x,
|
|
const map<_Key, _Tp, _Compare, _Allocator>& __y)
|
|
{
|
|
return _VSTD::lexicographical_compare(__x.begin(), __x.end(), __y.begin(), __y.end());
|
|
}
|
|
|
|
template <class _Key, class _Tp, class _Compare, class _Allocator>
|
|
inline _LIBCPP_INLINE_VISIBILITY
|
|
bool
|
|
operator!=(const map<_Key, _Tp, _Compare, _Allocator>& __x,
|
|
const map<_Key, _Tp, _Compare, _Allocator>& __y)
|
|
{
|
|
return !(__x == __y);
|
|
}
|
|
|
|
template <class _Key, class _Tp, class _Compare, class _Allocator>
|
|
inline _LIBCPP_INLINE_VISIBILITY
|
|
bool
|
|
operator> (const map<_Key, _Tp, _Compare, _Allocator>& __x,
|
|
const map<_Key, _Tp, _Compare, _Allocator>& __y)
|
|
{
|
|
return __y < __x;
|
|
}
|
|
|
|
template <class _Key, class _Tp, class _Compare, class _Allocator>
|
|
inline _LIBCPP_INLINE_VISIBILITY
|
|
bool
|
|
operator>=(const map<_Key, _Tp, _Compare, _Allocator>& __x,
|
|
const map<_Key, _Tp, _Compare, _Allocator>& __y)
|
|
{
|
|
return !(__x < __y);
|
|
}
|
|
|
|
template <class _Key, class _Tp, class _Compare, class _Allocator>
|
|
inline _LIBCPP_INLINE_VISIBILITY
|
|
bool
|
|
operator<=(const map<_Key, _Tp, _Compare, _Allocator>& __x,
|
|
const map<_Key, _Tp, _Compare, _Allocator>& __y)
|
|
{
|
|
return !(__y < __x);
|
|
}
|
|
|
|
template <class _Key, class _Tp, class _Compare, class _Allocator>
|
|
inline _LIBCPP_INLINE_VISIBILITY
|
|
void
|
|
swap(map<_Key, _Tp, _Compare, _Allocator>& __x,
|
|
map<_Key, _Tp, _Compare, _Allocator>& __y)
|
|
_NOEXCEPT_(_NOEXCEPT_(__x.swap(__y)))
|
|
{
|
|
__x.swap(__y);
|
|
}
|
|
|
|
template <class _Key, class _Tp, class _Compare = less<_Key>,
|
|
class _Allocator = allocator<pair<const _Key, _Tp> > >
|
|
class _LIBCPP_VISIBLE multimap
|
|
{
|
|
public:
|
|
// types:
|
|
typedef _Key key_type;
|
|
typedef _Tp mapped_type;
|
|
typedef pair<const key_type, mapped_type> value_type;
|
|
typedef _Compare key_compare;
|
|
typedef _Allocator allocator_type;
|
|
typedef value_type& reference;
|
|
typedef const value_type& const_reference;
|
|
|
|
class _LIBCPP_VISIBLE value_compare
|
|
: public binary_function<value_type, value_type, bool>
|
|
{
|
|
friend class multimap;
|
|
protected:
|
|
key_compare comp;
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
value_compare(key_compare c) : comp(c) {}
|
|
public:
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
bool operator()(const value_type& __x, const value_type& __y) const
|
|
{return comp(__x.first, __y.first);}
|
|
};
|
|
|
|
private:
|
|
typedef pair<key_type, mapped_type> __value_type;
|
|
typedef __map_value_compare<key_type, mapped_type, key_compare> __vc;
|
|
typedef typename allocator_traits<allocator_type>::template
|
|
#ifndef _LIBCPP_HAS_NO_TEMPLATE_ALIASES
|
|
rebind_alloc<__value_type>
|
|
#else
|
|
rebind_alloc<__value_type>::other
|
|
#endif
|
|
__allocator_type;
|
|
typedef __tree<__value_type, __vc, __allocator_type> __base;
|
|
typedef typename __base::__node_traits __node_traits;
|
|
typedef allocator_traits<allocator_type> __alloc_traits;
|
|
|
|
__base __tree_;
|
|
|
|
public:
|
|
typedef typename __alloc_traits::pointer pointer;
|
|
typedef typename __alloc_traits::const_pointer const_pointer;
|
|
typedef typename __alloc_traits::size_type size_type;
|
|
typedef typename __alloc_traits::difference_type difference_type;
|
|
typedef __map_iterator<typename __base::iterator> iterator;
|
|
typedef __map_const_iterator<typename __base::const_iterator> const_iterator;
|
|
typedef _VSTD::reverse_iterator<iterator> reverse_iterator;
|
|
typedef _VSTD::reverse_iterator<const_iterator> const_reverse_iterator;
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
explicit multimap(const key_compare& __comp = key_compare())
|
|
_NOEXCEPT_(
|
|
is_nothrow_default_constructible<allocator_type>::value &&
|
|
is_nothrow_default_constructible<key_compare>::value &&
|
|
is_nothrow_copy_constructible<key_compare>::value)
|
|
: __tree_(__vc(__comp)) {}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
explicit multimap(const key_compare& __comp, const allocator_type& __a)
|
|
: __tree_(__vc(__comp), __a) {}
|
|
|
|
template <class _InputIterator>
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
multimap(_InputIterator __f, _InputIterator __l,
|
|
const key_compare& __comp = key_compare())
|
|
: __tree_(__vc(__comp))
|
|
{
|
|
insert(__f, __l);
|
|
}
|
|
|
|
template <class _InputIterator>
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
multimap(_InputIterator __f, _InputIterator __l,
|
|
const key_compare& __comp, const allocator_type& __a)
|
|
: __tree_(__vc(__comp), __a)
|
|
{
|
|
insert(__f, __l);
|
|
}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
multimap(const multimap& __m)
|
|
: __tree_(__m.__tree_.value_comp(),
|
|
__alloc_traits::select_on_container_copy_construction(__m.__tree_.__alloc()))
|
|
{
|
|
insert(__m.begin(), __m.end());
|
|
}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
multimap& operator=(const multimap& __m)
|
|
{
|
|
__tree_ = __m.__tree_;
|
|
return *this;
|
|
}
|
|
|
|
#ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
multimap(multimap&& __m)
|
|
_NOEXCEPT_(is_nothrow_move_constructible<__base>::value)
|
|
: __tree_(_VSTD::move(__m.__tree_))
|
|
{
|
|
}
|
|
|
|
multimap(multimap&& __m, const allocator_type& __a);
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
multimap& operator=(multimap&& __m)
|
|
_NOEXCEPT_(is_nothrow_move_assignable<__base>::value)
|
|
{
|
|
__tree_ = _VSTD::move(__m.__tree_);
|
|
return *this;
|
|
}
|
|
|
|
#endif // _LIBCPP_HAS_NO_RVALUE_REFERENCES
|
|
|
|
#ifndef _LIBCPP_HAS_NO_GENERALIZED_INITIALIZERS
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
multimap(initializer_list<value_type> __il, const key_compare& __comp = key_compare())
|
|
: __tree_(__vc(__comp))
|
|
{
|
|
insert(__il.begin(), __il.end());
|
|
}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
multimap(initializer_list<value_type> __il, const key_compare& __comp, const allocator_type& __a)
|
|
: __tree_(__vc(__comp), __a)
|
|
{
|
|
insert(__il.begin(), __il.end());
|
|
}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
multimap& operator=(initializer_list<value_type> __il)
|
|
{
|
|
__tree_.__assign_multi(__il.begin(), __il.end());
|
|
return *this;
|
|
}
|
|
|
|
#endif // _LIBCPP_HAS_NO_GENERALIZED_INITIALIZERS
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
explicit multimap(const allocator_type& __a)
|
|
: __tree_(__a)
|
|
{
|
|
}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
multimap(const multimap& __m, const allocator_type& __a)
|
|
: __tree_(__m.__tree_.value_comp(), __a)
|
|
{
|
|
insert(__m.begin(), __m.end());
|
|
}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
iterator begin() _NOEXCEPT {return __tree_.begin();}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
const_iterator begin() const _NOEXCEPT {return __tree_.begin();}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
iterator end() _NOEXCEPT {return __tree_.end();}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
const_iterator end() const _NOEXCEPT {return __tree_.end();}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
reverse_iterator rbegin() _NOEXCEPT {return reverse_iterator(end());}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
const_reverse_iterator rbegin() const _NOEXCEPT
|
|
{return const_reverse_iterator(end());}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
reverse_iterator rend() _NOEXCEPT {return reverse_iterator(begin());}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
const_reverse_iterator rend() const _NOEXCEPT
|
|
{return const_reverse_iterator(begin());}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
const_iterator cbegin() const _NOEXCEPT {return begin();}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
const_iterator cend() const _NOEXCEPT {return end();}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
const_reverse_iterator crbegin() const _NOEXCEPT {return rbegin();}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
const_reverse_iterator crend() const _NOEXCEPT {return rend();}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
bool empty() const _NOEXCEPT {return __tree_.size() == 0;}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
size_type size() const _NOEXCEPT {return __tree_.size();}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
size_type max_size() const _NOEXCEPT {return __tree_.max_size();}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
allocator_type get_allocator() const _NOEXCEPT {return __tree_.__alloc();}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
key_compare key_comp() const {return __tree_.value_comp().key_comp();}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
value_compare value_comp() const
|
|
{return value_compare(__tree_.value_comp().key_comp());}
|
|
|
|
#ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
iterator emplace() {return __tree_.__emplace_multi();}
|
|
|
|
template <class _A0,
|
|
class = typename enable_if<is_constructible<value_type, _A0>::value>::type>
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
iterator
|
|
emplace(_A0&& __a0)
|
|
{return __tree_.__emplace_multi(_VSTD::forward<_A0>(__a0));}
|
|
|
|
#ifndef _LIBCPP_HAS_NO_VARIADICS
|
|
|
|
template <class _A0, class ..._Args,
|
|
class = typename enable_if<is_constructible<key_type, _A0>::value>::type>
|
|
iterator
|
|
emplace(_A0&& __a0, _Args&& ...__args);
|
|
|
|
#endif // _LIBCPP_HAS_NO_VARIADICS
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
iterator emplace_hint(const_iterator __p)
|
|
{return __tree_.__emplace_hint_multi(__p.__i_);}
|
|
|
|
template <class _A0,
|
|
class = typename enable_if<is_constructible<value_type, _A0>::value>::type>
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
iterator
|
|
emplace_hint(const_iterator __p, _A0&& __a0)
|
|
{return __tree_.__emplace_hint_multi(__p.__i_, _VSTD::forward<_A0>(__a0));}
|
|
|
|
#ifndef _LIBCPP_HAS_NO_VARIADICS
|
|
|
|
template <class _A0, class ..._Args,
|
|
class = typename enable_if<is_constructible<key_type, _A0>::value>::type>
|
|
iterator
|
|
emplace_hint(const_iterator __p, _A0&& __a0, _Args&& ...__args);
|
|
|
|
#endif // _LIBCPP_HAS_NO_VARIADICS
|
|
|
|
template <class _P,
|
|
class = typename enable_if<is_constructible<value_type, _P>::value>::type>
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
iterator insert(_P&& __p)
|
|
{return __tree_.__insert_multi(_VSTD::forward<_P>(__p));}
|
|
|
|
template <class _P,
|
|
class = typename enable_if<is_constructible<value_type, _P>::value>::type>
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
iterator insert(const_iterator __pos, _P&& __p)
|
|
{return __tree_.__insert_multi(__pos.__i_, _VSTD::forward<_P>(__p));}
|
|
|
|
#endif // _LIBCPP_HAS_NO_RVALUE_REFERENCES
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
iterator insert(const value_type& __v) {return __tree_.__insert_multi(__v);}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
iterator insert(const_iterator __p, const value_type& __v)
|
|
{return __tree_.__insert_multi(__p.__i_, __v);}
|
|
|
|
template <class _InputIterator>
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
void insert(_InputIterator __f, _InputIterator __l)
|
|
{
|
|
for (const_iterator __e = cend(); __f != __l; ++__f)
|
|
__tree_.__insert_multi(__e.__i_, *__f);
|
|
}
|
|
|
|
#ifndef _LIBCPP_HAS_NO_GENERALIZED_INITIALIZERS
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
void insert(initializer_list<value_type> __il)
|
|
{insert(__il.begin(), __il.end());}
|
|
|
|
#endif // _LIBCPP_HAS_NO_GENERALIZED_INITIALIZERS
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
iterator erase(const_iterator __p) {return __tree_.erase(__p.__i_);}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
size_type erase(const key_type& __k) {return __tree_.__erase_multi(__k);}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
iterator erase(const_iterator __f, const_iterator __l)
|
|
{return __tree_.erase(__f.__i_, __l.__i_);}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
void clear() {__tree_.clear();}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
void swap(multimap& __m)
|
|
_NOEXCEPT_(__is_nothrow_swappable<__base>::value)
|
|
{__tree_.swap(__m.__tree_);}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
iterator find(const key_type& __k) {return __tree_.find(__k);}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
const_iterator find(const key_type& __k) const {return __tree_.find(__k);}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
size_type count(const key_type& __k) const
|
|
{return __tree_.__count_multi(__k);}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
iterator lower_bound(const key_type& __k)
|
|
{return __tree_.lower_bound(__k);}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
const_iterator lower_bound(const key_type& __k) const
|
|
{return __tree_.lower_bound(__k);}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
iterator upper_bound(const key_type& __k)
|
|
{return __tree_.upper_bound(__k);}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
const_iterator upper_bound(const key_type& __k) const
|
|
{return __tree_.upper_bound(__k);}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
pair<iterator,iterator> equal_range(const key_type& __k)
|
|
{return __tree_.__equal_range_multi(__k);}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
pair<const_iterator,const_iterator> equal_range(const key_type& __k) const
|
|
{return __tree_.__equal_range_multi(__k);}
|
|
|
|
private:
|
|
typedef typename __base::__node __node;
|
|
typedef typename __base::__node_allocator __node_allocator;
|
|
typedef typename __base::__node_pointer __node_pointer;
|
|
typedef typename __base::__node_const_pointer __node_const_pointer;
|
|
typedef __map_node_destructor<__node_allocator> _D;
|
|
typedef unique_ptr<__node, _D> __node_holder;
|
|
|
|
#ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES
|
|
__node_holder __construct_node();
|
|
template <class _A0,
|
|
class = typename enable_if<is_constructible<value_type, _A0>::value>::type>
|
|
__node_holder __construct_node(_A0&& __a0);
|
|
#ifndef _LIBCPP_HAS_NO_VARIADICS
|
|
template <class _A0, class ..._Args,
|
|
class = typename enable_if<is_constructible<key_type, _A0>::value>::type>
|
|
__node_holder __construct_node(_A0&& __a0, _Args&& ...__args);
|
|
#endif // _LIBCPP_HAS_NO_VARIADICS
|
|
#endif // _LIBCPP_HAS_NO_RVALUE_REFERENCES
|
|
};
|
|
|
|
#ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES
|
|
|
|
template <class _Key, class _Tp, class _Compare, class _Allocator>
|
|
multimap<_Key, _Tp, _Compare, _Allocator>::multimap(multimap&& __m, const allocator_type& __a)
|
|
: __tree_(_VSTD::move(__m.__tree_), __a)
|
|
{
|
|
if (__a != __m.get_allocator())
|
|
{
|
|
const_iterator __e = cend();
|
|
while (!__m.empty())
|
|
__tree_.__insert_multi(__e.__i_,
|
|
_VSTD::move(__m.__tree_.remove(__m.begin().__i_)->__value_));
|
|
}
|
|
}
|
|
|
|
template <class _Key, class _Tp, class _Compare, class _Allocator>
|
|
typename multimap<_Key, _Tp, _Compare, _Allocator>::__node_holder
|
|
multimap<_Key, _Tp, _Compare, _Allocator>::__construct_node()
|
|
{
|
|
__node_allocator& __na = __tree_.__node_alloc();
|
|
__node_holder __h(__node_traits::allocate(__na, 1), _D(__na));
|
|
__node_traits::construct(__na, _VSTD::addressof(__h->__value_.first));
|
|
__h.get_deleter().__first_constructed = true;
|
|
__node_traits::construct(__na, _VSTD::addressof(__h->__value_.second));
|
|
__h.get_deleter().__second_constructed = true;
|
|
return __h;
|
|
}
|
|
|
|
template <class _Key, class _Tp, class _Compare, class _Allocator>
|
|
template <class _A0,
|
|
class // = typename enable_if<is_constructible<value_type, _A0>::value>::type
|
|
>
|
|
typename multimap<_Key, _Tp, _Compare, _Allocator>::__node_holder
|
|
multimap<_Key, _Tp, _Compare, _Allocator>::__construct_node(_A0&& __a0)
|
|
{
|
|
__node_allocator& __na = __tree_.__node_alloc();
|
|
__node_holder __h(__node_traits::allocate(__na, 1), _D(__na));
|
|
__node_traits::construct(__na, _VSTD::addressof(__h->__value_), _VSTD::forward<_A0>(__a0));
|
|
__h.get_deleter().__first_constructed = true;
|
|
__h.get_deleter().__second_constructed = true;
|
|
return __h;
|
|
}
|
|
|
|
#ifndef _LIBCPP_HAS_NO_VARIADICS
|
|
|
|
template <class _Key, class _Tp, class _Compare, class _Allocator>
|
|
template <class _A0, class ..._Args,
|
|
class // = typename enable_if<is_constructible<key_type, _A0>::value>::type
|
|
>
|
|
typename multimap<_Key, _Tp, _Compare, _Allocator>::__node_holder
|
|
multimap<_Key, _Tp, _Compare, _Allocator>::__construct_node(_A0&& __a0, _Args&& ...__args)
|
|
{
|
|
__node_allocator& __na = __tree_.__node_alloc();
|
|
__node_holder __h(__node_traits::allocate(__na, 1), _D(__na));
|
|
__node_traits::construct(__na, _VSTD::addressof(__h->__value_.first), _VSTD::forward<_A0>(__a0));
|
|
__h.get_deleter().__first_constructed = true;
|
|
__node_traits::construct(__na, _VSTD::addressof(__h->__value_.second), _VSTD::forward<_Args>(__args)...);
|
|
__h.get_deleter().__second_constructed = true;
|
|
return __h;
|
|
}
|
|
|
|
#endif // _LIBCPP_HAS_NO_VARIADICS
|
|
#endif // _LIBCPP_HAS_NO_RVALUE_REFERENCES
|
|
|
|
#if !defined(_LIBCPP_HAS_NO_RVALUE_REFERENCES) && !defined(_LIBCPP_HAS_NO_VARIADICS)
|
|
|
|
template <class _Key, class _Tp, class _Compare, class _Allocator>
|
|
template <class _A0, class ..._Args,
|
|
class //= typename enable_if<is_constructible<_Key, _A0>::value>::type
|
|
>
|
|
typename multimap<_Key, _Tp, _Compare, _Allocator>::iterator
|
|
multimap<_Key, _Tp, _Compare, _Allocator>::emplace(_A0&& __a0, _Args&& ...__args)
|
|
{
|
|
__node_holder __h = __construct_node(_VSTD::forward<_A0>(__a0),
|
|
_VSTD::forward<_Args>(__args)...);
|
|
iterator __r = __tree_.__node_insert_multi(__h.get());
|
|
__h.release();
|
|
return __r;
|
|
}
|
|
|
|
template <class _Key, class _Tp, class _Compare, class _Allocator>
|
|
template <class _A0, class ..._Args,
|
|
class //= typename enable_if<is_constructible<_Key, _A0>::value>::type
|
|
>
|
|
typename multimap<_Key, _Tp, _Compare, _Allocator>::iterator
|
|
multimap<_Key, _Tp, _Compare, _Allocator>::emplace_hint(const_iterator __p,
|
|
_A0&& __a0,
|
|
_Args&& ...__args)
|
|
{
|
|
__node_holder __h = __construct_node(_VSTD::forward<_A0>(__a0),
|
|
_VSTD::forward<_Args>(__args)...);
|
|
iterator __r = __tree_.__node_insert_multi(__p.__i_, __h.get());
|
|
__h.release();
|
|
return __r;
|
|
}
|
|
|
|
#endif // !defined(_LIBCPP_HAS_NO_RVALUE_REFERENCES) && !defined(_LIBCPP_HAS_NO_VARIADICS)
|
|
|
|
template <class _Key, class _Tp, class _Compare, class _Allocator>
|
|
inline _LIBCPP_INLINE_VISIBILITY
|
|
bool
|
|
operator==(const multimap<_Key, _Tp, _Compare, _Allocator>& __x,
|
|
const multimap<_Key, _Tp, _Compare, _Allocator>& __y)
|
|
{
|
|
return __x.size() == __y.size() && _VSTD::equal(__x.begin(), __x.end(), __y.begin());
|
|
}
|
|
|
|
template <class _Key, class _Tp, class _Compare, class _Allocator>
|
|
inline _LIBCPP_INLINE_VISIBILITY
|
|
bool
|
|
operator< (const multimap<_Key, _Tp, _Compare, _Allocator>& __x,
|
|
const multimap<_Key, _Tp, _Compare, _Allocator>& __y)
|
|
{
|
|
return _VSTD::lexicographical_compare(__x.begin(), __x.end(), __y.begin(), __y.end());
|
|
}
|
|
|
|
template <class _Key, class _Tp, class _Compare, class _Allocator>
|
|
inline _LIBCPP_INLINE_VISIBILITY
|
|
bool
|
|
operator!=(const multimap<_Key, _Tp, _Compare, _Allocator>& __x,
|
|
const multimap<_Key, _Tp, _Compare, _Allocator>& __y)
|
|
{
|
|
return !(__x == __y);
|
|
}
|
|
|
|
template <class _Key, class _Tp, class _Compare, class _Allocator>
|
|
inline _LIBCPP_INLINE_VISIBILITY
|
|
bool
|
|
operator> (const multimap<_Key, _Tp, _Compare, _Allocator>& __x,
|
|
const multimap<_Key, _Tp, _Compare, _Allocator>& __y)
|
|
{
|
|
return __y < __x;
|
|
}
|
|
|
|
template <class _Key, class _Tp, class _Compare, class _Allocator>
|
|
inline _LIBCPP_INLINE_VISIBILITY
|
|
bool
|
|
operator>=(const multimap<_Key, _Tp, _Compare, _Allocator>& __x,
|
|
const multimap<_Key, _Tp, _Compare, _Allocator>& __y)
|
|
{
|
|
return !(__x < __y);
|
|
}
|
|
|
|
template <class _Key, class _Tp, class _Compare, class _Allocator>
|
|
inline _LIBCPP_INLINE_VISIBILITY
|
|
bool
|
|
operator<=(const multimap<_Key, _Tp, _Compare, _Allocator>& __x,
|
|
const multimap<_Key, _Tp, _Compare, _Allocator>& __y)
|
|
{
|
|
return !(__y < __x);
|
|
}
|
|
|
|
template <class _Key, class _Tp, class _Compare, class _Allocator>
|
|
inline _LIBCPP_INLINE_VISIBILITY
|
|
void
|
|
swap(multimap<_Key, _Tp, _Compare, _Allocator>& __x,
|
|
multimap<_Key, _Tp, _Compare, _Allocator>& __y)
|
|
_NOEXCEPT_(_NOEXCEPT_(__x.swap(__y)))
|
|
{
|
|
__x.swap(__y);
|
|
}
|
|
|
|
_LIBCPP_END_NAMESPACE_STD
|
|
|
|
#endif // _LIBCPP_MAP
|