Title
Undefined term in definition of “usable in constant expressions”
Status
c++20
Section
7.7 [expr.const]
Submitter
Davis Herring

Created on 2019-08-28.00:00:00 last changed 7 months ago

Messages

Date: 2019-10-15.00:00:00

Proposed resolution (October, 2019):

This issue is resolved by the resolution of issue 2126.

Date: 2019-11-15.00:00:00

[Adopted as a DR at the November, 2019 meeting.]

According to 7.7 [expr.const] paragraph 3,

An object or reference is usable in constant expressions if it is

  • ...

  • a complete temporary object of non-volatile const-qualified integral or enumeration type that is initialized with a constant expression.

The phrase “initialized with a constant expression” is not defined (which causes problems with std::is_constant_evaluated). It would be better to use “is constant-initialized” instead.

History
Date User Action Args
2020-12-15 00:00:00adminsetmessages: + msg6448
2019-08-28 00:00:00admincreate