先看看这段代码:
#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++程序入门之表达式