test/std/containers/unord/unord.multiset/erase_const_iter.pass.cpp

   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_multiset
  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_multiset<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() == 5);
  54         assert(c.count(1) == 2);
  55         assert(c.count(2) == 1);
  56         assert(c.count(3) == 1);
  57         assert(c.count(4) == 1);
  58     }
  59 #if TEST_STD_VER >= 11
  60     {
  61         typedef std::unordered_multiset<int, std::hash<int>,
  62                                       std::equal_to<int>, min_allocator<int>> C;
  63         typedef int P;
  64         P a[] =
  65         {
  66             P(1),
  67             P(2),
  68             P(3),
  69             P(4),
  70             P(1),
  71             P(2)
  72         };
  73         C c(a, a + sizeof(a)/sizeof(a[0]));
  74         C::const_iterator i = c.find(2);
  75         C::const_iterator i_next = i;
  76         ++i_next;
  77         C::iterator j = c.erase(i);
  78         assert(j == i_next);
  79         assert(c.size() == 5);
  80         assert(c.count(1) == 2);
  81         assert(c.count(2) == 1);
  82         assert(c.count(3) == 1);
  83         assert(c.count(4) == 1);
  84     }
  85 #endif
  86 #if TEST_STD_VER >= 14
  87     {
  88     //  This is LWG #2059
  89         typedef TemplateConstructor T;
  90         typedef std::unordered_set<T, Hash> C;
  91         typedef C::iterator I;
  92
  93         C m;
  94         T a{0};
  95         I it = m.find(a);
  96         if (it != m.end())
  97             m.erase(it);
  98     }
  99 #endif
 100 }