Section: 184.108.40.206 [fs.rec.dir.itr.members] Status: C++20 Submitter: Casey Carter Opened: 2018-02-25 Last modified: 2021-02-25 10:48:01 UTC
View all other issues in [fs.rec.dir.itr.members].
View all issues with C++20 status.
recursive_directory_iterator::pop is effectively a "supercharged" operator++: it advances the iterator forward as many steps as are necessary to reach the next entry in the parent directory. Just as is the case for operator++, pop must be allowed to invalidate iterator copies to allow efficient implementation. The most efficient fix seems to be borrowing the invalidation wording from 220.127.116.11 [input.iterators] Table 87's specification for the required ++r expression for input iterators.
[ 2018-03-06 Moved to Tentatively Ready after 5 positive votes on c++std-lib. ]
[2018-06 Rapperswil: Adopted]
This wording is relative to N4727.
Change 18.104.22.168 [fs.rec.dir.itr.members] as indicated:
void pop(); void pop(error_code& ec);
-26- Effects: If depth() == 0, set *this to recursive_directory_iterator(). Otherwise, cease iteration of the directory currently being iterated over, and continue iteration over the parent directory.
-27- Throws: As specified in 31.12.5 [fs.err.report].