定义
函数指针是指指向函数而非指向对象的指针。像其他指针一样,函数指针也指向某个特定的类型(特定的函数类型)。函数类型由其返回类型以及形参表确定,而与函数名无关。如下声明了一个函数指针:
bool (*pFunc)(int, double);
这个语句将pFunc声明为指向函数的指针,它所指向的函数带有两个类型分别为int和double的形参及一个 bool 类型的返回值。
说明:*pFunc 两侧的圆括号是必需的,否则它就变成了函数的声明,如:bool *pFunc(int, double);表示pFunc是一个带有两个参数(int和double)和一个bool指针类型返回值的函数。
总结,函数指针声明的一搬形式:
T (*pFunc)(T args);
pFunc为函数指针,T为数据类型,参数(T args)可以有多个,也可以没有。
【例1】:
bool IsAdult(int age, double weight)
{
if (age > 18 || weight > 40.0)
{
return true;
}
return false;
}
void TestFuncPointer()
{
bool (*pFunc)(int, double);
pFunc = IsAdult;
cout << pFunc(12, 23) << endl;
}
结果:
0
用typedef简化声明
我们知道typedef可以给类型定义一个别名,函数指针本身就是一种类型,所以也可以给其定义一个别名简化基声明。如下:
typedef bool (*FuncPointer)(int, double);
该定义表示 FuncPointer是一种函数指针类型的名字。该指针类型为“指向返回 bool 类型并带有两个(int和double)引用形参的函数的指针”。则【例1】中的使用简化为如下:
【例2】:
bool IsAdult(int age, double weight)
{
if (age > 18 || weight > 40.0)
{
return true;
}
return false;
}
typedef bool (*FuncPointer)(int, double);
void TestFuncPointer()
{
FuncPointer pFunc = IsAdult;
cout << pFunc(12, 23) << endl;
}
这样,如果有多个地方使用同种类型的函数指针的话,定义指向函数的指针就会简单很多。
用typedef定义函数指针的一般形式如下:
typedef T (*FuncPtrType)(T args);
FuncPtrType pFunc = NULL;
FuncPtrType为这一函数指针类型的别名,T为数据类型,参数(T args)可以有多个,也可以没有;pFunc为函数指针。
初始化和赋值
在【例1】和【例2】中已经提到了函数指针的使用。在给函数指针赋值时,直接引用函数名等效于在函数名上应用取地址操作符,都是把函数的地址赋给函数指针变量。
bool IsAdult(int age, double weight)
{
if (age > 18 || weight > 40.0)
{
return true;
}
return false;
}
bool isIntBiger(int val1, double val2)
{
return val1 > val2;
}
int GetMax(int val1, int val2)
{
return val1 > val2 ? val1 : val2;
}
typedef bool (*FuncPointer)(int, double);
void TestFuncPointer()
{
FuncPointer pf1 = 0; // 初始化为0(即空指针),表示该指针不指向任何函数
FuncPointer pf2 = IsAdult; // 用函数名初始化函数指针
FuncPointer pf3 = isIntBiger; // IsAdult和isIntBiger参数和返回类型都相同,所以属于相同类型的函数
pf1 = IsAdult; // 用函数名赋值
pf1 = pf3; // 用函数指针赋值
cout << pf1(13, 15) << endl;
cout << pf2(13, 56) << endl;
cout << pf3(18, 15) << endl;
//FuncPointer pf4 = GetMax; // error,GetMax不是属于FuncPointer类型的函数,因为参数类型和返回值的类型都不同
}
结果:
0
1
1
函数指针作为函数参数
函数指针还可以作为别一个函数的形参。这种形参可以用以下三种形式中的任何一种编写:
void printBiger(int, int, int (int, int)); //等价于void printBiger(int, int, int func(int, int));
void printBiger(int, int, int(*func)(int, int)); //等价于void printBiger(int, int, int(*func)(int, int));
void printBiger(int, int, FuncPointerMax); //还可以用简化的形式
【例3】:
int GetMax(int val1, int val2)
{
return val1 > val2 ? val1 : val2;
}
typedef int (*FuncPointerMax)(int, int);
void printBiger(int val1, int val2, int func(int, int))
{
cout << func(val1, val2) << endl;
}
void TestFuncPointer()
{
FuncPointerMax pFuc = GetMax;
printBiger(5, 10, pFuc);
}
函数指针作为函数的返回值
函数指针还可以作为函数的返回值类型,其写法比较复杂,例如:
int (*func(int))(int*, int);
要理解这个函数指针的声明,最佳的方法是从声明的名字开始由里而外理解。func(int) 将func声明为一个函数,它带有一个int型的形参,该函数返回一个函数指针,函数指针的类型为:
int (*)(int*, int);
是不很难理解?那有没有易于理解的写法呢?答案是肯定的,我们同样可以用typedef 进行简化,如下:
typedef int (*FuncPointer)(int*, int);
FuncPointer func(int);
欢迎加入"C/C++梦之队" 学习群:226157456