从绑定与lambda函数获取运算符（）的类型

Question

请看下面的代码。在捕获lambda表达式的情况下，它将工作并编译得很好。使用绑定调用表达我会得到一个超载表达表达错误

main.cpp:13:60: error: decltype cannot resolve address of overloaded function 
using FuncType = decltype(&std::decay<T>::type::operator()); 

我如何代码绑定功能，这使得我得到了运营商的类型（）方法时，虽然？绑定类型是std::_Bind<void (*(std::_Placeholder<2>, std::_Placeholder<1>))(int, int)>，我也没有完全理解;我知道void（*）（int，int）作为一个指向int，int和返回void的函数的指针。我想我不明白的语法void *（x，y）（int，int）;基本上是x，y部分。我假设毕竟模板的东西有一个方法void operator（）（int，int）将得到解决bind_f（x，y）将调用，我试图捕获该类型。

#include <iostream> 
#include <functional> 
#include <type_traits> 

void tester(int x, int y) { 
    std::cout << " x = " << x << " y = " << y << std::endl; 
} 

template <typename T> 
class TypeChecker; 

template <typename T> 
using FuncType = decltype(&std::decay<T>::type::operator()); 

int main() { 
    using namespace std::placeholders; 
    auto bind_f = std::bind(tester, _2, _1); 
    bind_f(1,2);        

    int y = 5;        

    auto lambda = [y]() {     
     std::cout << " y = " << y << std::endl; 
    };           

    typedef FuncType<decltype(lambda)> x1;    
    typedef FuncType<decltype(bind_f)> x2;    

    //TypeChecker<decltype(bind_f)> t2;  

}            

Answer 1

就像评论者说，你bind对象的operator()是，你不能简单地bind在没有选择的版本你想有一个模板（即超载）功能。

当我们使我们的typedef，我们可以通过添加另一个模板参数FuncType，static_cast“荷兰国际集团，以选择相应的功能，然后是明确解决这一问题：

template <typename T, typename... U> 
using FuncType = decltype(static_cast<void(T::*)(U...) const>(&std::decay<T>::type::operator())); 

然后

auto bind_f = std::bind(tester, _2, _1);       

int y = 5;        

auto lambda = [y]() {     
    std::cout << " y = " << y << std::endl; 
};           

using x1 = FuncType<decltype(lambda)>; 
using x2 = FuncType<decltype(bind_f), int&&, int&&>; 

x1 p = &decltype(lambda)::operator(); 
(lambda.*p)(); 

x2 q = &decltype(bind_f)::operator(); 
(bind_f.*q)(1,2); 

Live Demo

输出：

Y = 5

x = 2时y = 1

我Nir Friedman when he said同意只是避免bind完全; lambda使事情变得更容易。