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

1413. Missing cases of value-dependency

[Moved to DR at the April, 2013 meeting.]

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

Proposed resolution (October, 2012):

1. 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 identifier id-expression is value-dependent if it 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...

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