从函数指针到仿函数。
1.1 函数调用操作符(C++语法中的左右括号)也可以被重载。
许多STL算法都提供了两个版本,一个用于一般状况(例如排序时以递增方式排列),一个用于特殊状况(例如排序时由使用者指定以何种特殊关系进行排列)。像这种情况,需要用户指定某个条件或策略,而条件或策略的背后由一整组操作构成,便需要某种特殊的东西来代表这“一整组操作”。
代表“一整组操作”的,是函数。在旧式C语言中,欲将函数当做参数传递,唯有通过函数指针才能达成。例子如下:
#include <cstdlib>
#include <iostream>
using namespace std;
int fcmp(const void* elem1, const void* elem2);
int main(){
int ia[10] = {32, 97, 62, 22, 43, 25, 52, 59, 54, 9};
for (int i=0; i<10; i++)
cout << ia[i] << " ";
cout << endl;
qsort(ia, sizeof(ia)/sizeof(int), sizeof(int), fcmp);
for (int i=0; i<10; i++)
cout << ia[i] << " ";
return 0;
}
int fcmp(const void* elem1, const void* elem2){
const int* i1 = (const int*)elem1;
const int* i2 = (const int*)elem2;
if(*i1 < *i2)
return -1;
else if(*i1 == *i2)
return 0;
else if(*i1 > *i2)
return 1;
}
函数指针的缺点:无法持有自己的状态(局部状态),也无法达到组件技术中的可适配性——也就是无法再将某些修饰条件加诸于其上而改变其状态。
1.2 为此,引入仿函数的概念。STL算法的特殊版本所接受的所谓“条件”或“策略”或“一整组操作”,都以仿函数形式呈现。
针对某个class进行operator()重载,它就成为一个仿函数。
例子如下:
#include <iostream>
using namespace std;
// 由于将operator()重载了,因此plus成为了一个仿函数
template <class T>
struct PLUS {
T operator() (const T& x, const T& y) const {return x + y;}
};
// 由于将operator()重载了,因此minus成为了一个仿函数
template <class T>
struct MINUS {
T operator() (const T& x, const T& y) const {return x - y;}
};
int main(){
// 产生仿函数对象
PLUS<int> plusObj;
MINUS<int> minusObj;
// 使用仿函数,就像使用一般函数一样
cout << plusObj(3, 5) << endl;
cout << minusObj(3, 5) << endl << endl;
// 直接产生仿函数的临时对象(第一对小括号),并调用(第二对小括号)
cout << PLUS<int>() (7, 6) << endl;
cout << MINUS<int>() (7, 6) << endl;
}
上述的 PLUS<T> 和 MINUS<T> 已经非常接近STL的实现了,唯一的差别在于它缺乏“可适配能力”。
1.3 如果要成为一个可适配的仿函数呢?
将在读完第8章再进行总结。