Created on 2011-11-09.00:00:00 last changed 123 months ago
[Moved to DR at the April, 2013 meeting.]
Proposed resolution (October, 2012):
Change 13.8.3.4 [temp.dep.constexpr] paragraph 2 as follows and move the text following the bulleted list into a new paragraph:
An
identifierid-expression is value-dependent ifit is:
it is a name declared with a dependent type,
it is the name of a non-type template parameter,
it names a member of an unknown specialization,
it names a static data member of the current instantiation that is not initialized in a member-declarator,
it names a static member function that is a member of the current instantiation, or
it is a constant with literal type and is initialized with an expression that is value-dependent.
Expressions of the following form...
Change 13.8.3.4 [temp.dep.constexpr] paragraph 5 as follows:
An id-expression is value-dependent if it names a member of an unknown specialization.An expression of the form &qualified-id where the qualified-id's nested-name-specifier names the current instantiation is value-dependent.
The list of cases in 13.8.3.4 [temp.dep.constexpr] paragraph 2 in which an identifier is value-dependent should also include:
an entity with reference type and is initialized with an expression that is value-dependent
a member function or a static data member of the current instantiation
| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2014-03-03 00:00:00 | admin | set | status: drwp -> cd3 |
| 2013-10-14 00:00:00 | admin | set | status: dr -> drwp |
| 2013-05-03 00:00:00 | admin | set | messages: + msg4429 |
| 2013-05-03 00:00:00 | admin | set | status: ready -> dr |
| 2012-11-03 00:00:00 | admin | set | status: drafting -> ready |
| 2012-02-27 00:00:00 | admin | set | messages: + msg3772 |
| 2012-02-27 00:00:00 | admin | set | status: open -> drafting |
| 2011-11-09 00:00:00 | admin | create | |