C++的函数指针
先看看这段代码：
#include <iostream>
using std::cout;
using std::endl;
inline int min(int a,int b)
{
return (a>b) ? b : a;
}
int Min(int a,int b,int (*pf)(int,int))
//可以使用缺省参数：int Min(int a,int b,int (*pf)(int,int)=min)
{
return pf(a,b); //通过函数指针来调用函数，也可以写为
//return (*pf)(a,b);作用是一样的。
}
int main(int argc, char* argv[])
{
int i=1;
int j=10;
int r=Min(i,j,min); //如果使用缺省参数的话，可以写成：int r=Min(i,j);
cout<<r<<endl;
return 0;
}
其中int (*pf)(int,int)定义了一个返回值为int,参数为两个int的函数指针。如果不在*pf上加括号的话，即：
int *pf(int,int)，
编译器会把它解释为一个返回值为整型指针，参数为两个int的函数。
可以用typedef来简化代码：
#include <iostream>
using std::cout;
using std::endl;
typedef int (*PF)(int,int);
//这行代码是关键，相当与把上个例子中的函数指针声明为一种数据类型。
inline int min(int a,int b)
{
return (a>b) ? b : a;
}
int Min(int a,int b,PF f) //PF f定义f为和上个例子中一样的函数指针。
{
return f(a,b);
}
int main(int argc, char* argv[])
{
int i=1;
int j=10;
int r=Min(i,j,min);
cout<<r<<endl;
return 0;
}
也可以提供一个用模板实现的函数指针:
#include <iostream>
using std::cout;
using std::endl;
inline int min(int a,int b)
{
return (a>b) ? b : a;
}
template <typename T>
T Min(T a,T b,T (*pf)(T,T))
{
return pf(a,b);
}
int main(int argc, char* argv[])
{
int i=1;
int j=10;
int r=Min<int>(i,j,min);
//int r=Min(i,j,min<int>); 这种形式编译器会报错：Expression syntax
cout<<r<<endl;
return 0;
}
当然，这个指针指向的函数也可用模板来实现:
#include <iostream>
using std::cout;
using std::endl;
template <typename T>
inline T min(T a,T b)
{
return (a>b) ? b : a;
}
template <typename T>
T Min(T a,T b,T (*pf)(T,T))
{
return pf(a,b);
}
int main(int argc, char* argv[])
{
long i=2000000;
long j=1000000;
//使用时有三种形式：
long r=Min(i,j,min<long>);
//第一种。注意这里在min后一定要加<long>，否则编译器将报错：
//Could not find a match for "Min<T>(long,long,T(*)(T,T)"
//第二种：long r=Min<long>(i,j,min);
//第三种：long r=Min<long>(i,j,min<long>);
//其实质是一样的。
cout<<r<<endl;
return 0;
}
不过我不能用typedef使代码更为简便，就像下面这种形式：
template <typename T>
typedef T (*PF)(T,T);
编译器会提示：Templates must be classes or functions
另外还可以使用函数指针的数组：
#include <iostream>
using std::cout;
using std::endl;
inline int min(int a,int b)
{
return (a>b) ? b : a;
}
inline int max(int a,int b)
{
return (a>b) ? a : b;
}
int main(int argc, char* argv[])
{
int i=1;
int j=10;
int (*pf[2])(int,int);
//拥有两个元素的函数指针数组，每个元素是返回值为int,参数为两个int的函数指针。
pf[0]=min;
pf[1]=max;
int r1=pf[0](i,j);
int r2=pf[1](i,j);
cout<<r1<<endl;
cout<<r2<<endl;
return 0;
}
指向重载函数的指针也是值得注意的：
#include <iostream>
using std::cout;
using std::endl;
inline void print(int a)
{
cout<<a<<endl;
}
inline void print(long b)
{
cout<<b<<endl;
}
int main(int argc, char* argv[])
{
int i=1;
long m=100000;
void (*pf1)(int)=print;
void (*pf2)(long)=print;
pf1(i);
pf2(m);
return 0;
}
程序运行的很成功。因为编译器会自动查找所有的重载函数，以找到和函数指针指向的函数具有相同的返回类型和参数表的函数。
如上我们可知声明一个给定函数的函数指针的一般规则：即这个函数指针的返回类型和参数表必须和给定的函数相同。要注意省略号也是函数类型的一部分，int function1(int,...)与int function2(int)需要两个不同的函数指针。其实函数名就是指向该函数的指针，对于int function(int)来说，function就是它的指针。我们可用这个特性对函数指针进行初始化：
int (*pf)(int)=function;
取地址操作符也可以用在函数名上，上面的代码和int (*pf)(int)=&function的作用是一样的。
(所有代码在C++Builder6下调试通过)