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

3762. generator::iterator::operator== should pass by reference

Section: 26.8.6 [coro.generator.iterator] Status: WP Submitter: Hewill Kang Opened: 2022-08-27 Last modified: 2022-11-17

Priority: Not Prioritized

View all issues with WP status.

Discussion:

Currently, generator::iterator::operator== passes iterator by value. Given that iterator is a move-only type, this makes it impossible for generator to model range, since default_sentinel cannot be compared to the iterator of const lvalue and is not eligible to be its sentinel.

[2022-09-23; Reflector poll]

Set status to Tentatively Ready after six votes in favour during reflector poll.

[2022-11-12 Approved at November 2022 meeting in Kona. Status changed: Voting → WP.]

Proposed resolution:

This wording is relative to N4917.

1. Modify 26.8.6 [coro.generator.iterator] as indicated:

   namespace std {
     template<class Ref, class V, class Allocator>
     class generator<Ref, V, Allocator>::iterator {
     public:
       using value_type = value;
       using difference_type = ptrdiff_t;
   
       iterator(iterator&& other) noexcept;
       iterator& operator=(iterator&& other) noexcept;
       
       reference operator*() const noexcept(is_nothrow_copy_constructible_v<reference>);
       iterator& operator++();
       void operator++(int);
   
       friend bool operator==(const iterator& i, default_sentinel_t);
   
     private:
       coroutine_handle<promise_type> coroutine_; // exposition only
     };
   }
   

   […]

   friend bool operator==(const iterator& i, default_sentinel_t);
   

   -10- Effects: Equivalent to: return i.coroutine_.done();