Title
Unordered container local iterators should be constexpr iterators
Status
new
Section
[unord.map.overview] [unord.multimap.overview] [unord.set.overview] [unord.multiset.overview]
Submitter
Jonathan Wakely

Created on 2025-07-10.00:00:00 last changed 1 week ago

Messages

Date: 2025-07-14.19:18:53

Proposed resolution:

This wording is relative to N5008.

  1. Modify [unord.map.overview] as indicated:

    -4- The types `iterator`, and `const_iterator`, `local_iterator`, and `const_local_iterator` meet the constexpr iterator requirements ([iterator.requirements.general]).

  2. Modify [unord.multimap.overview] as indicated:

    -4- The types `iterator`, and `const_iterator`, `local_iterator`, and `const_local_iterator` meet the constexpr iterator requirements ([iterator.requirements.general]).

  3. Modify [unord.set.overview] as indicated:

    -4- The types `iterator`, and `const_iterator`, `local_iterator`, and `const_local_iterator` meet the constexpr iterator requirements ([iterator.requirements.general]).

  4. Modify [unord.multiset.overview] as indicated:

    -4- The types `iterator`, and `const_iterator`, `local_iterator`, and `const_local_iterator` meet the constexpr iterator requirements ([iterator.requirements.general]).

Date: 2025-07-10.00:00:00

The intent of P3372R3 was for all container iterators to be constexpr iterators, but during application of the paper to the working draft it was observed that unordered containers don't say it for their local iterators.

History
Date User Action Args
2025-07-10 12:55:34adminsetmessages: + msg14890
2025-07-10 00:00:00admincreate