C++11 декларация функции и класс

template<typename T, typename R, typename... A>
struct S {
    typedef R (T::*type)(A...);
};

template<typename T, typename R, typename...A>
S<T, R, A...> make_s(T &, R (*)(A...)) {
    return S<T, R, A...>();
}

template<typename T, typename M>
struct U {
    T &t;
    M &m;
    typedef typename decltype(make_s(t, m))::type type;
};

#include <iostream>

using namespace std;

struct Z {
    void f(int x) {
        cout << x << endl;
    }
};

int main() {
    U<Z, void(int)>::type m = &Z::f;
    (Z().*m)(4);
}

template<typename C, typename F> struct MakeMemberPointer;

template<typename C, typename R, typename... Args>
struct MakeMemberPointer<C, R(Args...)>
{
  typedef R (C::*type) (Args...);
};

// Пример использования:

#include <iostream>
#include <typeinfo>
struct S { };

int main()
{
  std::cout << typeid(MakeMemberPointer<S, void(int)>::type).name() << std::endl;
}

/*
> g++ -o foo -std=c++11 foo.cc
> ./foo | c++filt -t          
void (S::*)(int)
*/