Value-dependent constant expressions
Section [temp.dep.constexpr]
Richard Smith

Created on 2014-03-22.00:00:00 last changed 49 months ago


Date: 2015-05-15.00:00:00

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

Date: 2014-11-15.00:00:00

Proposed resolution (November, 2014):

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

  2. 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,

    • ...

  3. Change [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.
Date: 2014-03-22.00:00:00 [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.

Date User Action Args
2017-02-06 00:00:00adminsetstatus: drwp -> cd4
2015-11-10 00:00:00adminsetstatus: dr -> drwp
2015-05-25 00:00:00adminsetmessages: + msg6061
2015-05-25 00:00:00adminsetstatus: tentatively ready -> dr
2014-11-24 00:00:00adminsetmessages: + msg5169
2014-11-24 00:00:00adminsetstatus: drafting -> tentatively ready
2014-07-07 00:00:00adminsetstatus: open -> drafting
2014-03-22 00:00:00admincreate