fork download

#include <type_traits>
#include <utility>
#include <iostream>
 
class Foo {
public:
  int print(int a, double b){ std::cout<<"Foo::print(int,double)";}
  int print(int a);
};
template <class MT>
struct method_info;
 
template <class T, class Res, class... Args>
struct method_info<Res(T::*)(Args...)>
{
    typedef std::tuple<Args&&...> args_tuple;
    typedef T ClassType;
    typedef Res RetVal; 
};
 
int fooprint2(int a, double b);
 
template <class MethodType>
void func() {
   typedef method_info<MethodType> MethodInfo;
   std::cout<<"func<MethodType>()";
}
 
template<typename ... Args>
//using print_type = decltype(std::declval<Foo>().print(std::declval<Args>() ...)) (Foo::*)(Args ...);   //version1 (std::declval)   = OK
using print_type = std::result_of_t<decltype(&Foo::print)(Foo, Args ...)> (Foo::*)(Args ...);        //version2 (std::result_of) = not work
 
int main(){
    func<print_type<int,double> >();
}

prog.cpp:31:57: error: decltype cannot resolve address of overloaded function
 using print_type = std::result_of_t<decltype(&Foo::print)(Foo, Args ...)> (Foo::*)(Args ...);        //version2 (std::result_of) = not work
                                                         ^
prog.cpp:31:73: error: template argument 1 is invalid
 using print_type = std::result_of_t<decltype(&Foo::print)(Foo, Args ...)> (Foo::*)(Args ...);        //version2 (std::result_of) = not work
                                                                         ^
prog.cpp: In function ‘int main()’:
prog.cpp:34:10: error: ‘print_type’ was not declared in this scope
     func<print_type<int,double> >();
          ^~~~~~~~~~
prog.cpp:34:5: error: parse error in template argument list
     func<print_type<int,double> >();
     ^~~~~~~~~~~~~~~~~~~~~~~~~~~
prog.cpp:34:35: error: expected primary-expression before ‘)’ token
     func<print_type<int,double> >();
                                   ^

Standard output is empty