This page is a snapshot from the LWG issues list, see the Library Active Issues List for more information and the meaning of New status.
Section: 26.7.14 [range.join] Status: New Submitter: Tomasz Kamiński Opened: 2022-01-30 Last modified: 2022-03-04
Priority: 2
View all other issues in [range.join].
View all issues with New status.
Discussion:
Despite the fact that join_view may produce more elements than each joined view(s) contains, we require implementations to use the common_type of their difference types (per 26.7.14.3 [range.join.iterator] p3), which may lead to UB. As we already have provided implementation freedom to define extended integer-like types we should make provision for them to be used here as well. The same issue applies to the join_with_view as proposed by P2441.
[2022-03-04; Reflector poll]
Set priority to 2 after reflector poll. Might be a design issue.
Proposed resolution: