libcxx/test/std/containers/associative/map/map.cons/from_range.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
   9 // UNSUPPORTED: c++03, c++11, c++14, c++17, c++20
  10
  11 // template<container-compatible-range<value_type> R>
  12 //   map(from_range_t, R&& rg, const Compare& comp = Compare(), const Allocator& = Allocator()); // C++23
  13 //
  14 // template<container-compatible-range<value_type> R>
  15 //   map(from_range_t, R&& rg, const Allocator& a))
  16 //     : map(from_range, std::forward<R>(rg), Compare(), a) { } // C++23
  17
  18 #include <array>
  19 #include <map>
  20
  21 #include "../../from_range_associative_containers.h"
  22 #include "test_macros.h"
  23
  24 void test_duplicates() {
  25   using T = std::pair<const int, char>;
  26
  27   std::array input = {
  28     T{1, 'a'}, T{2, 'a'}, T{3, 'a'}, T{3, 'b'}, T{3, 'c'}, T{2, 'b'}, T{4, 'a'}
  29   };
  30   std::array expected = {
  31     T{1, 'a'}, T{2, 'a'}, T{3, 'a'}, T{4, 'a'}
  32   };
  33   auto c = std::map<int, char>(std::from_range, input);
  34   assert(std::ranges::is_permutation(expected, c));
  35 }
  36
  37 int main(int, char**) {
  38   using T = std::pair<const int, int>;
  39   for_all_iterators_and_allocators<T>([]<class Iter, class Sent, class Alloc>() {
  40     test_associative_map<std::map, int, int, Iter, Sent, test_less<int>, Alloc>();
  41   });
  42   test_associative_map_move_only<std::map>();
  43   test_duplicates();
  44
  45   static_assert(test_map_constraints<std::map, int, int, double, double>());
  46
  47   test_map_exception_safety_throwing_copy<std::map>();
  48   test_map_exception_safety_throwing_allocator<std::map, int, int>();
  49
  50   return 0;
  51 }