| //===----------------------------------------------------------------------===// |
| // |
| // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
| // See https://llvm.org/LICENSE.txt for license information. |
| // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
| // |
| //===----------------------------------------------------------------------===// |
| |
| // <algorithm> |
| |
| // template<ForwardIterator InIter, OutputIterator<auto, InIter::reference> OutIter> |
| // constexpr OutIter // constexpr after C++17 |
| // rotate_copy(InIter first, InIter middle, InIter last, OutIter result); |
| |
| #include <algorithm> |
| #include <cassert> |
| |
| #include "test_macros.h" |
| #include "test_iterators.h" |
| |
| |
| template <class InIter, class OutIter> |
| TEST_CONSTEXPR_CXX20 void test() { |
| int ia[] = {0, 1, 2, 3}; |
| const unsigned sa = sizeof(ia) / sizeof(ia[0]); |
| int ib[sa] = {0}; |
| |
| OutIter r = std::rotate_copy(InIter(ia), InIter(ia), InIter(ia), OutIter(ib)); |
| assert(base(r) == ib); |
| |
| r = std::rotate_copy(InIter(ia), InIter(ia), InIter(ia + 1), OutIter(ib)); |
| assert(base(r) == ib + 1); |
| assert(ib[0] == 0); |
| |
| r = std::rotate_copy(InIter(ia), InIter(ia + 1), InIter(ia + 1), OutIter(ib)); |
| assert(base(r) == ib + 1); |
| assert(ib[0] == 0); |
| |
| r = std::rotate_copy(InIter(ia), InIter(ia), InIter(ia + 2), OutIter(ib)); |
| assert(base(r) == ib + 2); |
| assert(ib[0] == 0); |
| assert(ib[1] == 1); |
| |
| r = std::rotate_copy(InIter(ia), InIter(ia + 1), InIter(ia + 2), OutIter(ib)); |
| assert(base(r) == ib + 2); |
| assert(ib[0] == 1); |
| assert(ib[1] == 0); |
| |
| r = std::rotate_copy(InIter(ia), InIter(ia + 2), InIter(ia + 2), OutIter(ib)); |
| assert(base(r) == ib + 2); |
| assert(ib[0] == 0); |
| assert(ib[1] == 1); |
| |
| r = std::rotate_copy(InIter(ia), InIter(ia), InIter(ia + 3), OutIter(ib)); |
| assert(base(r) == ib + 3); |
| assert(ib[0] == 0); |
| assert(ib[1] == 1); |
| assert(ib[2] == 2); |
| |
| r = std::rotate_copy(InIter(ia), InIter(ia + 1), InIter(ia + 3), OutIter(ib)); |
| assert(base(r) == ib + 3); |
| assert(ib[0] == 1); |
| assert(ib[1] == 2); |
| assert(ib[2] == 0); |
| |
| r = std::rotate_copy(InIter(ia), InIter(ia + 2), InIter(ia + 3), OutIter(ib)); |
| assert(base(r) == ib + 3); |
| assert(ib[0] == 2); |
| assert(ib[1] == 0); |
| assert(ib[2] == 1); |
| |
| r = std::rotate_copy(InIter(ia), InIter(ia + 3), InIter(ia + 3), OutIter(ib)); |
| assert(base(r) == ib + 3); |
| assert(ib[0] == 0); |
| assert(ib[1] == 1); |
| assert(ib[2] == 2); |
| |
| r = std::rotate_copy(InIter(ia), InIter(ia), InIter(ia + 4), OutIter(ib)); |
| assert(base(r) == ib + 4); |
| assert(ib[0] == 0); |
| assert(ib[1] == 1); |
| assert(ib[2] == 2); |
| assert(ib[3] == 3); |
| |
| r = std::rotate_copy(InIter(ia), InIter(ia + 1), InIter(ia + 4), OutIter(ib)); |
| assert(base(r) == ib + 4); |
| assert(ib[0] == 1); |
| assert(ib[1] == 2); |
| assert(ib[2] == 3); |
| assert(ib[3] == 0); |
| |
| r = std::rotate_copy(InIter(ia), InIter(ia + 2), InIter(ia + 4), OutIter(ib)); |
| assert(base(r) == ib + 4); |
| assert(ib[0] == 2); |
| assert(ib[1] == 3); |
| assert(ib[2] == 0); |
| assert(ib[3] == 1); |
| |
| r = std::rotate_copy(InIter(ia), InIter(ia + 3), InIter(ia + 4), OutIter(ib)); |
| assert(base(r) == ib + 4); |
| assert(ib[0] == 3); |
| assert(ib[1] == 0); |
| assert(ib[2] == 1); |
| assert(ib[3] == 2); |
| |
| r = std::rotate_copy(InIter(ia), InIter(ia + 4), InIter(ia + 4), OutIter(ib)); |
| assert(base(r) == ib + 4); |
| assert(ib[0] == 0); |
| assert(ib[1] == 1); |
| assert(ib[2] == 2); |
| assert(ib[3] == 3); |
| |
| { |
| int ints[] = {1, 3, 5, 2, 5, 6}; |
| int const n_ints = sizeof(ints)/sizeof(int); |
| int zeros[n_ints] = {0}; |
| |
| const std::size_t N = 2; |
| const auto middle = std::begin(ints) + N; |
| auto it = std::rotate_copy(std::begin(ints), middle, std::end(ints), std::begin(zeros)); |
| assert(std::distance(std::begin(zeros), it) == n_ints); |
| assert(std::equal(std::begin(ints), middle, std::begin(zeros) + n_ints - N)); |
| assert(std::equal(middle, std::end(ints), std::begin(zeros))); |
| } |
| } |
| |
| TEST_CONSTEXPR_CXX20 bool all_tests() { |
| test<bidirectional_iterator<const int*>, cpp17_output_iterator<int*> >(); |
| test<bidirectional_iterator<const int*>, forward_iterator<int*> >(); |
| test<bidirectional_iterator<const int*>, bidirectional_iterator<int*> >(); |
| test<bidirectional_iterator<const int*>, random_access_iterator<int*> >(); |
| test<bidirectional_iterator<const int*>, int*>(); |
| |
| test<random_access_iterator<const int*>, cpp17_output_iterator<int*> >(); |
| test<random_access_iterator<const int*>, forward_iterator<int*> >(); |
| test<random_access_iterator<const int*>, bidirectional_iterator<int*> >(); |
| test<random_access_iterator<const int*>, random_access_iterator<int*> >(); |
| test<random_access_iterator<const int*>, int*>(); |
| |
| test<const int*, cpp17_output_iterator<int*> >(); |
| test<const int*, forward_iterator<int*> >(); |
| test<const int*, bidirectional_iterator<int*> >(); |
| test<const int*, random_access_iterator<int*> >(); |
| test<const int*, int*>(); |
| |
| return true; |
| } |
| |
| int main(int, char**) { |
| all_tests(); |
| |
| #if TEST_STD_VER > 17 |
| static_assert(all_tests()); |
| #endif |
| return 0; |
| } |