decltype 可以用来获取参数的类型吗？

Question

我试图构建一种（有点）更好的方法来通过使用类型推导从Impossibly Fast Delegate 创建一个委托。但是，我遇到了一些问题。

这是我要简化的功能：

template<typename T, void(T::*TMethod)(E)>
static Delegate<E> create(T * object) { /* ... */ }

当你调用这个函数时，它看起来像这样：

auto del = Delegate<int>::create<A, &A::foo>(&a);

我想要的结果是这样的：

auto del = create_delegate(&a, &A::foo);

我认为 decltype 可以解决问题，但不知何故它不起作用（使用 VS2012）：

template<typename E, typename T>
Delegate<E> create_delegate(T * obj, void (T::*method)(E))
{
    return Delegate<E>::create<T, decltype(method)>(obj);
}

我收到错误 C2975：“Delegate::create”：“TMethod”的模板参数无效，预期的编译时常量表达式。

有什么想法吗？

Answer 1

为什么不使用 std::function？

#include <functional>
#include <iostream>

struct X {
    void fn(int) {
        std::cout << "Hello\n";
    }
};

template<typename T, typename R, typename A>
std::function<R(A)> create_delegate(T& obj, R (T::*method)(A))
{
    return std::bind(method, &obj, std::placeholders::_1);
}

int main() {
    X x;
    auto delegate = create_delegate(x, &X::fn);
    delegate(1);
}