函数指针式值指向函数而非指向对象的指针。像其他指针一样,函数指针也指向某个特定的类型,函数类型有返回类型以及形参表确定,而与函数名无关。

 

 

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值,则该指针不能再函数调用中使用,只有当指针已经初始化,或被复制为指向某个函数,方能安全滴用来调用。