Title
Unclear point that “preceding initialization” must precede
Status
c++20
Section
7.7 [expr.const]
Submitter
Hubert Tong

Created on 2015-10-24.00:00:00 last changed 3 months ago

Messages

Date: 2024-07-15.00:00:00

Additional notes (July, 2024)

The words in question were removed by P0595R2 (std::is_constant_evaluated()), adopted in November, 2018.

Date: 2024-07-30.14:36:48

[ Resolved by P0595R2, adopted in November, 2018. ]

Similar to the concern of issue 2166, the requirement of 7.7 [expr.const] bullet 2.7.1 for

  • a non-volatile glvalue of integral or enumeration type that refers to a complete non-volatile const object with a preceding initialization, initialized with a constant expression, or

does not specify the point at which the determination of “preceding initialization” is made: is it at the point at which the reference to the variable appears lexically, or is it the point at which the outermost constant evaluation occurs? There is implementation divergence on this point.

History
Date User Action Args
2024-07-30 14:36:48adminsetmessages: + msg7777
2024-07-30 14:36:48adminsetstatus: drafting -> c++20
2017-02-06 00:00:00adminsetstatus: open -> drafting
2015-10-24 00:00:00admincreate