]>
git.ipfire.org Git - thirdparty/gcc.git/blob - libstdc++-v3/testsuite/24_iterators/range_access/range_access_cpp17.cc
1 // { dg-do compile { target c++17 } }
3 // Copyright (C) 2017-2024 Free Software Foundation, Inc.
5 // This file is part of the GNU ISO C++ Library. This library is free
6 // software; you can redistribute it and/or modify it under the
7 // terms of the GNU General Public License as published by the
8 // Free Software Foundation; either version 3, or (at your option)
11 // This library is distributed in the hope that it will be useful,
12 // but WITHOUT ANY WARRANTY; without even the implied warranty of
13 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 // GNU General Public License for more details.
16 // You should have received a copy of the GNU General Public License along
17 // with this library; see the file COPYING3. If not see
18 // <http://www.gnu.org/licenses/>.
20 // C++ 2017 27.7, range access [iterator.range]
27 using std::reverse_iterator
;
29 static_assert(std::cbegin(i
) == i
);
30 static_assert(std::cend(i
) == i
+1);
31 static_assert(std::rbegin(i
) == reverse_iterator
<int*>(i
+1));
32 static_assert(std::rend(i
) == reverse_iterator
<int*>(i
));
33 static_assert(std::crbegin(i
) == reverse_iterator
<int*>(i
+1));
34 static_assert(std::crend(i
) == reverse_iterator
<int*>(i
));
40 static int i
[] = { 1, 2 };
41 static_assert(std::distance(std::begin(i
), std::end(i
)) == 2);
42 static_assert(std::distance(std::cbegin(i
), std::cend(i
)) == 2);
45 static_assert( noexcept(std::begin(i
)), "LWG 2280" );
46 static_assert( noexcept(std::end(i
)), "LWG 2280" );
47 static_assert( noexcept(std::cbegin(i
)), "LWG 2280" );
48 static_assert( noexcept(std::cend(i
)), "LWG 2280" );
51 static_assert( noexcept(std::rbegin(i
)), "LWG 3537" );
52 static_assert( noexcept(std::rend(i
)), "LWG 3537" );
58 using std::reverse_iterator
;
59 static constexpr std::initializer_list
<int> il
{1};
60 static_assert(std::cbegin(il
) == il
.begin());
61 static_assert(std::cend(il
) == il
.end());
62 static_assert(std::rbegin(il
) == reverse_iterator
<const int*>(il
.end()));
63 static_assert(std::rend(il
) == reverse_iterator
<const int*>(il
.begin()));
64 static_assert(std::crbegin(il
) == reverse_iterator
<const int*>(il
.end()));
65 static_assert(std::crend(il
) == reverse_iterator
<const int*>(il
.begin()));
68 static_assert( noexcept(std::rbegin(il
)), "LWG 3537" );
69 static_assert( noexcept(std::rend(il
)), "LWG 3537" );