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
test()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
test1()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 
main(int,char **)59 int main(int, char**)
60 {
61     test<cpp17_input_iterator<const int*>, cpp17_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*>, cpp17_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*>, cpp17_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*>, cpp17_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*, cpp17_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>*>, cpp17_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>*>, cpp17_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>*>, cpp17_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>*>, cpp17_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>*, cpp17_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*>, cpp17_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>*>, cpp17_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