xref: /llvm-project/libcxx/test/std/algorithms/alg.modifying.operations/alg.move/move.pass.cpp (revision 1ec02efee9b1d01cde89f31ca9ba6a46b7662ac5)
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 // UNSUPPORTED: clang-6, clang-7
17 // UNSUPPORTED: apple-clang-9, apple-clang-10, apple-clang-11
18 // UNSUPPORTED: gcc-5, gcc-6, gcc-7, gcc-8
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 _LIBCPP_CONSTEXPR_AFTER_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<input_iterator<const int*>, output_iterator<int*> >();
66     test<input_iterator<const int*>, input_iterator<int*> >();
67     test<input_iterator<const int*>, forward_iterator<int*> >();
68     test<input_iterator<const int*>, bidirectional_iterator<int*> >();
69     test<input_iterator<const int*>, random_access_iterator<int*> >();
70     test<input_iterator<const int*>, int*>();
71 
72     test<forward_iterator<const int*>, output_iterator<int*> >();
73     test<forward_iterator<const int*>, input_iterator<int*> >();
74     test<forward_iterator<const int*>, forward_iterator<int*> >();
75     test<forward_iterator<const int*>, bidirectional_iterator<int*> >();
76     test<forward_iterator<const int*>, random_access_iterator<int*> >();
77     test<forward_iterator<const int*>, int*>();
78 
79     test<bidirectional_iterator<const int*>, output_iterator<int*> >();
80     test<bidirectional_iterator<const int*>, input_iterator<int*> >();
81     test<bidirectional_iterator<const int*>, forward_iterator<int*> >();
82     test<bidirectional_iterator<const int*>, bidirectional_iterator<int*> >();
83     test<bidirectional_iterator<const int*>, random_access_iterator<int*> >();
84     test<bidirectional_iterator<const int*>, int*>();
85 
86     test<random_access_iterator<const int*>, output_iterator<int*> >();
87     test<random_access_iterator<const int*>, input_iterator<int*> >();
88     test<random_access_iterator<const int*>, forward_iterator<int*> >();
89     test<random_access_iterator<const int*>, bidirectional_iterator<int*> >();
90     test<random_access_iterator<const int*>, random_access_iterator<int*> >();
91     test<random_access_iterator<const int*>, int*>();
92 
93     test<const int*, output_iterator<int*> >();
94     test<const int*, input_iterator<int*> >();
95     test<const int*, forward_iterator<int*> >();
96     test<const int*, bidirectional_iterator<int*> >();
97     test<const int*, random_access_iterator<int*> >();
98     test<const int*, int*>();
99 
100 #if TEST_STD_VER >= 11
101     test1<input_iterator<std::unique_ptr<int>*>, output_iterator<std::unique_ptr<int>*> >();
102     test1<input_iterator<std::unique_ptr<int>*>, input_iterator<std::unique_ptr<int>*> >();
103     test1<input_iterator<std::unique_ptr<int>*>, forward_iterator<std::unique_ptr<int>*> >();
104     test1<input_iterator<std::unique_ptr<int>*>, bidirectional_iterator<std::unique_ptr<int>*> >();
105     test1<input_iterator<std::unique_ptr<int>*>, random_access_iterator<std::unique_ptr<int>*> >();
106     test1<input_iterator<std::unique_ptr<int>*>, std::unique_ptr<int>*>();
107 
108     test1<forward_iterator<std::unique_ptr<int>*>, output_iterator<std::unique_ptr<int>*> >();
109     test1<forward_iterator<std::unique_ptr<int>*>, input_iterator<std::unique_ptr<int>*> >();
110     test1<forward_iterator<std::unique_ptr<int>*>, forward_iterator<std::unique_ptr<int>*> >();
111     test1<forward_iterator<std::unique_ptr<int>*>, bidirectional_iterator<std::unique_ptr<int>*> >();
112     test1<forward_iterator<std::unique_ptr<int>*>, random_access_iterator<std::unique_ptr<int>*> >();
113     test1<forward_iterator<std::unique_ptr<int>*>, std::unique_ptr<int>*>();
114 
115     test1<bidirectional_iterator<std::unique_ptr<int>*>, output_iterator<std::unique_ptr<int>*> >();
116     test1<bidirectional_iterator<std::unique_ptr<int>*>, input_iterator<std::unique_ptr<int>*> >();
117     test1<bidirectional_iterator<std::unique_ptr<int>*>, forward_iterator<std::unique_ptr<int>*> >();
118     test1<bidirectional_iterator<std::unique_ptr<int>*>, bidirectional_iterator<std::unique_ptr<int>*> >();
119     test1<bidirectional_iterator<std::unique_ptr<int>*>, random_access_iterator<std::unique_ptr<int>*> >();
120     test1<bidirectional_iterator<std::unique_ptr<int>*>, std::unique_ptr<int>*>();
121 
122     test1<random_access_iterator<std::unique_ptr<int>*>, output_iterator<std::unique_ptr<int>*> >();
123     test1<random_access_iterator<std::unique_ptr<int>*>, input_iterator<std::unique_ptr<int>*> >();
124     test1<random_access_iterator<std::unique_ptr<int>*>, forward_iterator<std::unique_ptr<int>*> >();
125     test1<random_access_iterator<std::unique_ptr<int>*>, bidirectional_iterator<std::unique_ptr<int>*> >();
126     test1<random_access_iterator<std::unique_ptr<int>*>, random_access_iterator<std::unique_ptr<int>*> >();
127     test1<random_access_iterator<std::unique_ptr<int>*>, std::unique_ptr<int>*>();
128 
129     test1<std::unique_ptr<int>*, output_iterator<std::unique_ptr<int>*> >();
130     test1<std::unique_ptr<int>*, input_iterator<std::unique_ptr<int>*> >();
131     test1<std::unique_ptr<int>*, forward_iterator<std::unique_ptr<int>*> >();
132     test1<std::unique_ptr<int>*, bidirectional_iterator<std::unique_ptr<int>*> >();
133     test1<std::unique_ptr<int>*, random_access_iterator<std::unique_ptr<int>*> >();
134     test1<std::unique_ptr<int>*, std::unique_ptr<int>*>();
135 #endif // TEST_STD_VER >= 11
136 
137 #if TEST_STD_VER > 17
138     static_assert(test<input_iterator<const int*>, input_iterator<int*> >());
139     static_assert(test<input_iterator<const int*>, forward_iterator<int*> >());
140     static_assert(test<input_iterator<const int*>, bidirectional_iterator<int*> >());
141     static_assert(test<input_iterator<const int*>, random_access_iterator<int*> >());
142     static_assert(test<input_iterator<const int*>, int*>());
143 
144     static_assert(test<forward_iterator<const int*>, input_iterator<int*> >());
145     static_assert(test<forward_iterator<const int*>, forward_iterator<int*> >());
146     static_assert(test<forward_iterator<const int*>, bidirectional_iterator<int*> >());
147     static_assert(test<forward_iterator<const int*>, random_access_iterator<int*> >());
148     static_assert(test<forward_iterator<const int*>, int*>());
149 
150     static_assert(test<bidirectional_iterator<const int*>, input_iterator<int*> >());
151     static_assert(test<bidirectional_iterator<const int*>, forward_iterator<int*> >());
152     static_assert(test<bidirectional_iterator<const int*>, bidirectional_iterator<int*> >());
153     static_assert(test<bidirectional_iterator<const int*>, random_access_iterator<int*> >());
154     static_assert(test<bidirectional_iterator<const int*>, int*>());
155 
156     static_assert(test<random_access_iterator<const int*>, input_iterator<int*> >());
157     static_assert(test<random_access_iterator<const int*>, forward_iterator<int*> >());
158     static_assert(test<random_access_iterator<const int*>, bidirectional_iterator<int*> >());
159     static_assert(test<random_access_iterator<const int*>, random_access_iterator<int*> >());
160     static_assert(test<random_access_iterator<const int*>, int*>());
161 
162     static_assert(test<const int*, input_iterator<int*> >());
163     static_assert(test<const int*, forward_iterator<int*> >());
164     static_assert(test<const int*, bidirectional_iterator<int*> >());
165     static_assert(test<const int*, random_access_iterator<int*> >());
166     static_assert(test<const int*, int*>());
167 #endif  // TEST_STD_VER > 17
168 
169   return 0;
170 }
171