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++98, c++03, c++11, c++14
10 
11 // <map>
12 
13 // class map
14 
15 // template <class C2>
16 //   void merge(map<key_type, value_type, C2, allocator_type>& source);
17 // template <class C2>
18 //   void merge(map<key_type, value_type, C2, allocator_type>&& source);
19 // template <class C2>
20 //   void merge(multimap<key_type, value_type, C2, allocator_type>& source);
21 // template <class C2>
22 //   void merge(multimap<key_type, value_type, C2, allocator_type>&& source);
23 
24 #include <map>
25 #include <cassert>
26 #include "test_macros.h"
27 #include "Counter.h"
28 
29 template <class Map>
map_equal(const Map & map,Map other)30 bool map_equal(const Map& map, Map other)
31 {
32     return map == other;
33 }
34 
35 #ifndef TEST_HAS_NO_EXCEPTIONS
36 struct throw_comparator
37 {
38     bool& should_throw_;
39 
throw_comparatorthrow_comparator40     throw_comparator(bool& should_throw) : should_throw_(should_throw) {}
41 
42     template <class T>
operator ()throw_comparator43     bool operator()(const T& lhs, const T& rhs) const
44     {
45         if (should_throw_)
46             throw 0;
47         return lhs < rhs;
48     }
49 };
50 #endif
51 
main(int,char **)52 int main(int, char**)
53 {
54     {
55         std::map<int, int> src{{1, 0}, {3, 0}, {5, 0}};
56         std::map<int, int> dst{{2, 0}, {4, 0}, {5, 0}};
57         dst.merge(src);
58         assert(map_equal(src, {{5,0}}));
59         assert(map_equal(dst, {{1, 0}, {2, 0}, {3, 0}, {4, 0}, {5, 0}}));
60     }
61 
62 #ifndef TEST_HAS_NO_EXCEPTIONS
63     {
64         bool do_throw = false;
65         typedef std::map<Counter<int>, int, throw_comparator> map_type;
66         map_type src({{1, 0}, {3, 0}, {5, 0}}, throw_comparator(do_throw));
67         map_type dst({{2, 0}, {4, 0}, {5, 0}}, throw_comparator(do_throw));
68 
69         assert(Counter_base::gConstructed == 6);
70 
71         do_throw = true;
72         try
73         {
74             dst.merge(src);
75         }
76         catch (int)
77         {
78             do_throw = false;
79         }
80         assert(!do_throw);
81         assert(map_equal(src, map_type({{1, 0}, {3, 0}, {5, 0}}, throw_comparator(do_throw))));
82         assert(map_equal(dst, map_type({{2, 0}, {4, 0}, {5, 0}}, throw_comparator(do_throw))));
83     }
84 #endif
85     assert(Counter_base::gConstructed == 0);
86     struct comparator
87     {
88         comparator() = default;
89 
90         bool operator()(const Counter<int>& lhs, const Counter<int>& rhs) const
91         {
92             return lhs < rhs;
93         }
94     };
95     {
96         typedef std::map<Counter<int>, int, std::less<Counter<int>>> first_map_type;
97         typedef std::map<Counter<int>, int, comparator> second_map_type;
98         typedef std::multimap<Counter<int>, int, comparator> third_map_type;
99 
100         {
101             first_map_type first{{1, 0}, {2, 0}, {3, 0}};
102             second_map_type second{{2, 0}, {3, 0}, {4, 0}};
103             third_map_type third{{1, 0}, {3, 0}};
104 
105             assert(Counter_base::gConstructed == 8);
106 
107             first.merge(second);
108             first.merge(third);
109 
110             assert(map_equal(first, {{1, 0}, {2, 0}, {3, 0}, {4, 0}}));
111             assert(map_equal(second, {{2, 0}, {3, 0}}));
112             assert(map_equal(third, {{1, 0}, {3, 0}}));
113 
114             assert(Counter_base::gConstructed == 8);
115         }
116         assert(Counter_base::gConstructed == 0);
117         {
118             first_map_type first{{1, 0}, {2, 0}, {3, 0}};
119             second_map_type second{{2, 0}, {3, 0}, {4, 0}};
120             third_map_type third{{1, 0}, {3, 0}};
121 
122             assert(Counter_base::gConstructed == 8);
123 
124             first.merge(std::move(second));
125             first.merge(std::move(third));
126 
127             assert(map_equal(first, {{1, 0}, {2, 0}, {3, 0}, {4, 0}}));
128             assert(map_equal(second, {{2, 0}, {3, 0}}));
129             assert(map_equal(third, {{1, 0}, {3, 0}}));
130 
131             assert(Counter_base::gConstructed == 8);
132         }
133         assert(Counter_base::gConstructed == 0);
134     }
135     assert(Counter_base::gConstructed == 0);
136     {
137         std::map<int, int> first;
138         {
139             std::map<int, int> second;
140             first.merge(second);
141             first.merge(std::move(second));
142         }
143         {
144             std::multimap<int, int> second;
145             first.merge(second);
146             first.merge(std::move(second));
147         }
148     }
149     return 0;
150 }
151