• Log in

struct A{template<class T>struct B;// primary member templatetemplate<class T>struct B<T*>{};// OK: partial specialization//  template<> struct B<int*> {};      // OK via CWG 727: full specialization};template<>struct A::B<int*>{};// OKtemplate<class T>struct A::B<T&>{};// OK

template<typename T1>struct string{// member template functiontemplate<typename T2>int compare(const T2&);// constructors can be templates tootemplate<typename T2>    string(conststd::basic_string<T2>& s){/*...*/}};// out of class definition of string<T1>::compare<T2>template<typename T1>// for the enclosing class templatetemplate<typename T2>// for the member templateint string<T1>::compare(const T2& s){/* ... */}

class Base{virtualvoid f(int);}; struct Derived: Base{// this member template does not override Base::ftemplate<class T>void f(T); // non-template member override can call the template:void f(int i) override{         f<>(i);}};

template<typename T>struct A{void f(int);// non-template member template<typename T2>void f(T2);// member template}; // template member definitiontemplate<typename T>template<typename T2>void A<T>::f(T2){// some code} int main(){    A<char> ac;    ac.f('c');// calls template function A<char>::f<char>(char)    ac.f(1);// calls non-template function A<char>::f(int)    ac.f<>(1);// calls template function A<char>::f<int>(int)}

struct X{template<class T> T good(T n);template<class T> T bad(T n);}; template<class T>struct identity{using type= T;}; // OK: equivalent declarationtemplate<class V>V X::good(V n){return n;} // Error: not equivalent to any of the declarations inside Xtemplate<class T>T X::bad(typename identity<T>::type n){return n;}

struct A{template<typename T>    operator T*();// conversion to pointer to any type}; // out-of-class definitiontemplate<typename T>A::operator T*(){return nullptr;} // explicit specialization for char*template<>A::operatorchar*(){return nullptr;} // explicit instantiationtemplate A::operatorvoid*(); int main(){    A a;int* ip= a.operatorint*();// explicit call to A::operator int*()}