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

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