- Title
- Value-dependent constant expressions
- Status
- cd4
- Section
- 13.8.3.4 [temp.dep.constexpr]
- Submitter
- Richard Smith
Created on 2014-03-22.00:00:00 last changed 106 months ago
Messages
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):
Change 13.8.3.2 [temp.dep.type] paragraph 8 as follows:
...
an array type
constructed from anywhose element type is dependenttypeor whosesizebound (if any) isspecified by a constant expression that isvalue-dependent,...
Change 13.8.3.4 [temp.dep.constexpr] paragraph 1 as follows:
A type is dependent if it is
Except as described below,a constantan 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
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.
| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2017-02-06 00:00:00 | admin | set | status: drwp -> cd4 |
| 2015-11-10 00:00:00 | admin | set | status: dr -> drwp |
| 2015-05-25 00:00:00 | admin | set | messages: + msg6061 |
| 2015-05-25 00:00:00 | admin | set | status: tentatively ready -> dr |
| 2014-11-24 00:00:00 | admin | set | messages: + msg5169 |
| 2014-11-24 00:00:00 | admin | set | status: drafting -> tentatively ready |
| 2014-07-07 00:00:00 | admin | set | status: open -> drafting |
| 2014-03-22 00:00:00 | admin | create | |