Title
join_view's difference type is too small
Status
new
Section
[range.join]
Submitter
Tomasz Kamiński

Created on 2022-01-30.00:00:00 last changed 25 months ago

Messages

Date: 2022-03-15.00:00:00

[ 2022-03-04; Reflector poll ]

Set priority to 2 after reflector poll. Might be a design issue.

Date: 2022-01-30.00:00:00

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 [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.

History
Date User Action Args
2022-03-04 14:33:52adminsetmessages: + msg12393
2022-01-30 00:00:00admincreate