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