Effective STL: 38 - 42 函数子、函数子类、函数及其他

这里将的函数子(functor)，其实就是前面讲过的仿函数。

38.遵循按值传递的原则来设计函数子类。

39.确保判别式是“纯函数”。

纯函数保证在不同的时刻调用相同的参数会得到相同的结果。纯函数自己是没有状态的。

在仿函数类中，将operator()的函数声明为const。前面那个for_each的仿函数的求平均值的写法是特例！！for_each()可以拥有自己的状态！

40.若一个类是函数子，则应该使它配接。

如果有一个包含Widget对象的list容器，另外有一个函数可以用来判断某个Widget指针所指的对象是否足够“有趣”：

list<Widget*> widgetPtrs;

bool isInteresting(const Widget *pw);

如果需要找到该list第一个满足isInteresting()条件的Widget指针，这很简单：

list<Widget*>::iterator it = find_if(widgetPtrs.begin(),widgetPtrs.end(),isInteresting);

if(it != widgetPtrs.end());

但是如果要找到第一个不满足足isInteresting()条件的Widget指针，这这种方法通不过编译：

list<Widget*>::iterator it = find_if(widgetPtrs.begin(),widgetPtrs.end(),not1(isInteresting));

#include <iostream>  
#include <vector>  
#include <string>  
#include <algorithm>  
#include <functional>

using namespace std;

class AAA:public unary_function<int,bool>  //特别注意这里！！！
{
public:
	bool operator()(int x) const
	{
		return x == 3;
	}
};


int main()
{
	vector<int> ivec;
	for (int i = 0; i <= 5; ++i)
		ivec.push_back(i);

	vector<int>::iterator it = find_if(ivec.begin(), ivec.end(),not1(AAA()));
	cout << *it << endl;  //输出0

	return 0;
}

注意：C++新标准有find_if_not函数，可以完美的解决上面的问题。

#include <iostream>  
#include <vector>  
#include <string>  
#include <algorithm>  
#include <functional>

using namespace std;

class AAA
{
public:
	bool operator()(int x) const
	{
		return x == 3;
	}
};


int main()
{
	vector<int> ivec;
	for (int i = 0; i <= 5; ++i)
		ivec.push_back(i);

	vector<int>::iterator it = find_if_not(ivec.begin(), ivec.end(),AAA());
	cout << *it << endl; //输出0

	return 0;
}

书上的意思是必须定义仿函数为可配接的。如果仿函数的operator()只有一个实参，则它应该从unary_function继承，而且必须指定operator()所带的参数类型和返回值类型。如果仿函数的operator()有两个实参，那么它应该从binary_function继承，而且必须指定三个类型，operator()的第一个和第二个参数的类型已经operator()的返回类型。

此外，传递给unary_function或binary_function的非指针类型需要去掉const和引用部分。然而如果以指针作为参数或者返回类型的仿函数，则传递给unary_function或binary_function的类型和返回类型完全相同。（这里特别注意）

如：

struct AAA:public binary_function<Widget,Widget,bool>
{
	bool operator()(const Widget &lhs, const Widget &rhs) const;
};

struct BBB:public binary_function<const Widget*,const Widget*,bool>
{
	bool operator()(const Widget *lhs, const Widget *rhs) const;
};

41.理解ptr_fun、mem_fun、和mem_fun_ref的来由。

42.确保less<T>与operator<具有相同的语义。

应该尽量避免修改less 的行为，因为这样做很可能误导其他的程序员。如果希望以一种特殊的方式来排序对象，最好创建一个特殊的函数子类，它的名字不能是less，这样做其实很简单的。