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 // <algorithm> 10 11 // template<InputIterator InIter, typename OutIter> 12 // requires OutputIterator<OutIter, RvalueOf<InIter::reference>::type> 13 // OutIter 14 // move(InIter first, InIter last, OutIter result); 15 16 #include <algorithm> 17 #include <cassert> 18 #include <memory> 19 20 #include "test_macros.h" 21 #include "test_iterators.h" 22 23 template <class InIter, class OutIter> 24 TEST_CONSTEXPR_CXX17 bool 25 test() 26 { 27 const unsigned N = 1000; 28 int ia[N] = {}; 29 for (unsigned i = 0; i < N; ++i) 30 ia[i] = i; 31 int ib[N] = {0}; 32 33 OutIter r = std::move(InIter(ia), InIter(ia+N), OutIter(ib)); 34 assert(base(r) == ib+N); 35 for (unsigned i = 0; i < N; ++i) 36 assert(ia[i] == ib[i]); 37 38 return true; 39 } 40 41 #if TEST_STD_VER >= 11 42 template <class InIter, class OutIter> 43 void 44 test1() 45 { 46 const unsigned N = 100; 47 std::unique_ptr<int> ia[N]; 48 for (unsigned i = 0; i < N; ++i) 49 ia[i].reset(new int(i)); 50 std::unique_ptr<int> ib[N]; 51 52 OutIter r = std::move(InIter(ia), InIter(ia+N), OutIter(ib)); 53 assert(base(r) == ib+N); 54 for (unsigned i = 0; i < N; ++i) 55 assert(*ib[i] == static_cast<int>(i)); 56 } 57 #endif 58 59 int main(int, char**) 60 { 61 test<cpp17_input_iterator<const int*>, output_iterator<int*> >(); 62 test<cpp17_input_iterator<const int*>, forward_iterator<int*> >(); 63 test<cpp17_input_iterator<const int*>, bidirectional_iterator<int*> >(); 64 test<cpp17_input_iterator<const int*>, random_access_iterator<int*> >(); 65 test<cpp17_input_iterator<const int*>, int*>(); 66 67 test<forward_iterator<const int*>, output_iterator<int*> >(); 68 test<forward_iterator<const int*>, forward_iterator<int*> >(); 69 test<forward_iterator<const int*>, bidirectional_iterator<int*> >(); 70 test<forward_iterator<const int*>, random_access_iterator<int*> >(); 71 test<forward_iterator<const int*>, int*>(); 72 73 test<bidirectional_iterator<const int*>, output_iterator<int*> >(); 74 test<bidirectional_iterator<const int*>, forward_iterator<int*> >(); 75 test<bidirectional_iterator<const int*>, bidirectional_iterator<int*> >(); 76 test<bidirectional_iterator<const int*>, random_access_iterator<int*> >(); 77 test<bidirectional_iterator<const int*>, int*>(); 78 79 test<random_access_iterator<const int*>, output_iterator<int*> >(); 80 test<random_access_iterator<const int*>, forward_iterator<int*> >(); 81 test<random_access_iterator<const int*>, bidirectional_iterator<int*> >(); 82 test<random_access_iterator<const int*>, random_access_iterator<int*> >(); 83 test<random_access_iterator<const int*>, int*>(); 84 85 test<const int*, output_iterator<int*> >(); 86 test<const int*, forward_iterator<int*> >(); 87 test<const int*, bidirectional_iterator<int*> >(); 88 test<const int*, random_access_iterator<int*> >(); 89 test<const int*, int*>(); 90 91 #if TEST_STD_VER >= 11 92 test1<cpp17_input_iterator<std::unique_ptr<int>*>, output_iterator<std::unique_ptr<int>*> >(); 93 test1<cpp17_input_iterator<std::unique_ptr<int>*>, forward_iterator<std::unique_ptr<int>*> >(); 94 test1<cpp17_input_iterator<std::unique_ptr<int>*>, bidirectional_iterator<std::unique_ptr<int>*> >(); 95 test1<cpp17_input_iterator<std::unique_ptr<int>*>, random_access_iterator<std::unique_ptr<int>*> >(); 96 test1<cpp17_input_iterator<std::unique_ptr<int>*>, std::unique_ptr<int>*>(); 97 98 test1<forward_iterator<std::unique_ptr<int>*>, output_iterator<std::unique_ptr<int>*> >(); 99 test1<forward_iterator<std::unique_ptr<int>*>, forward_iterator<std::unique_ptr<int>*> >(); 100 test1<forward_iterator<std::unique_ptr<int>*>, bidirectional_iterator<std::unique_ptr<int>*> >(); 101 test1<forward_iterator<std::unique_ptr<int>*>, random_access_iterator<std::unique_ptr<int>*> >(); 102 test1<forward_iterator<std::unique_ptr<int>*>, std::unique_ptr<int>*>(); 103 104 test1<bidirectional_iterator<std::unique_ptr<int>*>, output_iterator<std::unique_ptr<int>*> >(); 105 test1<bidirectional_iterator<std::unique_ptr<int>*>, forward_iterator<std::unique_ptr<int>*> >(); 106 test1<bidirectional_iterator<std::unique_ptr<int>*>, bidirectional_iterator<std::unique_ptr<int>*> >(); 107 test1<bidirectional_iterator<std::unique_ptr<int>*>, random_access_iterator<std::unique_ptr<int>*> >(); 108 test1<bidirectional_iterator<std::unique_ptr<int>*>, std::unique_ptr<int>*>(); 109 110 test1<random_access_iterator<std::unique_ptr<int>*>, output_iterator<std::unique_ptr<int>*> >(); 111 test1<random_access_iterator<std::unique_ptr<int>*>, forward_iterator<std::unique_ptr<int>*> >(); 112 test1<random_access_iterator<std::unique_ptr<int>*>, bidirectional_iterator<std::unique_ptr<int>*> >(); 113 test1<random_access_iterator<std::unique_ptr<int>*>, random_access_iterator<std::unique_ptr<int>*> >(); 114 test1<random_access_iterator<std::unique_ptr<int>*>, std::unique_ptr<int>*>(); 115 116 test1<std::unique_ptr<int>*, output_iterator<std::unique_ptr<int>*> >(); 117 test1<std::unique_ptr<int>*, forward_iterator<std::unique_ptr<int>*> >(); 118 test1<std::unique_ptr<int>*, bidirectional_iterator<std::unique_ptr<int>*> >(); 119 test1<std::unique_ptr<int>*, random_access_iterator<std::unique_ptr<int>*> >(); 120 test1<std::unique_ptr<int>*, std::unique_ptr<int>*>(); 121 #endif // TEST_STD_VER >= 11 122 123 #if TEST_STD_VER > 17 124 test<cpp17_input_iterator<const int*>, contiguous_iterator<int*>>(); 125 test<forward_iterator<const int*>, contiguous_iterator<int*>>(); 126 test<bidirectional_iterator<const int*>, contiguous_iterator<int*>>(); 127 test<random_access_iterator<const int*>, contiguous_iterator<int*>>(); 128 test<const int*, contiguous_iterator<int*>>(); 129 test<contiguous_iterator<const int*>, output_iterator<int*>>(); 130 test<contiguous_iterator<const int*>, forward_iterator<int*>>(); 131 test<contiguous_iterator<const int*>, bidirectional_iterator<int*>>(); 132 test<contiguous_iterator<const int*>, random_access_iterator<int*>>(); 133 test<contiguous_iterator<const int*>, int*>(); 134 test<contiguous_iterator<const int*>, contiguous_iterator<int*>>(); 135 136 test1<cpp17_input_iterator<std::unique_ptr<int>*>, contiguous_iterator<std::unique_ptr<int>*>>(); 137 test1<forward_iterator<std::unique_ptr<int>*>, contiguous_iterator<std::unique_ptr<int>*>>(); 138 test1<bidirectional_iterator<std::unique_ptr<int>*>, contiguous_iterator<std::unique_ptr<int>*>>(); 139 test1<random_access_iterator<std::unique_ptr<int>*>, contiguous_iterator<std::unique_ptr<int>*>>(); 140 test1<std::unique_ptr<int>*, contiguous_iterator<std::unique_ptr<int>*>>(); 141 test1<contiguous_iterator<std::unique_ptr<int>*>, output_iterator<std::unique_ptr<int>*>>(); 142 test1<contiguous_iterator<std::unique_ptr<int>*>, forward_iterator<std::unique_ptr<int>*>>(); 143 test1<contiguous_iterator<std::unique_ptr<int>*>, bidirectional_iterator<std::unique_ptr<int>*>>(); 144 test1<contiguous_iterator<std::unique_ptr<int>*>, random_access_iterator<std::unique_ptr<int>*>>(); 145 test1<contiguous_iterator<std::unique_ptr<int>*>, std::unique_ptr<int>*>(); 146 test1<contiguous_iterator<std::unique_ptr<int>*>, contiguous_iterator<std::unique_ptr<int>*>>(); 147 148 static_assert(test<cpp17_input_iterator<const int*>, cpp17_input_iterator<int*> >()); 149 static_assert(test<cpp17_input_iterator<const int*>, forward_iterator<int*> >()); 150 static_assert(test<cpp17_input_iterator<const int*>, bidirectional_iterator<int*> >()); 151 static_assert(test<cpp17_input_iterator<const int*>, random_access_iterator<int*> >()); 152 static_assert(test<cpp17_input_iterator<const int*>, contiguous_iterator<int*> >()); 153 static_assert(test<cpp17_input_iterator<const int*>, int*>()); 154 155 static_assert(test<forward_iterator<const int*>, cpp17_input_iterator<int*> >()); 156 static_assert(test<forward_iterator<const int*>, forward_iterator<int*> >()); 157 static_assert(test<forward_iterator<const int*>, bidirectional_iterator<int*> >()); 158 static_assert(test<forward_iterator<const int*>, random_access_iterator<int*> >()); 159 static_assert(test<forward_iterator<const int*>, contiguous_iterator<int*> >()); 160 static_assert(test<forward_iterator<const int*>, int*>()); 161 162 static_assert(test<bidirectional_iterator<const int*>, cpp17_input_iterator<int*> >()); 163 static_assert(test<bidirectional_iterator<const int*>, forward_iterator<int*> >()); 164 static_assert(test<bidirectional_iterator<const int*>, bidirectional_iterator<int*> >()); 165 static_assert(test<bidirectional_iterator<const int*>, random_access_iterator<int*> >()); 166 static_assert(test<bidirectional_iterator<const int*>, contiguous_iterator<int*> >()); 167 static_assert(test<bidirectional_iterator<const int*>, int*>()); 168 169 static_assert(test<random_access_iterator<const int*>, cpp17_input_iterator<int*> >()); 170 static_assert(test<random_access_iterator<const int*>, forward_iterator<int*> >()); 171 static_assert(test<random_access_iterator<const int*>, bidirectional_iterator<int*> >()); 172 static_assert(test<random_access_iterator<const int*>, random_access_iterator<int*> >()); 173 static_assert(test<random_access_iterator<const int*>, contiguous_iterator<int*> >()); 174 static_assert(test<random_access_iterator<const int*>, int*>()); 175 176 static_assert(test<contiguous_iterator<const int*>, cpp17_input_iterator<int*> >()); 177 static_assert(test<contiguous_iterator<const int*>, forward_iterator<int*> >()); 178 static_assert(test<contiguous_iterator<const int*>, bidirectional_iterator<int*> >()); 179 static_assert(test<contiguous_iterator<const int*>, random_access_iterator<int*> >()); 180 static_assert(test<contiguous_iterator<const int*>, contiguous_iterator<int*> >()); 181 static_assert(test<contiguous_iterator<const int*>, int*>()); 182 183 static_assert(test<const int*, cpp17_input_iterator<int*> >()); 184 static_assert(test<const int*, forward_iterator<int*> >()); 185 static_assert(test<const int*, bidirectional_iterator<int*> >()); 186 static_assert(test<const int*, random_access_iterator<int*> >()); 187 static_assert(test<const int*, contiguous_iterator<int*> >()); 188 static_assert(test<const int*, int*>()); 189 #endif // TEST_STD_VER > 17 190 191 return 0; 192 } 193