1 2 3 4 5 6 7 8 9 10 11 12 13
template <typename T1,typename T2> inline void f(const T1&,const T2&) { } template <typename T1,typename T2,void F(const T1&,const T2&)> struct A { template <typename T> void g(T& i) { } }; int main() { int i; A<int,int,f> a; a.g(i); }