3908. enumerate_view::iterator constructor is explicit

Section: 25.7.24.3 [range.enumerate.iterator] Status: Tentatively NAD Submitter: Jonathan Wakely Opened: 2023-03-23 Last modified: 2024-06-24

Priority: Not Prioritized

View other active issues in [range.enumerate.iterator].

View all other issues in [range.enumerate.iterator].

View all issues with Tentatively NAD status.

Discussion:

enumerate_view::iterator has this constructor:

    constexpr explicit
      iterator(iterator_t<Base> current, difference_type pos);  // exposition only

In P2164R9 the detailed description of the function showed a default argument for the second parameter, which would justify it being explicit. However, that default argument was not present in the class synopsis and was removed from the detailed description when applying the paper to the draft.

[2023-06-01; Reflector poll]

Set status to Tentatively NAD after four votes in favour during reflector poll. The constructor is exposition-only, it doesn't make any difference to anything whether it's explicit or not.

Proposed resolution:

This wording is relative to N4944.

1. Modify the class synopsis in 25.7.24.3 [range.enumerate.iterator] as shown:

   
       constexpr explicit
         iterator(iterator_t<Base> current, difference_type pos);  // exposition only
   

2. Modify the detailed description in 25.7.24.3 [range.enumerate.iterator] as shown:

     constexpr explicit iterator(iterator_t<Base> current, difference_type pos);
   

   -2- Effects: Initializes current_ with std::move(current) and pos_ with pos.