This is an unofficial snapshot of the ISO/IEC JTC1 SC22 WG21 Core Issues List revision 115d. See http://www.open-std.org/jtc1/sc22/wg21/ for the official list.

2024-10-26

1899. Value-dependent constant expressions

[Moved to DR at the May, 2015 meeting.]

13.8.3.4 [temp.dep.constexpr] paragraph 1 begins,

Except as described below, a constant expression is value-dependent if...

However, this terminology is misleading, because “constant expression” is now defined in terms of evaluation, and a value-dependent expression cannot be evaluated.

Proposed resolution (November, 2014):

1. Change 13.8.3.2 [temp.dep.type] paragraph 8 as follows:

A type is dependent if it is

• ...

• an array type constructed from any whose element type is dependent type or whose size bound (if any) is specified by a constant expression that is value-dependent,

• ...

2. Change 13.8.3.4 [temp.dep.constexpr] paragraph 1 as follows:

Except as described below, a constant an expression used in a context where a constant expression is required is value-dependent if any subexpression is value-dependent.