函数适配器
最后更新于：2022-04-01 19:54:44
《C++ primer》中只说了适用于函数对象的适配器，其实还有针对函数和成员函数的适配器。这些适配器使我们能够将函数/成员函数当作仿函数使用，例如搭配各种泛型算法。从本质上说，是因为让这些函数变成为“可配接的”，即一元仿函数必须继承自unary_function，二元仿函数必须继承自binary_function。
一般函数必须以ptr_fun处理：
一般函数当作仿函数传给STL算法，就语言层面是可以的，但它仍然是不可配接的，因为它还没有具备标准库中仿函数（例如plus）的性质。所以，它无法运用于其它的适配器（例如not1）。
成员函数必须以mem_fun处理：
当容器的元素类型是引用或指针，而我们又以虚成员函数作为仿函数，便可以通过泛型算法完成所谓的多态调用。这是泛型与多态之间的一个重要接轨（稍后解释）。
例如：
~~~
#include
#include
#include
using namespace std;
class Shape {
public: virtual void display() = 0;
};
class Rect : public Shape {
public: virtual void display() { cout << "Rect "; }
};
class Circle : public Shape {
public: virtual void display() { cout << "Circle "; }
};
class Square : public Rect {
public: virtual void display() { cout << "Square "; }
};
int main()
{
vector v;
v.push_back(new Rect);
v.push_back(new Circle);
v.push_back(new Square);
v.push_back(new Circle);
v.push_back(new Rect);
for (int i = 0; i < v.size(); i++)
(v[i])->display();
cout << endl;
for_each(v.begin(), v.end(), mem_fun(&Shape::display));
cout << endl;
return 0;
}
~~~
关于上述代码的语法，参见文章“类成员函数指针”。
代码红色部分把成员函数转换成了可配接的仿函数，通过这句话就可以解释“这是泛型与多态之间的一个重要接轨”的含义了。
泛型：for_each能够接纳各种类型的函数。
多态：根据容器实际对象进行多态调用。
参考：
《STL源码剖析》 P430、P454.
';