1// Hashing map implementation -*- C++ -*-
2
3// Copyright (C) 2001-2021 Free Software Foundation, Inc.
4//
5// This file is part of the GNU ISO C++ Library. This library is free
6// software; you can redistribute it and/or modify it under the
7// terms of the GNU General Public License as published by the
8// Free Software Foundation; either version 3, or (at your option)
9// any later version.
10
11// This library is distributed in the hope that it will be useful,
12// but WITHOUT ANY WARRANTY; without even the implied warranty of
13// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14// GNU General Public License for more details.
15
16// Under Section 7 of GPL version 3, you are granted additional
17// permissions described in the GCC Runtime Library Exception, version
18// 3.1, as published by the Free Software Foundation.
19
20// You should have received a copy of the GNU General Public License and
21// a copy of the GCC Runtime Library Exception along with this program;
22// see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
23// <http://www.gnu.org/licenses/>.
24
25/*
26 * Copyright (c) 1996
27 * Silicon Graphics Computer Systems, Inc.
28 *
29 * Permission to use, copy, modify, distribute and sell this software
30 * and its documentation for any purpose is hereby granted without fee,
31 * provided that the above copyright notice appear in all copies and
32 * that both that copyright notice and this permission notice appear
33 * in supporting documentation. Silicon Graphics makes no
34 * representations about the suitability of this software for any
35 * purpose. It is provided "as is" without express or implied warranty.
36 *
37 *
38 * Copyright (c) 1994
39 * Hewlett-Packard Company
40 *
41 * Permission to use, copy, modify, distribute and sell this software
42 * and its documentation for any purpose is hereby granted without fee,
43 * provided that the above copyright notice appear in all copies and
44 * that both that copyright notice and this permission notice appear
45 * in supporting documentation. Hewlett-Packard Company makes no
46 * representations about the suitability of this software for any
47 * purpose. It is provided "as is" without express or implied warranty.
48 *
49 */
50
51/** @file backward/hash_map
52 * This file is a GNU extension to the Standard C++ Library (possibly
53 * containing extensions from the HP/SGI STL subset).
54 */
55
56#ifndef _BACKWARD_HASH_MAP
57#define _BACKWARD_HASH_MAP 1
58
59#ifndef _GLIBCXX_PERMIT_BACKWARD_HASH
60#include <backward/backward_warning.h>
61#endif
62
63#include <bits/c++config.h>
64#include <backward/hashtable.h>
65#include <bits/concept_check.h>
66
67namespace __gnu_cxx _GLIBCXX_VISIBILITY(default)
68{
69_GLIBCXX_BEGIN_NAMESPACE_VERSION
70
71 using std::equal_to;
72 using std::allocator;
73 using std::pair;
74 using std::_Select1st;
75
76 /**
77 * This is an SGI extension.
78 * @ingroup SGIextensions
79 * @doctodo
80 */
81 template<class _Key, class _Tp, class _HashFn = hash<_Key>,
82 class _EqualKey = equal_to<_Key>, class _Alloc = allocator<_Tp> >
83 class hash_map
84 {
85 private:
86 typedef hashtable<pair<const _Key, _Tp>,_Key, _HashFn,
87 _Select1st<pair<const _Key, _Tp> >,
88 _EqualKey, _Alloc> _Ht;
89
90 _Ht _M_ht;
91
92 public:
93 typedef typename _Ht::key_type key_type;
94 typedef _Tp data_type;
95 typedef _Tp mapped_type;
96 typedef typename _Ht::value_type value_type;
97 typedef typename _Ht::hasher hasher;
98 typedef typename _Ht::key_equal key_equal;
99
100 typedef typename _Ht::size_type size_type;
101 typedef typename _Ht::difference_type difference_type;
102 typedef typename _Ht::pointer pointer;
103 typedef typename _Ht::const_pointer const_pointer;
104 typedef typename _Ht::reference reference;
105 typedef typename _Ht::const_reference const_reference;
106
107 typedef typename _Ht::iterator iterator;
108 typedef typename _Ht::const_iterator const_iterator;
109
110 typedef typename _Ht::allocator_type allocator_type;
111
112 hasher
113 hash_funct() const
114 { return _M_ht.hash_funct(); }
115
116 key_equal
117 key_eq() const
118 { return _M_ht.key_eq(); }
119
120 allocator_type
121 get_allocator() const
122 { return _M_ht.get_allocator(); }
123
124 hash_map()
125 : _M_ht(100, hasher(), key_equal(), allocator_type()) {}
126
127 explicit
128 hash_map(size_type __n)
129 : _M_ht(__n, hasher(), key_equal(), allocator_type()) {}
130
131 hash_map(size_type __n, const hasher& __hf)
132 : _M_ht(__n, __hf, key_equal(), allocator_type()) {}
133
134 hash_map(size_type __n, const hasher& __hf, const key_equal& __eql,
135 const allocator_type& __a = allocator_type())
136 : _M_ht(__n, __hf, __eql, __a) {}
137
138 template<class _InputIterator>
139 hash_map(_InputIterator __f, _InputIterator __l)
140 : _M_ht(100, hasher(), key_equal(), allocator_type())
141 { _M_ht.insert_unique(__f, __l); }
142
143 template<class _InputIterator>
144 hash_map(_InputIterator __f, _InputIterator __l, size_type __n)
145 : _M_ht(__n, hasher(), key_equal(), allocator_type())
146 { _M_ht.insert_unique(__f, __l); }
147
148 template<class _InputIterator>
149 hash_map(_InputIterator __f, _InputIterator __l, size_type __n,
150 const hasher& __hf)
151 : _M_ht(__n, __hf, key_equal(), allocator_type())
152 { _M_ht.insert_unique(__f, __l); }
153
154 template<class _InputIterator>
155 hash_map(_InputIterator __f, _InputIterator __l, size_type __n,
156 const hasher& __hf, const key_equal& __eql,
157 const allocator_type& __a = allocator_type())
158 : _M_ht(__n, __hf, __eql, __a)
159 { _M_ht.insert_unique(__f, __l); }
160
161 size_type
162 size() const
163 { return _M_ht.size(); }
164
165 size_type
166 max_size() const
167 { return _M_ht.max_size(); }
168
169 _GLIBCXX_NODISCARD bool
170 empty() const
171 { return _M_ht.empty(); }
172
173 void
174 swap(hash_map& __hs)
175 { _M_ht.swap(__hs._M_ht); }
176
177 template<class _K1, class _T1, class _HF, class _EqK, class _Al>
178 friend bool
179 operator== (const hash_map<_K1, _T1, _HF, _EqK, _Al>&,
180 const hash_map<_K1, _T1, _HF, _EqK, _Al>&);
181
182 iterator
183 begin()
184 { return _M_ht.begin(); }
185
186 iterator
187 end()
188 { return _M_ht.end(); }
189
190 const_iterator
191 begin() const
192 { return _M_ht.begin(); }
193
194 const_iterator
195 end() const
196 { return _M_ht.end(); }
197
198 pair<iterator, bool>
199 insert(const value_type& __obj)
200 { return _M_ht.insert_unique(__obj); }
201
202 template<class _InputIterator>
203 void
204 insert(_InputIterator __f, _InputIterator __l)
205 { _M_ht.insert_unique(__f, __l); }
206
207 pair<iterator, bool>
208 insert_noresize(const value_type& __obj)
209 { return _M_ht.insert_unique_noresize(__obj); }
210
211 iterator
212 find(const key_type& __key)
213 { return _M_ht.find(__key); }
214
215 const_iterator
216 find(const key_type& __key) const
217 { return _M_ht.find(__key); }
218
219 _Tp&
220 operator[](const key_type& __key)
221 { return _M_ht.find_or_insert(value_type(__key, _Tp())).second; }
222
223 size_type
224 count(const key_type& __key) const
225 { return _M_ht.count(__key); }
226
227 pair<iterator, iterator>
228 equal_range(const key_type& __key)
229 { return _M_ht.equal_range(__key); }
230
231 pair<const_iterator, const_iterator>
232 equal_range(const key_type& __key) const
233 { return _M_ht.equal_range(__key); }
234
235 size_type
236 erase(const key_type& __key)
237 {return _M_ht.erase(__key); }
238
239 void
240 erase(iterator __it)
241 { _M_ht.erase(__it); }
242
243 void
244 erase(iterator __f, iterator __l)
245 { _M_ht.erase(__f, __l); }
246
247 void
248 clear()
249 { _M_ht.clear(); }
250
251 void
252 resize(size_type __hint)
253 { _M_ht.resize(__hint); }
254
255 size_type
256 bucket_count() const
257 { return _M_ht.bucket_count(); }
258
259 size_type
260 max_bucket_count() const
261 { return _M_ht.max_bucket_count(); }
262
263 size_type
264 elems_in_bucket(size_type __n) const
265 { return _M_ht.elems_in_bucket(__n); }
266 };
267
268 template<class _Key, class _Tp, class _HashFn, class _EqlKey, class _Alloc>
269 inline bool
270 operator==(const hash_map<_Key, _Tp, _HashFn, _EqlKey, _Alloc>& __hm1,
271 const hash_map<_Key, _Tp, _HashFn, _EqlKey, _Alloc>& __hm2)
272 { return __hm1._M_ht == __hm2._M_ht; }
273
274 template<class _Key, class _Tp, class _HashFn, class _EqlKey, class _Alloc>
275 inline bool
276 operator!=(const hash_map<_Key, _Tp, _HashFn, _EqlKey, _Alloc>& __hm1,
277 const hash_map<_Key, _Tp, _HashFn, _EqlKey, _Alloc>& __hm2)
278 { return !(__hm1 == __hm2); }
279
280 template<class _Key, class _Tp, class _HashFn, class _EqlKey, class _Alloc>
281 inline void
282 swap(hash_map<_Key, _Tp, _HashFn, _EqlKey, _Alloc>& __hm1,
283 hash_map<_Key, _Tp, _HashFn, _EqlKey, _Alloc>& __hm2)
284 { __hm1.swap(__hm2); }
285
286
287 /**
288 * This is an SGI extension.
289 * @ingroup SGIextensions
290 * @doctodo
291 */
292 template<class _Key, class _Tp,
293 class _HashFn = hash<_Key>,
294 class _EqualKey = equal_to<_Key>,
295 class _Alloc = allocator<_Tp> >
296 class hash_multimap
297 {
298 // concept requirements
299 __glibcxx_class_requires(_Key, _SGIAssignableConcept)
300 __glibcxx_class_requires(_Tp, _SGIAssignableConcept)
301 __glibcxx_class_requires3(_HashFn, size_t, _Key, _UnaryFunctionConcept)
302 __glibcxx_class_requires3(_EqualKey, _Key, _Key, _BinaryPredicateConcept)
303
304 private:
305 typedef hashtable<pair<const _Key, _Tp>, _Key, _HashFn,
306 _Select1st<pair<const _Key, _Tp> >, _EqualKey, _Alloc>
307 _Ht;
308
309 _Ht _M_ht;
310
311 public:
312 typedef typename _Ht::key_type key_type;
313 typedef _Tp data_type;
314 typedef _Tp mapped_type;
315 typedef typename _Ht::value_type value_type;
316 typedef typename _Ht::hasher hasher;
317 typedef typename _Ht::key_equal key_equal;
318
319 typedef typename _Ht::size_type size_type;
320 typedef typename _Ht::difference_type difference_type;
321 typedef typename _Ht::pointer pointer;
322 typedef typename _Ht::const_pointer const_pointer;
323 typedef typename _Ht::reference reference;
324 typedef typename _Ht::const_reference const_reference;
325
326 typedef typename _Ht::iterator iterator;
327 typedef typename _Ht::const_iterator const_iterator;
328
329 typedef typename _Ht::allocator_type allocator_type;
330
331 hasher
332 hash_funct() const
333 { return _M_ht.hash_funct(); }
334
335 key_equal
336 key_eq() const
337 { return _M_ht.key_eq(); }
338
339 allocator_type
340 get_allocator() const
341 { return _M_ht.get_allocator(); }
342
343 hash_multimap()
344 : _M_ht(100, hasher(), key_equal(), allocator_type()) {}
345
346 explicit
347 hash_multimap(size_type __n)
348 : _M_ht(__n, hasher(), key_equal(), allocator_type()) {}
349
350 hash_multimap(size_type __n, const hasher& __hf)
351 : _M_ht(__n, __hf, key_equal(), allocator_type()) {}
352
353 hash_multimap(size_type __n, const hasher& __hf, const key_equal& __eql,
354 const allocator_type& __a = allocator_type())
355 : _M_ht(__n, __hf, __eql, __a) {}
356
357 template<class _InputIterator>
358 hash_multimap(_InputIterator __f, _InputIterator __l)
359 : _M_ht(100, hasher(), key_equal(), allocator_type())
360 { _M_ht.insert_equal(__f, __l); }
361
362 template<class _InputIterator>
363 hash_multimap(_InputIterator __f, _InputIterator __l, size_type __n)
364 : _M_ht(__n, hasher(), key_equal(), allocator_type())
365 { _M_ht.insert_equal(__f, __l); }
366
367 template<class _InputIterator>
368 hash_multimap(_InputIterator __f, _InputIterator __l, size_type __n,
369 const hasher& __hf)
370 : _M_ht(__n, __hf, key_equal(), allocator_type())
371 { _M_ht.insert_equal(__f, __l); }
372
373 template<class _InputIterator>
374 hash_multimap(_InputIterator __f, _InputIterator __l, size_type __n,
375 const hasher& __hf, const key_equal& __eql,
376 const allocator_type& __a = allocator_type())
377 : _M_ht(__n, __hf, __eql, __a)
378 { _M_ht.insert_equal(__f, __l); }
379
380 size_type
381 size() const
382 { return _M_ht.size(); }
383
384 size_type
385 max_size() const
386 { return _M_ht.max_size(); }
387
388 _GLIBCXX_NODISCARD bool
389 empty() const
390 { return _M_ht.empty(); }
391
392 void
393 swap(hash_multimap& __hs)
394 { _M_ht.swap(__hs._M_ht); }
395
396 template<class _K1, class _T1, class _HF, class _EqK, class _Al>
397 friend bool
398 operator==(const hash_multimap<_K1, _T1, _HF, _EqK, _Al>&,
399 const hash_multimap<_K1, _T1, _HF, _EqK, _Al>&);
400
401 iterator
402 begin()
403 { return _M_ht.begin(); }
404
405 iterator
406 end()
407 { return _M_ht.end(); }
408
409 const_iterator
410 begin() const
411 { return _M_ht.begin(); }
412
413 const_iterator
414 end() const
415 { return _M_ht.end(); }
416
417 iterator
418 insert(const value_type& __obj)
419 { return _M_ht.insert_equal(__obj); }
420
421 template<class _InputIterator>
422 void
423 insert(_InputIterator __f, _InputIterator __l)
424 { _M_ht.insert_equal(__f,__l); }
425
426 iterator
427 insert_noresize(const value_type& __obj)
428 { return _M_ht.insert_equal_noresize(__obj); }
429
430 iterator
431 find(const key_type& __key)
432 { return _M_ht.find(__key); }
433
434 const_iterator
435 find(const key_type& __key) const
436 { return _M_ht.find(__key); }
437
438 size_type
439 count(const key_type& __key) const
440 { return _M_ht.count(__key); }
441
442 pair<iterator, iterator>
443 equal_range(const key_type& __key)
444 { return _M_ht.equal_range(__key); }
445
446 pair<const_iterator, const_iterator>
447 equal_range(const key_type& __key) const
448 { return _M_ht.equal_range(__key); }
449
450 size_type
451 erase(const key_type& __key)
452 { return _M_ht.erase(__key); }
453
454 void
455 erase(iterator __it)
456 { _M_ht.erase(__it); }
457
458 void
459 erase(iterator __f, iterator __l)
460 { _M_ht.erase(__f, __l); }
461
462 void
463 clear()
464 { _M_ht.clear(); }
465
466 void
467 resize(size_type __hint)
468 { _M_ht.resize(__hint); }
469
470 size_type
471 bucket_count() const
472 { return _M_ht.bucket_count(); }
473
474 size_type
475 max_bucket_count() const
476 { return _M_ht.max_bucket_count(); }
477
478 size_type
479 elems_in_bucket(size_type __n) const
480 { return _M_ht.elems_in_bucket(__n); }
481 };
482
483 template<class _Key, class _Tp, class _HF, class _EqKey, class _Alloc>
484 inline bool
485 operator==(const hash_multimap<_Key, _Tp, _HF, _EqKey, _Alloc>& __hm1,
486 const hash_multimap<_Key, _Tp, _HF, _EqKey, _Alloc>& __hm2)
487 { return __hm1._M_ht == __hm2._M_ht; }
488
489 template<class _Key, class _Tp, class _HF, class _EqKey, class _Alloc>
490 inline bool
491 operator!=(const hash_multimap<_Key, _Tp, _HF, _EqKey, _Alloc>& __hm1,
492 const hash_multimap<_Key, _Tp, _HF, _EqKey, _Alloc>& __hm2)
493 { return !(__hm1 == __hm2); }
494
495 template<class _Key, class _Tp, class _HashFn, class _EqlKey, class _Alloc>
496 inline void
497 swap(hash_multimap<_Key, _Tp, _HashFn, _EqlKey, _Alloc>& __hm1,
498 hash_multimap<_Key, _Tp, _HashFn, _EqlKey, _Alloc>& __hm2)
499 { __hm1.swap(__hm2); }
500
501_GLIBCXX_END_NAMESPACE_VERSION
502} // namespace
503
504namespace std _GLIBCXX_VISIBILITY(default)
505{
506_GLIBCXX_BEGIN_NAMESPACE_VERSION
507
508 // Specialization of insert_iterator so that it will work for hash_map
509 // and hash_multimap.
510 template<class _Key, class _Tp, class _HashFn, class _EqKey, class _Alloc>
511 class insert_iterator<__gnu_cxx::hash_map<_Key, _Tp, _HashFn,
512 _EqKey, _Alloc> >
513 {
514 protected:
515 typedef __gnu_cxx::hash_map<_Key, _Tp, _HashFn, _EqKey, _Alloc>
516 _Container;
517 _Container* container;
518
519 public:
520 typedef _Container container_type;
521 typedef output_iterator_tag iterator_category;
522 typedef void value_type;
523 typedef void difference_type;
524 typedef void pointer;
525 typedef void reference;
526
527 insert_iterator(_Container& __x)
528 : container(&__x) {}
529
530 insert_iterator(_Container& __x, typename _Container::iterator)
531 : container(&__x) {}
532
533 insert_iterator<_Container>&
534 operator=(const typename _Container::value_type& __value)
535 {
536 container->insert(__value);
537 return *this;
538 }
539
540 insert_iterator<_Container>&
541 operator*()
542 { return *this; }
543
544 insert_iterator<_Container>&
545 operator++() { return *this; }
546
547 insert_iterator<_Container>&
548 operator++(int)
549 { return *this; }
550 };
551
552 template<class _Key, class _Tp, class _HashFn, class _EqKey, class _Alloc>
553 class insert_iterator<__gnu_cxx::hash_multimap<_Key, _Tp, _HashFn,
554 _EqKey, _Alloc> >
555 {
556 protected:
557 typedef __gnu_cxx::hash_multimap<_Key, _Tp, _HashFn, _EqKey, _Alloc>
558 _Container;
559 _Container* container;
560 typename _Container::iterator iter;
561
562 public:
563 typedef _Container container_type;
564 typedef output_iterator_tag iterator_category;
565 typedef void value_type;
566 typedef void difference_type;
567 typedef void pointer;
568 typedef void reference;
569
570 insert_iterator(_Container& __x)
571 : container(&__x) {}
572
573 insert_iterator(_Container& __x, typename _Container::iterator)
574 : container(&__x) {}
575
576 insert_iterator<_Container>&
577 operator=(const typename _Container::value_type& __value)
578 {
579 container->insert(__value);
580 return *this;
581 }
582
583 insert_iterator<_Container>&
584 operator*()
585 { return *this; }
586
587 insert_iterator<_Container>&
588 operator++()
589 { return *this; }
590
591 insert_iterator<_Container>&
592 operator++(int)
593 { return *this; }
594 };
595
596_GLIBCXX_END_NAMESPACE_VERSION
597} // namespace
598
599#endif
600

source code of include/c++/11/ext/hash_map