从绑定到lambda函数获取operator()的类型

时间:2015-12-28 19:54:32

标签: c++ c++11 lambda bind

请查看下面的代码。在捕获lambda表达式的情况下,它将工作并编译得很好。虽然在使用绑定可调用表达式时,我将获得重载表达式表达式错误

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

我如何对此进行编码,以便获取bind函数的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;       

}                                            

1 个答案:

答案 0 :(得分:0)

与评论者说的一样,operator()对象上的bind是一个模板化(即重载)函数,如果不选择所需的版本,就不能简单bind

我们可以通过向FuncType添加另一个模板参数来解决此问题,static_cast选择适当的函数,然后在我们生成typedef时显式:

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; lambdas让事情变得更容易。