procyberian/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

libstdc++: Make enumerate_view::iterator::operator- noexcept

Browse source 
Implement LWG 3912, approved in Varna, June 2023.

libstdc++-v3/ChangeLog:

	* include/std/ranges (enumerate_view::_Iterator::operator-):
	Add noexcept, as per LWG 3912.
	* testsuite/std/ranges/adaptors/enumerate/1.cc: Check iterator
	difference is noexcept.
This commit is contained in:
Jonathan Wakely 2025-03-05 18:06:25 +00:00 • committed by Jonathan Wakely
parent a08a5bc4b3
commit c7449f1b15
No known key found for this signature in database
2 changed files with 12 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
libstdc++-v3/include/std/ranges
View file

@ -9176,7 +9176,7 @@ namespace views::__adaptor
{ return auto(__x) -= __y; }
friend constexpr difference_type
operator-(const _Iterator& __x, const _Iterator& __y)
operator-(const _Iterator& __x, const _Iterator& __y) noexcept
{ return __x._M_pos - __y._M_pos; }
friend constexpr auto

11
libstdc++-v3/testsuite/std/ranges/adaptors/enumerate/1.cc
View file

@ -91,6 +91,17 @@ test02()
}
}
void
test_lwg3912()
{
int x[] = {1, 2, 3};
test_input_range<int> rx (x);
auto v = rx | views::enumerate;
auto iter = std::ranges::begin(v);
// LWG 3912. enumerate_view::iterator::operator- should be noexcept
static_assert( noexcept(iter - iter) );
}
int
main()
{