libcxx/test/std/containers/unord/unord.set/erase_if.pass.cpp

   1 //===----------------------------------------------------------------------===//
   2 //
   3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
   4 // See https://llvm.org/LICENSE.txt for license information.
   5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
   6 //
   7 //===----------------------------------------------------------------------===//
   8 // UNSUPPORTED: c++98, c++03, c++11, c++14, c++17
   9
  10 // <unordered_set>
  11
  12 // template <class T, class Hash, class Compare, class Allocator, class Predicate>
  13 //   void erase_if(unorderd_set<T, Hash, Compare, Allocator>& c, Predicate pred);
  14
  15 #include <unordered_set>
  16
  17 #include "test_macros.h"
  18 #include "test_allocator.h"
  19 #include "min_allocator.h"
  20
  21 using Init = std::initializer_list<int>;
  22
  23 template <typename M>
  24 M make (Init vals)
  25 {
  26     M ret;
  27     for (int v : vals)
  28         ret.insert(v);
  29     return ret;
  30 }
  31
  32 template <typename M, typename Pred>
  33 void
  34 test0(Init vals, Pred p, Init expected)
  35 {
  36     M s = make<M> (vals);
  37     ASSERT_SAME_TYPE(void, decltype(std::erase_if(s, p)));
  38     std::erase_if(s, p);
  39     M e = make<M>(expected);
  40     assert((std::is_permutation(s.begin(), s.end(), e.begin(), e.end())));
  41 }
  42
  43
  44 template <typename S>
  45 void test()
  46 {
  47     auto is1 = [](auto v) { return v == 1;};
  48     auto is2 = [](auto v) { return v == 2;};
  49     auto is3 = [](auto v) { return v == 3;};
  50     auto is4 = [](auto v) { return v == 4;};
  51     auto True  = [](auto) { return true; };
  52     auto False = [](auto) { return false; };
  53
  54     test0<S>({}, is1, {});
  55
  56     test0<S>({1}, is1, {});
  57     test0<S>({1}, is2, {1});
  58
  59     test0<S>({1,2}, is1, {2});
  60     test0<S>({1,2}, is2, {1});
  61     test0<S>({1,2}, is3, {1,2});
  62
  63     test0<S>({1,2,3}, is1, {2,3});
  64     test0<S>({1,2,3}, is2, {1,3});
  65     test0<S>({1,2,3}, is3, {1,2});
  66     test0<S>({1,2,3}, is4, {1,2,3});
  67
  68     test0<S>({1,2,3}, True,  {});
  69     test0<S>({1,2,3}, False, {1,2,3});
  70 }
  71
  72 int main(int, char**)
  73 {
  74     test<std::unordered_set<int>>();
  75     test<std::unordered_set<int, std::hash<int>, std::equal_to<int>, min_allocator<int>>> ();
  76     test<std::unordered_set<int, std::hash<int>, std::equal_to<int>, test_allocator<int>>> ();
  77
  78     test<std::unordered_set<long>>();
  79     test<std::unordered_set<double>>();
  80
  81   return 0;
  82 }