C++11 - std::declval() 方法名称

Question

有没有办法，如何在 std::declval<T>() 之后将方法名称作为模板参数传递？ ？

到目前为止，我有这个:

template<typename T, typename ... Args>
struct MethodInfo
{
    using type = decltype(std::declval<T>().foo(std::declval<Args>() ...)) (T::*)(Args ...);
};

但我希望“foo”成为模板参数。

Answer 1

这不完全是你问的，但我认为这可能有点符合你的需要:

#include <type_traits>
#include <tuple>
#include <iostream>

template<typename T, typename... Args>
struct MethodInfo {
    template<typename Ret>
    static auto get(Ret(T::*)(Args...)) -> Ret(T::*)(Args...);
};

struct Foo {
    int foo(int);
    int foo(int, int);
};

int main() {  
    static_assert(std::is_same<
                        int(Foo::*)(int), 
                        decltype(MethodInfo<Foo, int>::get(&Foo::foo))
                          >::value, "");
}

Demo

因为，函数名是一个非类型模板参数，我认为这是迄今为止唯一的解决方案。