函数指针和函数对象

函数指针：指向函数的指针变量。本身首先应是指针变量，只不过该指针变量指向函数。这正如用指针变量可指向整型变量、字符型、数组一样，这里是指向函数。如前所述，C在编译时，每一个函数都有一个入口地址，该入口地址就是函数指针所指向的地址。有了指向函数的指针变量后，可用该指针变量调用函数，就如同用指针变量可引用其他类型变量一样，在这些概念上是一致的。
函数指针有两个用途：调用函数和做函数的参数。
函数指针的声明方法为：
　　数据类型标志符 (指针变量名) (形参列表);
　　注1：“函数类型”说明函数的返回类型，由于“()”的优先级高于“*”,所以指针变量名外的括号必不可少，后面的“形参列表”表示指针变量指向的函数所带的参数列表。例如：
　　int func(int x); /* 声明一个函数 */
　　int (*f) (int x); /* 声明一个函数指针 */
　　f=func; /* 将func函数的首地址赋给指针f */
　　赋值时函数func不带括号，也不带参数，由于func代表函数的首地址，因此经过赋值以后，指针f就指向函数func(x)的代码的首地址
　　注2：函数括号中的形参可有可无，视情况而定。
注意，指向函数的指针变量没有++和--运算，用时要小心
1.定义函数指针类型：
　　typedef int (*fun_ptr)(int,int);
　　2.申明变量，赋值：
　　fun_ptr max_func=max;
　　也就是说，赋给函数指针的函数应该和函数指针所指的函数原型是一致的。
　　例二、
　　#include<stdio.h>
　　void FileFunc()
　　{
　　printf("FileFunc\n");
　　}
　　void EditFunc()
　　{
　　printf("EditFunc\n");
　　}
　　void main()
　　{
　　typedef void (*funcp)();
　　funcp=FileFunc;          //funcp应该是类型 而不是某个实例应该这样用funcp f = FileFunc;
　　(*funcp)();
　　funcp=EditFunc;
　　(*funcp)();
　　}
指针函数和函数指针的区别　　1,这两个概念都是简称，指针函数是指带指针的函数，即本质是一个函数。我们知道函数都有返回类型（如果不返回值，则为无值型），只不过指针函数返回类型是某一类型的指针。
　　其定义格式如下所示：
　　返回类型标识符 *返回名称（形式参数表）
　　{ 函数体 }
事实上，每一个函数，即使它不带有返回某种类型的指针，它本身都有一个入口地址，该地址相当于一个指针。比如函数返回一个整型值，实际上也相当于返回一个指针变量的值，不过这时的变量是函数本身而已，而整个函数相当于一个“变量”。
关于函数指针数组的定义　　关于函数指针数组的定义方法，有两种：一种是标准的方法；一种是蒙骗法。
　　第一种，标准方法：
　　{
　　分析：函数指针数组是一个其元素是函数指针的数组。那么也就是说，此数据结构是是一个数组，且其元素是一个指向函数入口地址的指针。
　　根据分析：首先说明是一个数组：数组名[]
　　其次，要说明其元素的数据类型指针:*数组名[].
　　再次，要明确这每一个数组元素是指向函数入口地址的指针：函数返回值类型 (*数组名[])().请注意，这里为什么要把“*数组名[]”用括号扩起来呢？因为圆括号和数组说明符的优先级是等同的，如果不用圆括号把指针数组说明表达式扩起来，根据圆括号和方括号的结合方向，那么 *数组名[]() 说明的是什么呢？是元素返回值类型为指针的函数数组。有这样的函数数祖吗？不知道。所以必须括起来，以保证数组的每一个元素是指针。
函数对象：
尽管函数指针被广泛用于实现函数回调，但C++还提供了一个重要的实现回调函数的方法，那就是函数对象。函数对象（也称“算符”）是重载了“()”操作符的普通类对象。因此从语法上讲，函数对象与普通的函数行为类似。
用函数对象代替函数指针有几个优点，首先，因为对象可以在内部修改而不用改动外部接口，因此设计更灵活，更富有弹性。函数对象也具备有存储先前调用结果的数据成员。在使用普通函数时需要将先前调用的结果存储在全程或者本地静态变量中，但是全程或者本地静态变量有某些我们不愿意看到的缺陷。
其次，在函数对象中编译器能实现内联调用，从而更进一步增强了性能。这在函数指针中几乎是不可能实现的。

下面举例说明如何定义和使用函数对象。首先，声明一个普通的类并重载“()”操作符：

class Negate 
{
public: 
int operator() (int n) { return -n;} 
};

重载操作语句中，记住第一个圆括弧总是空的,因为它代表重载的操作符名；第二个圆括弧是参数列表。一般在重载操作符时，参数数量是固定的，而重载“()”操作符时有所不同，它可以有任意多个参数。

因为在Negate中内建的操作是一元的（只有一个操作数），重载的“()”操作符也只有一个参数。返回类型与参数类型相同-本例中为int。函数返回与参数符号相反的整数。

使用函数对象

我们现在定义一个叫Callback()的函数来测试函数对象。Callback()有两个参数：一个为int一个是对类Negate的引用。Callback()将函数对象neg作为一个普通的函数名：

#include <iostream>
using std::cout;

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() 
{
Callback(5, Negate() ); //输出 -5
}

本例传递整数5和一个临时Negate对象到Callback()，然后程序输出-5。

模板函数对象

从上面的例子中可以看出，其数据类型被限制在int，而通用性是函数对象的优势之一，如何创建具有通用性的函数对象呢？方法是使用模板，也就是将重载的操作符“（）”定义为类成员模板，以便函数对象适用于任何数据类型：如double，_int64或char：

class GenericNegate
{
public: 
template <class T> T operator() (T t) const {return -t;}
};

int main()
{
GenericNegate negate;
cout<< negate(5.3333); // double
cout<< negate(10000000000i64); // __int64
}

如果用普通的回调函数实现上述的灵活性是相当困难的。

标准库中函数对象

C++标准库定义了几个有用的函数对象，它们可以被放到STL算法中。例如，sort()算法以
判断对象（predicate object）作为其第三个参数。判断对象是一个返回Boolean型结果的
模板化的函数对象。可以向sort()传递greater<>或者less<>来强行实现排序的升序或降序：

#include <functional> // for greater<> and less<>
#include <algorithm> //for sort() 
#include <vector>
using namespace std;

int main()
{ 
vector <int> vi;
//..填充向量
sort(vi.begin(), vi.end(), greater<int>() );//降序( descending )
sort(vi.begin(), vi.end(), less<int>() ); //升序 ( ascending )
}