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 // UNSUPPORTED: c++98, c++03 11 12 // <set> 13 14 // class set 15 16 // set(set&& s, const allocator_type& a); 17 18 #include <set> 19 #include <cassert> 20 21 #include "MoveOnly.h" 22 #include "../../../test_compare.h" 23 #include "test_allocator.h" 24 #include "Counter.h" 25 26 int main() 27 { 28 { 29 typedef MoveOnly V; 30 typedef test_compare<std::less<MoveOnly> > C; 31 typedef test_allocator<V> A; 32 typedef std::set<MoveOnly, C, A> M; 33 typedef std::move_iterator<V*> I; 34 V a1[] = 35 { 36 V(1), 37 V(1), 38 V(1), 39 V(2), 40 V(2), 41 V(2), 42 V(3), 43 V(3), 44 V(3) 45 }; 46 M m1(I(a1), I(a1+sizeof(a1)/sizeof(a1[0])), C(5), A(7)); 47 V a2[] = 48 { 49 V(1), 50 V(1), 51 V(1), 52 V(2), 53 V(2), 54 V(2), 55 V(3), 56 V(3), 57 V(3) 58 }; 59 M m2(I(a2), I(a2+sizeof(a2)/sizeof(a2[0])), C(5), A(7)); 60 M m3(std::move(m1), A(7)); 61 assert(m3 == m2); 62 assert(m3.get_allocator() == A(7)); 63 assert(m3.key_comp() == C(5)); 64 assert(m1.empty()); 65 } 66 { 67 typedef MoveOnly V; 68 typedef test_compare<std::less<MoveOnly> > C; 69 typedef test_allocator<V> A; 70 typedef std::set<MoveOnly, C, A> M; 71 typedef std::move_iterator<V*> I; 72 V a1[] = 73 { 74 V(1), 75 V(1), 76 V(1), 77 V(2), 78 V(2), 79 V(2), 80 V(3), 81 V(3), 82 V(3) 83 }; 84 M m1(I(a1), I(a1+sizeof(a1)/sizeof(a1[0])), C(5), A(7)); 85 V a2[] = 86 { 87 V(1), 88 V(1), 89 V(1), 90 V(2), 91 V(2), 92 V(2), 93 V(3), 94 V(3), 95 V(3) 96 }; 97 M m2(I(a2), I(a2+sizeof(a2)/sizeof(a2[0])), C(5), A(7)); 98 M m3(std::move(m1), A(5)); 99 assert(m3 == m2); 100 assert(m3.get_allocator() == A(5)); 101 assert(m3.key_comp() == C(5)); 102 assert(m1.empty()); 103 } 104 { 105 typedef MoveOnly V; 106 typedef test_compare<std::less<MoveOnly> > C; 107 typedef other_allocator<V> A; 108 typedef std::set<MoveOnly, C, A> M; 109 typedef std::move_iterator<V*> I; 110 V a1[] = 111 { 112 V(1), 113 V(1), 114 V(1), 115 V(2), 116 V(2), 117 V(2), 118 V(3), 119 V(3), 120 V(3) 121 }; 122 M m1(I(a1), I(a1+sizeof(a1)/sizeof(a1[0])), C(5), A(7)); 123 V a2[] = 124 { 125 V(1), 126 V(1), 127 V(1), 128 V(2), 129 V(2), 130 V(2), 131 V(3), 132 V(3), 133 V(3) 134 }; 135 M m2(I(a2), I(a2+sizeof(a2)/sizeof(a2[0])), C(5), A(7)); 136 M m3(std::move(m1), A(5)); 137 assert(m3 == m2); 138 assert(m3.get_allocator() == A(5)); 139 assert(m3.key_comp() == C(5)); 140 assert(m1.empty()); 141 } 142 { 143 typedef Counter<int> V; 144 typedef std::less<V> C; 145 typedef test_allocator<V> A; 146 typedef std::set<V, C, A> M; 147 typedef V* I; 148 Counter_base::gConstructed = 0; 149 { 150 V a1[] = 151 { 152 V(1), 153 V(1), 154 V(1), 155 V(2), 156 V(2), 157 V(2), 158 V(3), 159 V(3), 160 V(3) 161 }; 162 const size_t num = sizeof(a1)/sizeof(a1[0]); 163 assert(Counter_base::gConstructed == num); 164 165 M m1(I(a1), I(a1+num), C(), A()); 166 assert(Counter_base::gConstructed == 3+num); 167 168 M m2(m1); 169 assert(m2 == m1); 170 assert(Counter_base::gConstructed == 6+num); 171 172 M m3(std::move(m1), A()); 173 assert(m3 == m2); 174 assert(m1.empty()); 175 assert(Counter_base::gConstructed == 6+num); 176 177 { 178 M m4(std::move(m2), A(5)); 179 assert(Counter_base::gConstructed == 6+num); 180 assert(m4 == m3); 181 assert(m2.empty()); 182 } 183 assert(Counter_base::gConstructed == 3+num); 184 } 185 assert(Counter_base::gConstructed == 0); 186 } 187 188 } 189
