Consider following code:
#include <string_view>
struct Iter
{
Iter() {}
Iter(std::string_view) {}
Iter begin() const
{
return *this;
}
};
It's a stripped down iterator, which is supposed to be used as for (auto x : Iter(...)) (exactly the same as fs::directory_iterator). I've removed end() and all the overloaded operators for brevity, since they don't affect the error.
This code compiles with -std=c++20 (with both GCC and Clang), but once I switch to -std=c++2b, GCC and Clang with libstdc++ reject it, while Clang with libc++ still accepts it.
Here's the gist of the error:
iterator_concepts.h:945:6: error: exception specification of 'operator()<Iter>' uses itself
...
string_view:153:7: note: while checking the satisfaction of concept 'contiguous_range<const Iter &>' requested here
...
string_view:153:15: note: while substituting template arguments into constraint expression here
&& ranges::contiguous_range<_Range>
^~~~~~~~~~~~~~~~~~~~~~~~
<source>:10:16: note: while checking constraint satisfaction for template 'basic_string_view<const Iter &, Iter>' required here
return *this;
^
<source>:10:16: note: in instantiation of function template specialization 'std::basic_string_view<char>::basic_string_view<const Iter &, Iter>' requested here
The error doesn't happen if the function isn't named begin. Apparently return *this; considers the string_view constructor, which checks some concepts for Iter, which includes checking the begin itself.
What is going on and how do I fix this error?
Reported a bug for libstdc++.