1bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//===----------------------------------------------------------------------===// 2bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// 3f5256e16dfc425c1d466f6308d4026d529ce9e0bHoward Hinnant// The LLVM Compiler Infrastructure 4bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// 5b64f8b07c104c6cc986570ac8ee0ed16a9f23976Howard Hinnant// This file is dual licensed under the MIT and the University of Illinois Open 6b64f8b07c104c6cc986570ac8ee0ed16a9f23976Howard Hinnant// Source Licenses. See LICENSE.TXT for details. 7bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// 8bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//===----------------------------------------------------------------------===// 9bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 10bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// <unordered_map> 11bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 12bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// template <class Key, class T, class Hash = hash<Key>, class Pred = equal_to<Key>, 13bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// class Alloc = allocator<pair<const Key, T>>> 14bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// class unordered_multimap 15bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 16bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// void rehash(size_type n); 17bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 18bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include <unordered_map> 19bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include <string> 20bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include <cassert> 21f836d531b4146465342939fe32ae47d157ee07b2Howard Hinnant#include <cfloat> 22e5e9bff62a4ae030ca42d312dc73f03d9cf61c4eMarshall Clow#include <cmath> 2398605940df7a54649618c541b972a308cccaade9Stephan T. Lavavej#include <cstddef> 24bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 250809a7f62b7e43e2e5f3a31f66dd8cf097cfeb71Eric Fiselier#include "test_macros.h" 26061d0cc4db18d17bf01ed14c5db0be098205bd47Marshall Clow#include "min_allocator.h" 277a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant 287a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnanttemplate <class C> 297b7c9ec3558ae51bb4fc3c1a499ddf988cee0086Marshall Clowvoid rehash_postcondition(const C& c, size_t n) 307b7c9ec3558ae51bb4fc3c1a499ddf988cee0086Marshall Clow{ 317b7c9ec3558ae51bb4fc3c1a499ddf988cee0086Marshall Clow assert(c.bucket_count() >= c.size() / c.max_load_factor() && c.bucket_count() >= n); 327b7c9ec3558ae51bb4fc3c1a499ddf988cee0086Marshall Clow} 337b7c9ec3558ae51bb4fc3c1a499ddf988cee0086Marshall Clow 347b7c9ec3558ae51bb4fc3c1a499ddf988cee0086Marshall Clowtemplate <class C> 357a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnantvoid test(const C& c) 36bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant{ 37bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(c.size() == 6); 387a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant typedef std::pair<typename C::const_iterator, typename C::const_iterator> Eq; 39bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant Eq eq = c.equal_range(1); 40bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(std::distance(eq.first, eq.second) == 2); 417a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant typename C::const_iterator i = eq.first; 42bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(i->first == 1); 43bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(i->second == "one"); 44bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant ++i; 45bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(i->first == 1); 46bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(i->second == "four"); 47bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant eq = c.equal_range(2); 48bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(std::distance(eq.first, eq.second) == 2); 49bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant i = eq.first; 50bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(i->first == 2); 51bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(i->second == "two"); 52bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant ++i; 53bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(i->first == 2); 54bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(i->second == "four"); 55bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 56bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant eq = c.equal_range(3); 57bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(std::distance(eq.first, eq.second) == 1); 58bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant i = eq.first; 59bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(i->first == 3); 60bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(i->second == "three"); 61bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant eq = c.equal_range(4); 62bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(std::distance(eq.first, eq.second) == 1); 63bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant i = eq.first; 64bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(i->first == 4); 65bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(i->second == "four"); 6698605940df7a54649618c541b972a308cccaade9Stephan T. Lavavej assert(static_cast<std::size_t>(std::distance(c.begin(), c.end())) == c.size()); 6798605940df7a54649618c541b972a308cccaade9Stephan T. Lavavej assert(static_cast<std::size_t>(std::distance(c.cbegin(), c.cend())) == c.size()); 68e5e9bff62a4ae030ca42d312dc73f03d9cf61c4eMarshall Clow assert(std::fabs(c.load_factor() - (float)c.size()/c.bucket_count()) < FLT_EPSILON); 69bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant} 70bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 71bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnantint main() 72bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant{ 73bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant { 74bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant typedef std::unordered_multimap<int, std::string> C; 75bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant typedef std::pair<int, std::string> P; 76bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant P a[] = 77bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant { 78bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant P(1, "one"), 79bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant P(2, "two"), 80bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant P(3, "three"), 81bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant P(4, "four"), 82bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant P(1, "four"), 83bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant P(2, "four"), 84bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant }; 85bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant C c(a, a + sizeof(a)/sizeof(a[0])); 86bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test(c); 87bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(c.bucket_count() >= 7); 88bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant c.rehash(3); 897b7c9ec3558ae51bb4fc3c1a499ddf988cee0086Marshall Clow rehash_postcondition(c, 3); 900809a7f62b7e43e2e5f3a31f66dd8cf097cfeb71Eric Fiselier LIBCPP_ASSERT(c.bucket_count() == 7); 91bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test(c); 92bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant c.max_load_factor(2); 93bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant c.rehash(3); 947b7c9ec3558ae51bb4fc3c1a499ddf988cee0086Marshall Clow rehash_postcondition(c, 3); 950809a7f62b7e43e2e5f3a31f66dd8cf097cfeb71Eric Fiselier LIBCPP_ASSERT(c.bucket_count() == 3); 96bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test(c); 97bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant c.rehash(31); 987b7c9ec3558ae51bb4fc3c1a499ddf988cee0086Marshall Clow rehash_postcondition(c, 31); 990809a7f62b7e43e2e5f3a31f66dd8cf097cfeb71Eric Fiselier LIBCPP_ASSERT(c.bucket_count() == 31); 100bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test(c); 101bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant } 102d24c465beaec2fe9a0e365e6379cd5d3acaeb2caEric Fiselier#if TEST_STD_VER >= 11 1037a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant { 1047a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant typedef std::unordered_multimap<int, std::string, std::hash<int>, std::equal_to<int>, 1057a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant min_allocator<std::pair<const int, std::string>>> C; 1067a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant typedef std::pair<int, std::string> P; 1077a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant P a[] = 1087a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant { 1097a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant P(1, "one"), 1107a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant P(2, "two"), 1117a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant P(3, "three"), 1127a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant P(4, "four"), 1137a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant P(1, "four"), 1147a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant P(2, "four"), 1157a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant }; 1167a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant C c(a, a + sizeof(a)/sizeof(a[0])); 1177a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant test(c); 1187a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant assert(c.bucket_count() >= 7); 1197a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant c.rehash(3); 1207b7c9ec3558ae51bb4fc3c1a499ddf988cee0086Marshall Clow rehash_postcondition(c, 3); 1210809a7f62b7e43e2e5f3a31f66dd8cf097cfeb71Eric Fiselier LIBCPP_ASSERT(c.bucket_count() == 7); 1227a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant test(c); 1237a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant c.max_load_factor(2); 1247a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant c.rehash(3); 1257b7c9ec3558ae51bb4fc3c1a499ddf988cee0086Marshall Clow rehash_postcondition(c, 3); 1260809a7f62b7e43e2e5f3a31f66dd8cf097cfeb71Eric Fiselier LIBCPP_ASSERT(c.bucket_count() == 3); 1277a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant test(c); 1287a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant c.rehash(31); 1297b7c9ec3558ae51bb4fc3c1a499ddf988cee0086Marshall Clow rehash_postcondition(c, 31); 1300809a7f62b7e43e2e5f3a31f66dd8cf097cfeb71Eric Fiselier LIBCPP_ASSERT(c.bucket_count() == 31); 1317a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant test(c); 1327a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant } 1337a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant#endif 134bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant} 135