Title
Dependency via non-dependent base class
Status
drafting
Section
13.8.3.5 [temp.dep.temp]
Submitter
Maxim Kartashev

Created on 2015-02-27.00:00:00 last changed 111 months ago

Messages

Date: 2015-02-27.00:00:00

According to 13.8.3.5 [temp.dep.temp] paragraph 3,

a non-type template-argument is dependent if the corresponding non-type template-parameter is of reference or pointer type and the template-argument designates or points to a member of the current instantiation or a member of a dependent type.

Members of non-dependent base classes are members of the current instantiation, but using one as a non-type template argument should not be considered dependent.

History
Date User Action Args
2015-02-27 00:00:00admincreate