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

2024-11-11


1899. Value-dependent constant expressions

Section: 13.8.3.4  [temp.dep.constexpr]     Status: CD4     Submitter: Richard Smith     Date: 2014-03-22

[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:

  2. A type is dependent if it is

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

  4. 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.