fork(1) download

template<typename T1>
struct Outer
{
	void foo()
	{
	}
 
	Outer() : inner( &Outer::foo )  // pass ptr member function
	{
	}
 
    template<typename T2, void (T2::*F)()>
	struct Inner
	{
		Inner( F f )    // signature
		{
		}
	};
 
    Inner<Outer,&Outer::foo> inner;
};
 
int main()
{
	Outer<int> outer;
}

prog.cpp:15:12: error: expected ‘)’ before ‘f’
   Inner( F f )    // signature
            ^
prog.cpp: In instantiation of ‘Outer<T1>::Outer() [with T1 = int]’:
prog.cpp:25:13:   required from here
prog.cpp:8:31: error: no matching function for call to ‘Outer<int>::Inner<Outer<int>, &Outer<int>::foo>::Inner(void (Outer<int>::*)())’
  Outer() : inner( &Outer::foo )  // pass ptr member function
                               ^
prog.cpp:8:31: note: candidates are:
prog.cpp:13:9: note: Outer<int>::Inner<Outer<int>, &Outer<int>::foo>::Inner()
  struct Inner
         ^
prog.cpp:13:9: note:   candidate expects 0 arguments, 1 provided
prog.cpp:13:9: note: Outer<int>::Inner<Outer<int>, &Outer<int>::foo>::Inner(const Outer<int>::Inner<Outer<int>, &Outer<int>::foo>&)
prog.cpp:13:9: note:   no known conversion for argument 1 from ‘void (Outer<int>::*)()’ to ‘const Outer<int>::Inner<Outer<int>, &Outer<int>::foo>&’

Standard output is empty