libstdc++-v3/testsuite/24_iterators/range_operations/next.cc

   1 // Copyright (C) 2019-2020 Free Software Foundation, Inc.
   2 //
   3 // This file is part of the GNU ISO C++ Library.  This library is free
   4 // software; you can redistribute it and/or modify it under the
   5 // terms of the GNU General Public License as published by the
   6 // Free Software Foundation; either version 3, or (at your option)
   7 // any later version.
   8
   9 // This library is distributed in the hope that it will be useful,
  10 // but WITHOUT ANY WARRANTY; without even the implied warranty of
  11 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  12 // GNU General Public License for more details.
  13
  14 // You should have received a copy of the GNU General Public License along
  15 // with this library; see the file COPYING3.  If not see
  16 // <http://www.gnu.org/licenses/>.
  17
  18 // { dg-options "-std=gnu++2a" }
  19 // { dg-do run { target c++2a } }
  20
  21 #include <iterator>
  22 #include <testsuite_hooks.h>
  23 #include <testsuite_iterators.h>
  24
  25 using __gnu_test::test_range;
  26 using __gnu_test::random_access_iterator_wrapper;
  27 using __gnu_test::bidirectional_iterator_wrapper;
  28 using __gnu_test::forward_iterator_wrapper;
  29 using __gnu_test::input_iterator_wrapper;
  30 using __gnu_test::output_iterator_wrapper;
  31
  32 void
  33 test01()
  34 {
  35   int a[10] = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 };
  36   test_range<int, random_access_iterator_wrapper> r(a);
  37   auto begin = r.begin();
  38   auto end = r.end();
  39   VERIFY( *std::ranges::next(begin) == 1 );
  40   VERIFY(  std::ranges::next(begin, 0) == begin );
  41   VERIFY( *std::ranges::next(begin, 1) == 1 );
  42   VERIFY( *std::ranges::next(begin, 3) == 3 );
  43   VERIFY( *std::ranges::next(end, -4) == 6 );
  44   VERIFY(  std::ranges::next(begin, begin) == begin );
  45   VERIFY(  std::ranges::next(begin, end) == end );
  46   VERIFY(  std::ranges::next(end, end) == end );
  47   VERIFY(  std::ranges::next(end, begin) == begin );
  48   VERIFY(  std::ranges::next(begin, 0, begin) == begin );
  49   VERIFY(  std::ranges::next(begin, 5, begin) == begin );
  50   VERIFY(  std::ranges::next(begin, -5, begin) == begin );
  51   VERIFY(  std::ranges::next(begin, 0, end) == begin );
  52   VERIFY( *std::ranges::next(begin, 5, end) == 5 );
  53   VERIFY(  std::ranges::next(begin, 55, end) == end );
  54   VERIFY(  std::ranges::next(end, 0, end) == end );
  55   VERIFY(  std::ranges::next(end, -5, end) == end );
  56   VERIFY(  std::ranges::next(end, -55, end) == end );
  57   VERIFY(  std::ranges::next(end, 0, begin) == end );
  58   VERIFY( *std::ranges::next(end, -5, begin) == 5 );
  59   VERIFY(  std::ranges::next(end, -55, begin) == begin );
  60 }
  61
  62 void
  63 test02()
  64 {
  65   int a[10] = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 };
  66   test_range<int, bidirectional_iterator_wrapper> r(a);
  67   auto begin = r.begin();
  68   auto end = r.end();
  69   VERIFY( *std::ranges::next(begin) == 1 );
  70   VERIFY(  std::ranges::next(begin, 0) == begin );
  71   VERIFY( *std::ranges::next(begin, 1) == 1 );
  72   VERIFY( *std::ranges::next(begin, 3) == 3 );
  73   VERIFY( *std::ranges::next(end, -4) == 6 );
  74   VERIFY(  std::ranges::next(begin, begin) == begin );
  75   VERIFY(  std::ranges::next(begin, end) == end );
  76   VERIFY(  std::ranges::next(end, end) == end );
  77   VERIFY(  std::ranges::next(end, begin) == begin );
  78   VERIFY(  std::ranges::next(begin, 0, begin) == begin );
  79   VERIFY(  std::ranges::next(begin, 5, begin) == begin );
  80   VERIFY(  std::ranges::next(begin, -5, begin) == begin );
  81   VERIFY(  std::ranges::next(begin, 0, end) == begin );
  82   VERIFY( *std::ranges::next(begin, 5, end) == 5 );
  83   VERIFY(  std::ranges::next(begin, 55, end) == end );
  84   VERIFY(  std::ranges::next(end, 0, end) == end );
  85   VERIFY(  std::ranges::next(end, -5, end) == end );
  86   VERIFY(  std::ranges::next(end, -55, end) == end );
  87   VERIFY(  std::ranges::next(end, 0, begin) == end );
  88   VERIFY( *std::ranges::next(end, -5, begin) == 5 );
  89   VERIFY(  std::ranges::next(end, -55, begin) == begin );
  90 }
  91
  92 void
  93 test03()
  94 {
  95   int a[10] = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 };
  96   test_range<int, forward_iterator_wrapper> r(a);
  97   auto begin = r.begin();
  98   auto end = r.end();
  99   VERIFY( *std::ranges::next(begin) == 1 );
 100   VERIFY(  std::ranges::next(begin, 0) == begin );
 101   VERIFY( *std::ranges::next(begin, 1) == 1 );
 102   VERIFY( *std::ranges::next(begin, 3) == 3 );
 103   VERIFY(  std::ranges::next(begin, begin) == begin );
 104   VERIFY(  std::ranges::next(begin, end) == end );
 105   VERIFY(  std::ranges::next(end, end) == end );
 106   VERIFY(  std::ranges::next(begin, 0, begin) == begin );
 107   VERIFY(  std::ranges::next(begin, 5, begin) == begin );
 108   VERIFY(  std::ranges::next(begin, -5, begin) == begin );
 109   VERIFY(  std::ranges::next(begin, 0, end) == begin );
 110   VERIFY( *std::ranges::next(begin, 5, end) == 5 );
 111   VERIFY(  std::ranges::next(begin, 55, end) == end );
 112   VERIFY(  std::ranges::next(end, 0, end) == end );
 113   VERIFY(  std::ranges::next(end, 5, end) == end );
 114   VERIFY(  std::ranges::next(end, 55, end) == end );
 115   VERIFY(  std::ranges::next(end, 0, begin) == end );
 116 }
 117
 118 void
 119 test04()
 120 {
 121   int a[10] = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 };
 122   test_range<int, input_iterator_wrapper> r(a);
 123   auto begin = r.begin();
 124   auto end = r.end();
 125   auto iter = std::ranges::next(begin);
 126   VERIFY( *iter == 1 );
 127   iter = std::ranges::next(iter, 0);
 128   VERIFY( *iter == 1 );
 129   iter = std::ranges::next(iter, 1);
 130   VERIFY( *iter == 2 );
 131   iter = std::ranges::next(iter, 4);
 132   VERIFY( *iter == 6 );
 133
 134   iter = std::ranges::next(iter, iter);
 135   VERIFY( *iter == 6 );
 136   iter = std::ranges::next(iter, end);
 137   VERIFY( iter == end );
 138   iter = std::ranges::next(iter, end);
 139   VERIFY( iter == end );
 140
 141   test_range<int, input_iterator_wrapper> r2(a);
 142   begin = r2.begin();
 143   end = r2.end();
 144   iter = std::ranges::next(begin, 0, begin);
 145   VERIFY( *iter == 0 );
 146   iter = std::ranges::next(begin, 5, begin);
 147   VERIFY( *iter == 0 );
 148   iter = std::ranges::next(begin, -5, begin);
 149   VERIFY( *iter == 0 );
 150   iter = std::ranges::next(begin, 0, end);
 151   VERIFY( *iter == 0 );
 152   iter = std::ranges::next(end, 0, begin);
 153   VERIFY( iter == end );
 154   iter = std::ranges::next(begin, 5, end); // invalidates begin
 155   VERIFY( *iter == 5 );
 156   iter = std::ranges::next(iter, 55, end);
 157   VERIFY( iter == end );
 158   iter = std::ranges::next(end, 0, end);
 159   VERIFY( iter == end );
 160   iter = std::ranges::next(end, 5, end);
 161   VERIFY( iter == end );
 162 }
 163
 164 void
 165 test05()
 166 {
 167   int a[10] = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 };
 168   test_range<int, output_iterator_wrapper> r(a);
 169   auto iter = r.begin();
 170   auto end = r.end(); // sentinel, !same_as<decltype(iter), decltype(end)>
 171
 172   iter = std::ranges::next(iter);
 173   *iter = 10;
 174   VERIFY( a[1] == 10 );
 175   iter = std::ranges::next(iter, 0);
 176   iter = std::ranges::next(iter, 1);
 177   *iter = 20;
 178   VERIFY( a[2] == 20 );
 179   iter = std::ranges::next(iter, 4);
 180   iter = std::ranges::next(iter, 0);
 181   *iter = 60;
 182   VERIFY( a[6] == 60 );
 183
 184   iter = std::ranges::next(iter, end);
 185   VERIFY( iter == end );
 186   iter = std::ranges::next(iter, end);
 187   VERIFY( iter == end );
 188
 189   test_range<int, output_iterator_wrapper> r2(a);
 190   iter = std::ranges::next(r2.begin(), 5);
 191   end = r2.end();
 192
 193   iter = std::ranges::next(iter, 0, end);
 194   *iter = 50;
 195   VERIFY( a[5] == 50 );
 196   iter = std::ranges::next(iter, 2, end);
 197   *iter = 70;
 198   VERIFY( a[7] == 70 );
 199   iter = std::ranges::next(iter, 5, end);
 200   VERIFY( iter == end );
 201 }
 202
 203 int
 204 main()
 205 {
 206   test01();
 207   test02();
 208   test03();
 209   test04();
 210   test05();
 211 }