stl使用中的经验（十二）--确保判别式是纯函数

我们先看两个概念：

1. 判别式：是一个返回bool类型（或者可以隐式的转换为bool类型，比如 int）的函数。
2. 纯函数：是指返回值仅仅依赖于其参数的函数。比如：假设f是一个纯函数，x,y是其参数，f(x,y)的返回值只有当x或y的值发生改变的时候才会发生改变。

所以在C++中，纯函数所能访问的数据仅限于参数以及常量（在函数生命周期内不会被改变）。

判别式类，是一个函数子，其operator()函数是一个判别式。也就是说，他的operator()函数返回true或者false。

stl中能接受一个真正的判别式的地方，也能接受一个判别式类的对象。

函数的对象是按值传递的，因此我们在设计适用于stl容器的判别式的函数需要考虑函数能被正确拷贝。

并且，接受函数子的stl算法可能可能会先创建函数子的拷贝，然后存起来带以后再使用这些拷贝。而这一特性的直接反映是要求判别式必须是纯函数。

我们来抗例子。

#include <iostream>
#include <vector> 
#include <algorithm> 
#include <iterator>
using namespace std;

class BadValue : public unary_function<int, bool>
{
public:
	BadValue(){}

	bool operator()(const int&)
	{
		return ++timesCalled == 3;
	}
private:
	int timesCalled {0};	
}; 


int main()
{
	typedef vector<int> IntVec;
	typedef vector<int>::iterator IntIter;
	
	IntVec v;
	
	for(int index = 0; index < 10; ++index)
	{
		v.push_back(index + 1);
	}
	
	v.erase(remove_if(v.begin(), v.end(), BadValue()));
	
	for(IntIter it = v.begin(); it != v.end(); ++it)
	{
		cout << *it << " "; // 1 2 4 5 7 8 9 10 10
	}
	
	return 0;
}

上面的例子中，我们首先看下前面的判别式类，它忽略了每次的传值，并且在第三次调用的时候返回true。然后使用该判别式类来删除 vector 容器中的第三个元素。

上面的代码看似是合理的。但是运行之后呢，不仅删除了第三个元素，并且同时也会将第六个元素删除。

在前面其实我们已经若有若无的提到过remove_if算法的实现。我们最常见的remove_if算法的实现如下：

template <class _ForwardIter, class _Predicate>
_ForwardIter remove_if(_ForwardIter __first, _ForwardIter __last,
                       _Predicate __pred) {
...
  __first = find_if(__first, __last, __pred);
  _ForwardIter __i = __first;
  return __first == __last ? __first 
                           : remove_copy_if(++__i, __last, __first, __pred);
}

我们从这儿实现可以看到，对于判别式 __pred在函数中被传递两次，第一次先传递给find_if，然后再传递给remove_copy_if，而在这两次传递的过程中，__pred都是按值传递的，也就是说是被拷贝到这两个算法中的。

所以这两个函数再每次调用之前其判别式 BadValue中的timesCalled均为0；每个算法的都会都会触发一次判别式 BadValue返回一次true。

所以我们上面的例子中，vector容器中的第三个和第六个元素都会被删除。

解决上面问题最简单的方式就是将判别式类的operator()函数声明为const 函数，但如果只是简单的声明函数，并不会解决我们上面对于判别式必须是纯函数的要求。因此它是必要条件，但还不充分。

我们将上面的函数修改下：

bool operator()(const int&) const
{
    static int timesCalled = 0;
    
    return ++timesCalled == 3;
}

虽然上面的函数能够被正常调用，并且也能够正常的删除容器的第三个元素（dev-cpp IDE）；但它并不满足我们纯函数的要求。

判别式应该是纯函数，纯函数是没有状态的。