Question

我有一个稍微复杂的用例，将成员函数指针传递给外部函数，然后由成员函数再次调用（不要问！）。我正在学习std::function和std::mem_fn，但我似乎无法转换我的旧学校函数指针

void (T::*func)(int)到std::function<void (T::*)(int) func>

在下面的代码中，我希望能够在memFuncTaker

的调用中将std :: function传递给anotherMember

#include "class2.hpp" 
#include <iostream> 

class outer{ 
public: 
  void aMember(int a){ 
    std::cout << a <<std::endl; 
  } 
  void anotherMember(double){ 
    memFuncTaker(this, &outer::aMember); 
  } 

}; 


template<class T> 
void memFuncTaker(T* obj , void (T::*func)(int) ){ 
  (obj->*func)(7); 
}

Answer 1

当您将std::function绑定到非静态成员函数指针时，它会“显示”隐藏的this参数，使其成为结果函子的第一个显式参数。因此，对于outer::aMember，您使用std::function<void(outer *, int)>并最终使用双参数仿函数

#include <functional>
#include <iostream> 

template<class T> 
void memFuncTaker(T *obj , std::function<void(T *, int)> func){ 
  func(obj, 7);
} 

class outer{ 
public: 
  void aMember(int a){ 
    std::cout << a <<std::endl; 
  } 
  void anotherMember(double){ 
    memFuncTaker(this, std::function<void(outer *, int)>{&outer::aMember}); 
  } 
}; 

int main() {
  outer o;
  o.anotherMember(0);
}

http://coliru.stacked-crooked.com/a/5e9d2486c4c45138

当然，如果您愿意，可以绑定该仿函数的第一个参数（通过使用std::bind或lambda），从而再次“隐藏”它

#include <functional>
#include <iostream> 

using namespace std::placeholders;

void memFuncTaker(std::function<void(int)> func){ 
  func(7);
} 

class outer{ 
public: 
  void aMember(int a){ 
    std::cout << a <<std::endl; 
  } 
  void anotherMember(double){ 
    memFuncTaker(std::function<void(int)>(std::bind(&outer::aMember, this, _1))); 
  } 
}; 

int main() {
  outer o;
  o.anotherMember(0);
}

请注意，在此版本memFuncTaker中不再必须是模板（这恰好是std::function的主要目的之一 - 采用类型擦除技术来“去模板化”代码）

将指向成员函数的指针转换为std :: function

1 个答案: