libcxx/test/std/algorithms/alg.modifying.operations/alg.move/move.pass.cpp

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