14.8 调用操作符和函数对象
定义了调用操作符(Call Operator)类的对象成为函数对象。
14.8.1 与标准库算法一起使用函数对象
函数对象 vs 函数
- 函数对象与函数在调用方式上非常相似
- 函数对象可以比函数更灵活
在标准算法中使用函数对象
14.8.2 标准库定义的函数对象
STL定义了一组算数、关系与逻辑的函数对象类。这些类定义在functional头文件中。
- 算术函数对象类型
| No. | 操作符 | 函数对象类 |
|---|---|---|
| 1 | + |
plus<T> |
| 2 | - |
minus<T> |
| 3 | * |
multiplies<T> |
| 4 | / |
divides<T> |
| 5 | % |
modules<T> |
| 6 | - |
negate<T> |
- 关系函数对象类型
| No. | 操作符 | 函数对象类 |
|---|---|---|
| 1 | == |
equal_to<T> |
| 2 | != |
not_equal_to<T> |
| 3 | < |
less<T> |
| 4 | <= |
less_equal<T> |
| 5 | > |
greater<T> |
| 6 | >= |
greater_equal<T> |
- 逻辑函数对象类型
| No. | 操作符 | 函数对象类 |
|---|---|---|
| 1 | && |
logical_and<T> |
| 2 | ││ |
logical_or<T> |
| 3 | ! |
logical_not<T> |
函数对象按照操作数个数分为：
- 一元函数对象(unary function-object)：一元减
negate<T>和一元逻辑非logical_not<T> - 二元函数对象(binary function-object)：除一元函数对象以外的函数对象
在算法中使用STL函数对象，例如：sort(v.begin(),v.end(),greater<int>());
14.8.3 函数对象的函数适配器
函数对象的适配器，用于特化和扩展一元或者二元函数对象，主要分为两类：
绑定器(binder)：给二元函数对象绑定一个常量，转化成一元函数对象。包括
bind1st和bind2nd。取反器(negator)：将谓词函数对象结果取反。包括
not1和not2。
| Funtion | 作用 |
|---|---|
bind1st |
绑定函数的第一个参数 |
bind2nd |
绑定函数的第二个参数 |
not1 |
一元谓词函数取反 |
not2 |
二元谓词函数取反 |
例子：
计算出集合v中，不小于10元素的个数
count_if(v.begin(),v.end(),not1(bind2nd(less_equal<int>(),10));
思考：binder能否给二元函数对象绑定变量？
思考：binder能否给三元及以上的函数对象绑定？
收获
本节介绍STL的函数对象和函数对象适配器。
- 函数对象（6个算术，6个关系，3个逻辑）
- 函数对象适配器（2个绑定器和2个取反器）
思考
- binder能否给二元函数对象绑定变量？
- binder能否给三元及以上的函数对象绑定？
