llvm-project

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
}
52