This page is a snapshot from the LWG issues list, see the Library Active Issues List for more information and the meaning of C++23 status.

3879. erase_if for flat_{,multi}set is incorrectly specified

Section: 23.6.11.6 [flat.set.erasure], 23.6.12.6 [flat.multiset.erasure] Status: C++23 Submitter: Tim Song Opened: 2023-02-09 Last modified: 2023-11-22

Priority: Not Prioritized

View all issues with C++23 status.

Discussion:

The current specification of erase_if for flat_{,multi}set calls ranges::remove_if on the set, which is obviously incorrect — the set only present constant views of its elements.

[Issaquah 2023-02-09; LWG]

Move to Immediate for C++23

[2023-02-13 Approved at February 2023 meeting in Issaquah. Status changed: Immediate → WP.]

Proposed resolution:

This wording is relative to N4928.

1. Modify 23.6.11.6 [flat.set.erasure] as indicated:

   template<class Key, class Compare, class KeyContainer, class Predicate>
     typename flat_set<Key, Compare, KeyContainer>::size_type
       erase_if(flat_set<Key, Compare, KeyContainer>& c, Predicate pred);
   

   -1- Effects: Equivalent to:

   auto [erase_first, erase_last] = ranges::remove_if(c, pred);
   auto n = erase_last - erase_first;
   c.erase(erase_first, erase_last);
   return n;
   

2. Modify 23.6.12.6 [flat.multiset.erasure] as indicated:

   template<class Key, class Compare, class KeyContainer, class Predicate>
     typename flat_multiset<Key, Compare, KeyContainer>::size_type
       erase_if(flat_multiset<Key, Compare, KeyContainer>& c, Predicate pred);
   

   -1- Effects: Equivalent to:

   auto [erase_first, erase_last] = ranges::remove_if(c, pred);
   auto n = erase_last - erase_first;
   c.erase(erase_first, erase_last);
   return n;