Created on 2015-03-16.00:00:00 last changed 83 months ago
[Moved to DR at the November, 2016 meeting.]
Proposed resolution (June, 2016):
Change 13.8.3.4 [temp.dep.constexpr] paragraph 5 as follows:
An expression of the form &qualified-id where the qualified-id names a dependent member of the current instantiation is value-dependent. An expression of the form
&cast-expression
is also value-dependent if evaluating cast-expression as a core constant expression (7.7 [expr.const]) succeeds and the result of the evaluation refers to a templated entity that is an object with static or thread storage duration or a member function.
According to bullet 2.4 of 13.8.3.4 [temp.dep.constexpr], an id-expression is value-dependent if
it names a static data member that is a dependent member of the current instantiation and is not initialized in a member-declarator,
This implies that the address of an initialized static data member is not value-dependent, which is incorrect.
| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2018-02-27 00:00:00 | admin | set | messages: + msg6169 |
| 2018-02-27 00:00:00 | admin | set | status: dr -> c++17 |
| 2017-02-06 00:00:00 | admin | set | messages: + msg6094 |
| 2017-02-06 00:00:00 | admin | set | status: open -> dr |
| 2015-03-16 00:00:00 | admin | create | |