今天我们主要介绍函数指针、函数的指针参数以及返回指针的函数
A) 函数指针 C++规定,一个函数的地址就是这个函数的名字。我们需要指出的就是一个指针需要指定类型是为了后来的指针解析时候使用,通过指针有效快速访问对象。那么对于函数的指针,它要表示出该函数的那些特性才能满足解析的唯一性呢?答案就是一个函数的特性有它的参数列表和返回类型。 下面是一个函数指针的例子:
int (*p)(int i,int j);
不能是
int *p(int i,int j),
这样就变成了返回指针的函数声明了。
在C++中处于对安全性的考虑,指针和它指向的对象要类型一致,也就说上面的指针所指向的函数的特性要和它一模一样:例如指向int min(int I,int j);是可以的。但是指向int min(double I ,double j);是不可以。函数指针也和其他的指针一样,在使用的时候很怕发生"悬空",所以在使用的时候同样要判断有效性,或者在定义的时候就初始化。
int (*p)(int i,int j)=min;
int (*p)(int i,int j)=&min;
int (*p)(int i,int j)=0;
B) 函数的指针参数 函数指针可以作函数的参数:例如我们有一个积分的算法,对于不同的数学函数可以进行积分(我们这里假设函数都是一元的). 那么我们的算法接口可以定义为:
templateT
integrate( T lower, T upper , T (*)(T)=0 )throw(integrated_exp);
这里的最后的参数是一个函数的指针,并且被设定缺省值为0。这个函数返回一个值,同时需要一个参数。假如加入我们有这样的一个函数:
double line(double x)
{
return a*x+b;
}
那么我就可以使用了。 函数指针还可以作为返回类型(注意不是函数!!,某个特定的函数是不可以作为返回类型的。)假设:
typedef int (*PF)(int );
PF getProcessMethod( );//true
C) 返回指针的函数 一个函数的返回是函数的重要接口之一,c++的一个重要的强大的功能就是能够设计足够复杂和好用的用户自定义类型。而同时处理和传递这些类型也是很麻烦的一件事情,我们不想把我们的时间都花在这些对于我们的实际工作没有很实质帮助的拷贝上,解决这个问题就要依赖我们的接口设计:c和c++都提供了相应的解决方案,在c++中我们可是使用引用,讲他们作为函数的实际参数,或者我们在函数的实际参数中使用一个指针等。同样我们还可以使用一个函数返回一个指针:但是这是一个很不好解决的问题! 我们首先容易出错的是:将一个局部变量的地址传出来!例如:
UserType * Process( )
{
UserType ut(param-list);
//process ut;
return &ut;
}
这个变量在我们的函数结束的时候就被销毁了,尽管地址可以传出去,但是这个地址已经不存在了,已经不能使用的东西,在这个函数之外却不知道,难免要出错! 同时我还会有一个比较麻烦的问题:使用new,又容易造成内存泄露
UserType * Process()
{
UserTpye *put=new UserType(param-list );
//process put;
return put;
}
我们在函数内部使用了一个new,分配了一个空间,这样传出来也是可以!就是说不会发生上面的问题了。但是用户通常都会忘记在程序的外面在把这个借来的空间还回去!内存空间就这样泄露了! 可能也是这些另人无奈的问题,所以很多程序员把函数的参数设定为指针或者引用,以此来代替这种向外传输吧!总之,使用这种返回指针的函数要小心!