mem_fun/mem_fun_ref用法和详解

在http://www.cplusplus.com/reference/std/functional/mem_fun_ref上可以看到mem_fun_ref的介绍和下面这个例子

（transform算法的例子最好先熟悉一下，在这里：http://www.cplusplus.com/reference/algorithm/transform/）

 

#include <iostream> #include <functional> #include <vector> #include <algorithm> #include <string> using namespace std; int main () { vector <string*> numbers; // populate vector of pointers: numbers.push_back ( new string ("one") ); numbers.push_back ( new string ("two") ); numbers.push_back ( new string ("three") ); numbers.push_back ( new string ("four") ); numbers.push_back ( new string ("five") ); vector <int> lengths ( numbers.size() ); transform (numbers.begin(), numbers.end(), lengths.begin(), mem_fun(&string::length)); for (int i=0; i<5; i++) { cout << *numbers[i] << " has " << lengths[i] << " letters./n"; } return 0; } 

（注：mem_fun的例子是非常相似的，只是vector<string>替换成vector<string*>，mem_fun_ref替换成mem_fun，下面会提到两者的不同点，目前先关注mem_fun_ref就可以了，mem_fun几乎是一样的）

 

class C3DFrame { public: C3DFrame(){} typedef int IRenderer; typedef float O3DReal; typedef vector<O3DReal> RealArray; bool RenderFrame(IRenderer *pRenderer) { /*mem_fun1_ref_t<void, C3DFrame, const AxisBufferParam&> tempFuncObj(&C3DFrame::prepareBuffer); tempFuncObj(*this, AxisBufferParam());*/ renderAxisHeader(pRenderer, mem_fun_ref(&C3DFrame::prepareBuffer)); //renderAxisHeader(pRenderer, mem_fun_ref(&C3DFrame::prepareBufferVoid)); return true; } private: template<class Operation> bool renderAxisHeader(IRenderer *pRenderer, Operation op) { op(*this, 1); //op(*this); return true; } void prepareBuffer(int data) { cout << data << endl; } void prepareBufferVoid() { } }; 

这里是我自己编写的一个使用mem_fun_ref的版本。

 

我们很容易错误地认为成员函数模板renderAxisHeader()中的op(*this,1)是op(1)，认为调用的是prepareBuffer(1)，但mem_fun_ref()产生的functor（即这里是mem_fun1_ref_t）的operator()调用是operator(*this,parameter)，所以如果这里直接将op(*this, 1)写成op(1)就肯定会出现错误了，因为mem_fun1_ref_t的operator()认为有两个参数传进来的，但事实上就只有一个，这是错误的 ！！

 

但为什么cplusplus中的transform算法调用确实对的呢？

 

看一下transform中的伪代码大概是这样的：

template < class InputIterator, class OutputIterator, class UnaryOperator > OutputIterator transform ( InputIterator first1, InputIterator last1, OutputIterator result, UnaryOperator op ) { while (first1 != last1) *result++ = op(*first1++); // or: *result++=binary_op(*first1++,*first2++); return result; } 

 

例子中的op是我们传进去的functor（即mem_fun_ref_t，这是没有参数的时候的样子，如果有一个参数的话，会传入mem_fun1_ref_t），但transform上的例子是传入mem_fun_ref(&(string::length))，而length是一个没有参数的成员函数，而transform内部是会将一个string对象出给functor的，这就说明了，为什么transform算法可以使用mem_fun_ref(&(string::length))这样构造出一个functor传递进去了，因为上面的op(*first1++)会将一个string对象传递给functor，使funcor内部可以这样调用成员函数：

(obj.*_func)() 

注：obj即*first1，_func即&(string::length)，()表示没有参数

 

这样调用就正确了

 

而mem_fun1_ref_t产生的functor的调用就如

operator(*this, 1)，内部调用就如：

(obj.*_func)(1)

这样就成功调用了指定的实例的成员函数了！！！！

 

故以后在使用mem_fun_ref和mem_fun都要主意，其第一个参数是该对象！！！而不是你传入的参数或者没有参数，就好像我们调用一个普通类的成员函数一样，编译器同样是会将一个this指针传给成员函数的参数列表的！！！