Issue 2275 - WG21 CWG Issues
Title
Type-dependence of function template
Status
drafting
Section
13.8.3.3 [temp.dep.expr]
Submitter
Jason Merrill

Created on 2016-06-21.00:00:00 last changed 94 months ago

Messages

msg5831 (view)
Date: 2022-02-18.07:47:23

Consider:

  struct B { template <class T> void h(); };
  template <class T> struct A {
    template <class U> static U f(U);
    void g() {
     f(B()).h<int>(); // OK, f(B()) is non-type-dependent with type B.
    }
  };

A member template ought to be dependent only if it depends on template parameters of the current scope, but 13.8.3.3 [temp.dep.expr] paragraph 3 is silent on the matter.
History
Date User Action Args
2018-02-27 00:00:00adminsetstatus: open -> drafting
2016-06-21 00:00:00admincreate