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

   1 // Copyright (C) 2019-2024 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-do run { target c++20 } }
  19
  20 #include <iterator>
  21 #include <testsuite_hooks.h>
  22 #include <testsuite_iterators.h>
  23
  24 using __gnu_test::test_range;
  25 using __gnu_test::random_access_iterator_wrapper;
  26 using __gnu_test::bidirectional_iterator_wrapper;
  27 using __gnu_test::forward_iterator_wrapper;
  28 using __gnu_test::input_iterator_wrapper;
  29 using __gnu_test::output_iterator_wrapper;
  30
  31 void
  32 test01()
  33 {
  34   int a[10] = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 };
  35   test_range<int, random_access_iterator_wrapper> r(a);
  36   auto begin = r.begin();
  37   auto end = r.end();
  38   auto endi = std::ranges::next(begin, 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(endi, -4) == 6 );
  44   VERIFY(  std::ranges::next(begin, begin) == begin );
  45   VERIFY(  std::ranges::next(begin, end) == end );
  46   VERIFY(  std::ranges::next(endi, end) == end );
  47   VERIFY(  std::ranges::next(endi, 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(endi, 0, end) == end );
  55   VERIFY(  std::ranges::next(endi, -5, end) == end );
  56   VERIFY(  std::ranges::next(endi, -55, end) == end );
  57   VERIFY(  std::ranges::next(endi, 0, begin) == end );
  58   VERIFY( *std::ranges::next(endi, -5, begin) == 5 );
  59   VERIFY(  std::ranges::next(endi, -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   auto endi = std::ranges::next(begin, end);
  70   VERIFY( *std::ranges::next(begin) == 1 );
  71   VERIFY(  std::ranges::next(begin, 0) == begin );
  72   VERIFY( *std::ranges::next(begin, 1) == 1 );
  73   VERIFY( *std::ranges::next(begin, 3) == 3 );
  74   VERIFY( *std::ranges::next(endi, -4) == 6 );
  75   VERIFY(  std::ranges::next(begin, begin) == begin );
  76   VERIFY(  std::ranges::next(begin, end) == end );
  77   VERIFY(  std::ranges::next(endi, end) == end );
  78   VERIFY(  std::ranges::next(endi, begin) == begin );
  79   VERIFY(  std::ranges::next(begin, 0, begin) == begin );
  80   VERIFY(  std::ranges::next(begin, 5, begin) == begin );
  81   VERIFY(  std::ranges::next(begin, -5, begin) == begin );
  82   VERIFY(  std::ranges::next(begin, 0, end) == begin );
  83   VERIFY( *std::ranges::next(begin, 5, end) == 5 );
  84   VERIFY(  std::ranges::next(begin, 55, end) == end );
  85   VERIFY(  std::ranges::next(endi, 0, end) == end );
  86   VERIFY(  std::ranges::next(endi, -5, end) == end );
  87   VERIFY(  std::ranges::next(endi, -55, end) == end );
  88   VERIFY(  std::ranges::next(endi, 0, begin) == end );
  89   VERIFY( *std::ranges::next(endi, -5, begin) == 5 );
  90   VERIFY(  std::ranges::next(endi, -55, begin) == begin );
  91 }
  92
  93 void
  94 test03()
  95 {
  96   int a[10] = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 };
  97   test_range<int, forward_iterator_wrapper> r(a);
  98   auto begin = r.begin();
  99   auto end = r.end();
 100   auto endi = std::ranges::next(begin, end);
 101   VERIFY( *std::ranges::next(begin) == 1 );
 102   VERIFY(  std::ranges::next(begin, 0) == begin );
 103   VERIFY( *std::ranges::next(begin, 1) == 1 );
 104   VERIFY( *std::ranges::next(begin, 3) == 3 );
 105   VERIFY(  std::ranges::next(begin, begin) == begin );
 106   VERIFY(  std::ranges::next(begin, end) == end );
 107   VERIFY(  std::ranges::next(endi, end) == end );
 108   VERIFY(  std::ranges::next(begin, 0, begin) == begin );
 109   VERIFY(  std::ranges::next(begin, 5, begin) == begin );
 110   VERIFY(  std::ranges::next(begin, -5, begin) == begin );
 111   VERIFY(  std::ranges::next(begin, 0, end) == begin );
 112   VERIFY( *std::ranges::next(begin, 5, end) == 5 );
 113   VERIFY(  std::ranges::next(begin, 55, end) == end );
 114   VERIFY(  std::ranges::next(endi, 0, end) == end );
 115   VERIFY(  std::ranges::next(endi, 5, end) == end );
 116   VERIFY(  std::ranges::next(endi, 55, end) == end );
 117   VERIFY(  std::ranges::next(endi, 0, begin) == end );
 118 }
 119
 120 void
 121 test04()
 122 {
 123   int a[10] = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 };
 124   test_range<int, input_iterator_wrapper> r(a);
 125   auto begin = r.begin();
 126   auto end = r.end();
 127   auto iter = std::ranges::next(begin);
 128   VERIFY( *iter == 1 );
 129   iter = std::ranges::next(iter, 0);
 130   VERIFY( *iter == 1 );
 131   iter = std::ranges::next(iter, 1);
 132   VERIFY( *iter == 2 );
 133   iter = std::ranges::next(iter, 4);
 134   VERIFY( *iter == 6 );
 135
 136   iter = std::ranges::next(iter, iter);
 137   VERIFY( *iter == 6 );
 138   iter = std::ranges::next(iter, end);
 139   VERIFY( iter == end );
 140   iter = std::ranges::next(iter, end);
 141   VERIFY( iter == end );
 142
 143   test_range<int, input_iterator_wrapper> r2(a);
 144   begin = r2.begin();
 145   end = r2.end();
 146   auto endi = std::ranges::next(begin, end);
 147   // reset single-pass input range
 148   r2.bounds.first = a;
 149   iter = std::ranges::next(begin, 0, begin);
 150   VERIFY( *iter == 0 );
 151   iter = std::ranges::next(begin, 5, begin);
 152   VERIFY( *iter == 0 );
 153   iter = std::ranges::next(begin, -5, begin);
 154   VERIFY( *iter == 0 );
 155   iter = std::ranges::next(begin, 0, end);
 156   VERIFY( *iter == 0 );
 157   iter = std::ranges::next(endi, 0, begin);
 158   VERIFY( iter == end );
 159   iter = std::ranges::next(begin, 5, end); // invalidates begin
 160   VERIFY( *iter == 5 );
 161   iter = std::ranges::next(iter, 55, end);
 162   VERIFY( iter == end );
 163   iter = std::ranges::next(endi, 0, end);
 164   VERIFY( iter == end );
 165   iter = std::ranges::next(endi, 5, end);
 166   VERIFY( iter == end );
 167 }
 168
 169 void
 170 test05()
 171 {
 172   int a[10] = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 };
 173   test_range<int, output_iterator_wrapper> r(a);
 174   auto iter = r.begin();
 175   auto end = r.end(); // sentinel, !same_as<decltype(iter), decltype(end)>
 176
 177   iter = std::ranges::next(iter);
 178   *iter = 10;
 179   VERIFY( a[1] == 10 );
 180   iter = std::ranges::next(iter, 0);
 181   iter = std::ranges::next(iter, 1);
 182   *iter = 20;
 183   VERIFY( a[2] == 20 );
 184   iter = std::ranges::next(iter, 4);
 185   iter = std::ranges::next(iter, 0);
 186   *iter = 60;
 187   VERIFY( a[6] == 60 );
 188
 189   iter = std::ranges::next(iter, end);
 190   VERIFY( iter == end );
 191   iter = std::ranges::next(iter, end);
 192   VERIFY( iter == end );
 193
 194   test_range<int, output_iterator_wrapper> r2(a);
 195   iter = std::ranges::next(r2.begin(), 5);
 196   end = r2.end();
 197
 198   iter = std::ranges::next(iter, 0, end);
 199   *iter = 50;
 200   VERIFY( a[5] == 50 );
 201   iter = std::ranges::next(iter, 2, end);
 202   *iter = 70;
 203   VERIFY( a[7] == 70 );
 204   iter = std::ranges::next(iter, 5, end);
 205   VERIFY( iter == end );
 206 }
 207
 208 int
 209 main()
 210 {
 211   test01();
 212   test02();
 213   test03();
 214   test04();
 215   test05();
 216 }