函数对象(函数符)

函数对象(函数符)
很多STL算法都使用函数对象，也叫函数符(functor)。函数符是以函数方式与( )结合使用的任意对象，如函数名、指向函数的指针、重载了( )运算符的类对象
函数符概念
1.生成器(generator)是不用参数就可以调用的函数符
2.一元函数(unary function)是用一个参数可以调用的函数符
3.二元函数(binary function)是用两个参数可以调用的函数符
4.返回bool值的一元函数是谓词(predicate)
5.返回bool值的二元函数是二元谓词(binary predicate)
预定义的函数符
头文件functional(以前为function.h) 定义了多个模板类函数对象。比如+号运算符对应的plus<>() 。  plus<double> add; 创建一个plus<double>对象，可接受两个double参数并返回相加结果
更多符号见图


自适应函数符
每个函数符概念都有对应的自适应概念，如自适应生成器、自适应一元函数、自适应谓词等。函数符携带了标识参数类型和返回类型的typedef 成员，分别为 result_type、first_argument_type、second_argument_type。例如plus<int>::result_type 是其返回类型int
函数适配器类
可以将函数的参数转化，如若使每个参数都加10 可使自适应二元函数plus<>转换为自适应一元函数，STL 使用binder1st 和binder2nd 类自动完成这一过程。
例. 
plus<double> fun;
binder1st(fun, 10) fadd;  fadd对象变为自适应一元函数, fadd(a)  等价于 fun(a,10)
bind1st() 函数简化了binder1st 类的使用，它将返回这种对象, 如bind1st(plus<double>(), 10) 将返回自适应一元函数的对象，即如上fadd对象
binder2nd 类与此类似，它将变量赋给第二个参数，而不是第一个。有bind2nd 的类似助手函数。

转载于:https://www.cnblogs.com/xyyh/p/3980297.html