函数指针式值指向函数而非指向对象的指针。像其他指针一样,函数指针也指向某个特定的类型,函数类型有返回类型以及形参表确定,而与函数名无关。
bool (*pf) (const string ,const string &);
这个语句将pf申明为指向函数的指针,它所指向的函数带有两个const string&类型的形参和bool类型的返回值。
注意:*(pf)两侧的圆括号是必须的。bool *pf (const string ,const string &);则表示定义一个名为pf返回值为bool*的一个函数。
其中主要有三个内容:
1,可以用typedef简化函数指针的定义:
函数指针类型相当的冗长,使用typedef为指针类型定义同义词。可将函数指针的使用大大简化。
typedef bool (*cmp)(const string ,const string &);
该定义表示cmp是一种指向函数的指针类型的名字,该指针类型为“指向返回bool类型并带有两个const string&参数的指针”。在要使用这种函数指针类型时,只需直接使用cmp即可。不必每次都把整个类型声明全部写出来。
2,指向函数的指针的初始化和赋值。
在引用函数名但是又没有调用该函数时,函数名将被自动解释为指向函数的指针。假设有函数:
bool lcom(const string ,const string &);
除了用作函数调用左操作数以外,对lccom的任何使用都被解释为如下类型的指针:
bool (*)(const string ,const string &);
可使用函数名对函数指针做初始化或赋值:
cmp pf1=0;
cmp pf2=lcom;
pf1=lcom;
pf2=pf1;
此时,直接引用函数名等效于在函数名上应用取地址操作符;
cmp pf1=lcom;
cmp pf1=&lcom;
注意:函数指针只能通过同类型的函数或函数指针或0值常量表达式进行初始化或赋值。
将函数初始化为0;表示该指针不指向任何函数。
3,通过指针调用函数
指向函数的指针可用于调用它所指向的函数。可以不需要使用接引用操作符。直接通过指针调用函数。
cmp pf=lcom;
lcom("hi","bye");
pf(''hi","bye")==(*pf)("hi","bye");
如果指向函数的指针没有初始化,或具有0值,则该指针不能再函数调用中使用,只有当指针已经初始化,或被复制为指向某个函数,方能安全滴用来调用。