This is an unofficial snapshot of the ISO/IEC JTC1 SC22 WG21 Core Issues List revision 115c. See http://www.open-std.org/jtc1/sc22/wg21/ for the official list.

2024-09-25


2090. Dependency via non-dependent base class

Section: 13.8.3.5  [temp.dep.temp]     Status: drafting     Submitter: Maxim Kartashev     Date: 2015-02-27

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.