Description
Per discussion starting at ericniebler/range-v3#1433 (comment).
P2091R0 adds the phrase "let t
be an lvalue that denotes the same object as E
if E
is a glvalue and otherwise denotes the result of applying the temporary materialization conversion ([conv.rval]) to E
." several times. This phrase is ambiguous. The intended reading is:
let
t
be an lvalue that denotes (the same object asE
ifE
is a glvalue) or (the result of applying the TMC toE
otherwise).
but it can also be read as:
let
t
be (an lvalue that denotes the same object asE
ifE
is a glvalue) or (the result of applying the TMC toE
otherwise).
which confusingly implies that t
is an xvalue in the latter case. We could clarify the structure with bullets:
let
t
be an lvalue that denotes
- the same object as
E
ifE
is a glvalue, or- the result of applying the TMC to
E
otherwise.
but the Standard really doesn't need more bullets, and this would add seven such bulleted lists in the introductory matter for seven existing bulleted lists. I'd rather not.
Suggestions?
Activity
jwakely commentedon Feb 27, 2020
Maybe add a definition to the start of the parent subclause, [ranges.access], that says something like:
And then say "let
t
be the reified object forE
."