Title
Unclear preconditions of `std::ranges::generate_random`
Status
new
Section
[alg.rand.generate]
Submitter
Jiang An

Created on 2024-04-21.00:00:00 last changed 3 months ago

Messages

Date: 2024-08-15.00:00:00

[ 2024-08-02; Reflector poll ]

Set priority to 2 after reflector poll. When reviewing this we were clear this imposes requirements on users.

Date: 2024-04-21.00:00:00

Per discussion in cplusplus/draft#6904, the preconditions of `std::ranges::generate_random` are specified in an unusual way. It also appears that the "shall be equivalent" imposes requirements on both implementation and user code, and the requirements are not very clear. Perhaps we should clarify the conditions in usual Preconditions paragraphs.

History
Date User Action Args
2024-08-02 21:52:03adminsetmessages: + msg14287
2024-04-21 00:00:00admincreate