[temp.dep.temp] (original) (raw)

13 Templates [temp]

13.8 Name resolution [temp.res]

13.8.2 Dependent names [temp.dep]

13.8.2.4 Dependent template arguments [temp.dep.temp]

1

#

A typetemplate-argumentis dependent if the type it specifies is dependent.

2

#

A non-typetemplate-argumentis dependent if its type is dependent or the constant expression it specifies is value-dependent.

3

#

Furthermore, a non-typetemplate-argumentis dependent if the corresponding non-type template-parameteris of reference or pointer type and the template-argumentdesignates or points to a member of the current instantiation or a member of a dependent type.

4

#

A templatetemplate-argumentis dependent if it names atemplate-parameteror is aqualified-idthat refers to a member of an unknown specialization.