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下调试通过)

发表于 @ 2004年02月20日　11:10:00 | 评论( loading... ) | 编辑| 举报| 收藏