You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
An id-expression is type-dependent if it is a template-id that is not a concept-id and is dependent;
Presumably, the "dependent" might mean type-dependent or/and value-dependent. However, whether an id-expression that is a template-id is type-dependent or not is being specified in this subclause. The value-dependent also cross-references to [temp.dep.expr]. [temp.dep.general] p1 just says an expression is either type-dependent or value-dependent with the reference to [temp.dep.expr] and [temp.dep.constexpr]. So, whether an id-expression that is a template-id is type-dependent or value-dependent is not clearly specified in their respect subclauses.
We should clearly define how a template-id is type-dependent in [temp.dep.expr] and how it is value-dependent in [temp.dep.expr] to avoid the circular reference without clarifying anything.
Unlike the clear definition of whether a concept-id is value-dependent in [temp.dep.expr]
An id-expression is value-dependent if:
it is a concept-id and any of its arguments are dependent,
We do not have a clear definition for how a template-id is type-dependent. We should specify the relevant rule for template-id , which might be
An id-expression is type-dependent if it is a template-id that is not a concept-id and
the terminal name of the template-id is dependent, or
any of its template-arguments is dependent.
The text was updated successfully, but these errors were encountered:
xmh0511
changed the title
[temp.dep.expr] p3 How a template-id that is id-expression dependent?
[temp.dep.expr] p3 How an id-expression that is a template-id is dependent?
May 20, 2022
[temp.dep.expr] p3 says
Presumably, the "dependent" might mean type-dependent or/and value-dependent. However, whether an id-expression that is a
template-id
is type-dependent or not is being specified in this subclause. The value-dependent also cross-references to [temp.dep.expr]. [temp.dep.general] p1 just says an expression is either type-dependent or value-dependent with the reference to [temp.dep.expr] and [temp.dep.constexpr]. So, whether an id-expression that is a template-id is type-dependent or value-dependent is not clearly specified in their respect subclauses.We should clearly define how a template-id is type-dependent in [temp.dep.expr] and how it is value-dependent in [temp.dep.expr] to avoid the circular reference without clarifying anything.
Unlike the clear definition of whether a concept-id is value-dependent in [temp.dep.expr]
We do not have a clear definition for how a template-id is type-dependent. We should specify the relevant rule for template-id , which might be
The text was updated successfully, but these errors were encountered: