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