从函数指针到仿函数。
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()重载,它就成为一个仿函数。
例子如下:
1 #include <iostream> 2 using namespace std; 3 4 // 由于将operator()重载了,因此plus成为了一个仿函数 5 template <class T> 6 struct PLUS { 7 T operator() (const T& x, const T& y) const {return x + y;} 8 }; 9 10 // 由于将operator()重载了,因此minus成为了一个仿函数 11 template <class T> 12 struct MINUS { 13 T operator() (const T& x, const T& y) const {return x - y;} 14 }; 15 16 int main(){ 17 // 产生仿函数对象 18 PLUS<int> plusObj; 19 MINUS<int> minusObj; 20 21 // 使用仿函数,就像使用一般函数一样 22 cout << plusObj(3, 5) << endl; 23 cout << minusObj(3, 5) << endl << endl; 24 25 // 直接产生仿函数的临时对象(第一对小括号),并调用(第二对小括号) 26 cout << PLUS<int>() (7, 6) << endl; 27 cout << MINUS<int>() (7, 6) << endl; 28 }
上述的 PLUS<T> 和 MINUS<T> 已经非常接近STL的实现了,唯一的差别在于它缺乏“可适配能力”。
1.3 如果要成为一个可适配的仿函数呢?
将在读完第8章再进行总结。
时间: 2024-10-13 05:12:24