C/C++中的函数指针的使用与总结

概要：

• 函数指针介绍
• typedef简化函数指针的定义
• 指向函数的指针的初始化和赋值
• 通过指针调用函数
• 函数指针形参
• 返回指向函数的指针
• 指向重载函数的指针

参考《C++ Primer》 第五版

---

 

• 函数指针介绍

函数指针是C++中比较灵活而且重要的部分，对于软件的灵活度上有很大的帮助 ！

函数指针指向的是函数而非对象，和其他指针一样，函数指针指向某种特定类型，函数的类型由它的返回类型和形参类型共同决定，与函数名无关。

bool lengthCompare(const string &,const string &);

该函数的类型是bool(const string& ,const string&)。想要声明一个指向改函数的指针，只需要用指针特换函数名即可:

bool (*pf)(const string&, const string&);//未初始化

Note： *pf 两端的括号必不可少，如果不写括号，则pf是一个返回值为bool的指针的函数：

//声明一个名为pf的函数，该函数返回bool*
bool *pf(const string &, const string &);

---

 

• typedef简化函数指针的定义

现在我们来定义三个函数指针：

bool(*pf1)(const string &, const string &); bool(*pf2)(const string &, const string &); bool(*pf3)(const string &, const string &);

 

有没有发现一个问题，每次定义都需要这么长，有没有好的办法呢，当然是有的，我们可以用到typedef：

typedef bool(*cmpFcn)(const string &, const string &); //bool(*pf1)(const string &, const string &); //bool(*pf2)(const string &, const string &); //bool(*pf3)(const string &, const string &);
cmpFcn pf1; cmpFcn pf2; cmpFcn pf3;

 

---

 

• 指向函数的指针的初始化和赋值

函数指针的赋值：

pf = lengthCompare ; pf = &lengthCompare ;

因为在C/C++里函数名就是地址，所以以上两者都等价，都可以给函数指针赋值。

---

 

• 通过指针调用函数

可以直接使用指向函数的指针调用函数，无须提前解引用：

bool b1=pf("hello","goodbye"); bool b2=(*pf)("hello","goodbye"); bool b3=LengthCompare("hello","goodbye"); //三个等价调用

指向不同函数类型的指针之间不存在转换规则。

我们可以为函数指针赋一个 nullptr或者0 的整型常量表达式，表示该指针没有指向任何一个函数。

bool lengthCompare(const string &s1, const string &s2) { return s1.size() == s2.size(); } string::size_type sumLength(const string &s1, const string &s2) { return s1.size() + s2.size(); } bool cstringCompare(char *s1, char *s2) { return strlen(s1) == strlen(s2); } pf1 = 0; pf2 = lengthCompare; //pf3 = sumLength; //pf4 = cstringCompare;

如果函数返回类型不匹配（如上）、或者形参不匹配，也会报错！

 

---

 

• 函数指针形参

虽然不能定义函数类型的形参，但是形参可以是指向函数的指针。此时，形参看起来是函数类型，实际上确实当成指针使用：

#include<iostream> #include<string>
using namespace std; typedef bool(*cmpFcn)(const string &, const string &); //bool(*pf1)(const string &, const string &); //bool(*pf2)(const string &, const string &); //bool(*pf3)(const string &, const string &);
bool lengthCompare(const string &s1, const string &s2) { return s1.size() == s2.size(); }//第三个形参是函数类型，它会自动地转成指向函数类型的指针
void useBigger(const string &s1, const string &s2, bool(*pf)(const string&, const string&)) { cout << pf(s1, s2) << endl; } int main() { cmpFcn pf = lengthCompare; useBigger("hi", "func", pf); system("pause"); return 0; }

 

---

 

 

• 返回指向函数的指针

和数组类似，虽然不能返回一个函数，但是能返回指向函数类型的指针，然而我们必须把返回类型写成指针形式，编译器不会自动地将函数返回类型当成对应的指针类型处理。

#include<iostream> #include<string> #include<vector>
using namespace std; int demo(int *p, int a) { return 12; } // ff是一个函数，有一个形参x，返回结果是一个函数指针int(*)(int *,int)
int (*ff(int x))(int *, int) { cout << x << endl; return demo; } int main() { int a = 5; cout << ff(2)(&a, a)<< endl; system("pause"); return 0; }

同样，要想声明一个返回函数类型的指针，最简单的方法是使用类型别名：

typedef int (*PF)(int *, int);

PF是一个函数指针，指向的函数有两个形参。

于是就可以这么写了：

// ff是一个函数，有一个形参x，返回结果是一个函数指针int(*)(int *,int) //int(*ff(int x))(int *, int) { // cout << x << endl; // return demo; //}
 PF ff(int x) { cout << x << endl; return demo; }

---

 

• 指向重载函数的指针

编译器通过指针类型决定选取那个函数，指针类型必须与重载函数中的一个精确匹配。

#include<iostream> #include<string> #include<vector>
using namespace std; void ff(vector<double> vec) { cout << "ff(vector<double vec)" << endl; } void ff(unsigned int x) { cout << "ff(unsigned int x)" << endl; } int main() { //void(*pf)(int x) = &ff; 报错
    void (*pf)(unsigned int x) = &ff; //double (*pf2)(vector<double>) = &ff; 报错
    void (*pf2)(vector<double>) = &ff; system("pause"); return 0; }