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 = ;
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 ;
}

---

• 返回指向函数的指针

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

#include<iostream>
#include<string>
#include<vector>
using namespace std;

int demo(int *p, int a) {
    return ;
}

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

int main()
{
    int a = ;
    cout << ff()(&a, a)<< endl;
    system("pause");
    return ;
}

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

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 ;
}