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指针传给成员函数的参数列表的！！！