1 //===----------------------------------------------------------------------===// 2 // 3 // The LLVM Compiler Infrastructure 4 // 5 // This file is dual licensed under the MIT and the University of Illinois Open 6 // Source Licenses. See LICENSE.TXT for details. 7 // 8 //===----------------------------------------------------------------------===// 9 10 // <unordered_set> 11 12 // template <class Value, class Hash = hash<Value>, class Pred = equal_to<Value>, 13 // class Alloc = allocator<Value>> 14 // class unordered_set 15 16 // iterator erase(const_iterator p) 17 18 #include <unordered_set> 19 #include <cassert> 20 21 #include "min_allocator.h" 22 23 struct TemplateConstructor 24 { 25 template<typename T> 26 TemplateConstructor (const T&) {} 27 }; 28 29 bool operator==(const TemplateConstructor&, const TemplateConstructor&) { return false; } 30 struct Hash { size_t operator() (const TemplateConstructor &) const { return 0; } }; 31 32 int main() 33 { 34 { 35 typedef std::unordered_set<int> C; 36 typedef int P; 37 P a[] = 38 { 39 P(1), 40 P(2), 41 P(3), 42 P(4), 43 P(1), 44 P(2) 45 }; 46 C c(a, a + sizeof(a)/sizeof(a[0])); 47 C::const_iterator i = c.find(2); 48 C::const_iterator i_next = i; 49 ++i_next; 50 C::iterator j = c.erase(i); 51 assert(j == i_next); 52 53 assert(c.size() == 3); 54 assert(c.count(1) == 1); 55 assert(c.count(3) == 1); 56 assert(c.count(4) == 1); 57 } 58 #if TEST_STD_VER >= 11 59 { 60 typedef std::unordered_set<int, std::hash<int>, std::equal_to<int>, min_allocator<int>> C; 61 typedef int P; 62 P a[] = 63 { 64 P(1), 65 P(2), 66 P(3), 67 P(4), 68 P(1), 69 P(2) 70 }; 71 C c(a, a + sizeof(a)/sizeof(a[0])); 72 C::const_iterator i = c.find(2); 73 C::const_iterator i_next = i; 74 ++i_next; 75 C::iterator j = c.erase(i); 76 assert(j == i_next); 77 78 assert(c.size() == 3); 79 assert(c.count(1) == 1); 80 assert(c.count(3) == 1); 81 assert(c.count(4) == 1); 82 } 83 #endif 84 #if TEST_STD_VER >= 14 85 { 86 // This is LWG #2059 87 typedef TemplateConstructor T; 88 typedef std::unordered_set<T, Hash> C; 89 typedef C::iterator I; 90 91 C m; 92 T a{0}; 93 I it = m.find(a); 94 if (it != m.end()) 95 m.erase(it); 96 } 97 #endif 98 } 99