Здравствуйте, Cavaler, Вы писали:

Может быть позволить компилятору самому вывести все необходимые типы?

template<class R, class T>
R CallMe(R (T::*mem_fn)()) { T t; return (t.*mem_fn)(); }

struct test
{
   int fn() { return 1; }
};

int main()
{
   int i = CallMe(&test::fn);
   return 0;
}