因为最近在看STL方面的东西,发现好多东东都是以前没有接触过了,下面是一些笔记。
1.什么是函数对象
函数对象就是重载了“()”操作符的对象,也就是说如果一个类重载了“()”操作符,由它创建的对象就是函数对象。
因为函数对象本身是一个类的实例,因此它可以有自己的成员,这样,可以用这些成员保存一些普通函数不能轻易保存的(但可以通过静态局部变量和全局变量保存)的信息。同时,通过这个类的其他方法,可以对它的成员变量进行初始化和检查。
函数对象是比函数更加通用的概念,因为函数对象可以定义跨越多次调用的可持久的部分(类似静态局部变量),同时又能够从对象的外面进行初始化和检查(和静态局部变量不同)。
2.定义函数对象
尽管函数指针被广泛用于实现函数回调,但C++还提供了一个重要的实现回调函数的方法,那就是函数对象。函数对象(也称“算符”)是重载了“()”操作符的普通类对象。因此从语法上讲,函数对象与普通的函数行为类似。
用函数对象代替函数指针有几个优点,首先,因为对象可以在内部修改而不用改动外部接口,因此设计更灵活,更富有弹性。函数对象也具备有存储先前调用结果的数据成员。在使用普通函数时需要将先前调用的结果存储在全程或者本地静态变量中,但是全程或者本地静态变量有某些我们不愿意看到的缺陷。
其次,在函数对象中编译器能实现内联调用,从而更进一步增强了性能。这在函数指针中几乎是不可能实现的
函数对象的定义:
首先,声明一个普通的类并重载“()”操作符:
class Negate
{
public:
int operator() (int n) { return -n;}
};
重载操作语句中,记住第一个圆括弧总是空的,因为它代表重载的操作符名;第二个圆括弧是参数列表。一般在重载操作符时,参数数量是固定的,而重载“()”操作符时有所不同,它可以有任意多个参数。
因为在Negate中内建的操作是一元的(只有一个操作数),重载的“()”操作符也只有一个参数。返回类型与参数类型相同-本例中为int。函数返回与参数符号相反的整数。
3.函数对象的使用
定义一个叫Callback()的函数来测试函数对象。Callback()有两个参数:一个为int一个是对类Negate的引用。Callback()将函数对象neg作为一个普通的函数名:
#include<iostream>
using namespace std;
void Callback(int n, Negate & neg)
{
int val = neg(n); //调用重载的操作符“()”
cout << val;
}
注意neg是对象,而不是函数。编译器将语句 int val = neg(n); 转化为int val = neg.operator()(n); 通常,函数对象不定义构造函数和析构函数。因此,在创建和销毁过程中就不会发生任何问题。前面曾提到过,编译器能内联重载的操作符代码,所以就避免了与函数调用相关的运行时问题。
为了完成上面个例子,我们用主函数main()实现Callback()的参数传递:
int main()
{
Negate neg;
Callback(5, neg ); //输出 -5
}
本例传递整数5和Negate的对象neg到Callback(),然后程序输出-5。
4.模板函数对象
从上面的例子中可以看出,其数据类型被限制在int,而通用性是函数对象的优势之一,如何创建具有通用性的函数对象呢?方法是使用模板,也就是将重载的操作符“()”定义为类成员模板,以便函数对象适用于任何数据类型:如double,_int64或char:
#include<iostream>
using namespace std;
class GenericNegate
{
public:
template T operator() (T t) const {return -t;}
};
int main()
{
GenericNegate negate;
cout<< negate(5.3333); // double
cout<< negate(10000000000i64); // __int64
return 0;
}
如果用普通的回调函数实现上述的灵活性是相当困难的。