C++函数指针详解

声明：本文引用自博主candyliuxj的文章——C++函数指针详解，对原文进行了些许格式转换以方便阅读，并在文中加了些许批注以及一些不成熟的看法，若有疏漏，还请各位前辈们不吝赐教。再次感谢candyliuxj前辈的教程，若有侵权，请联系，速删。原文链接见文末。

---

• 每个函数都占用一段内存，指向内存起始地址的指针被称为函数指针。
• 函数指针可任意指向与其返回类型和参数列表相同的函数。
• 函数指针常用的用法为将函数作为参数传递。
• 使用typedef可以创建函数指针的别名。

一、函数指针定义

每一个函数都占用一段内存单元，它们有一个起始地址，指向函数入口地址的指针称为函数指针。

二、函数指针语法

指向函数的指针变量的一般定义形式为：

数据类型 (*指针变量名)(参数表);

三、函数指针使用说明

• 注意函数指针和函数返回指针两种定义的区别。
• 函数指针可任意指向与其返回类型和参数列表相同的函数。
• 函数指针不支持+1, ++, --等操作。
• 函数指针常用的用法为将函数作为参数传递。

1） 函数指针的定义形式中的数据类型是指函数的返回值的类型。

2） 区分下面两个语句：

int (*p)(int a, int b); //p是一个指向函数的指针变量，所指函数的返回值类型为整型

int *p(int a, int b);   //p是函数名，此函数的返回值类型为整型指针

3） 指向函数的指针变量不是固定指向哪一个函数的，而只是表示定义了一个这样类型的变量，它是专门用来存放函数的入口地址的；在程序中把哪一个函数的地址赋给它，它就指向哪一个函数。

4） 在给函数指针变量赋值时，只需给出函数名，而不必给出参数。

如函数max的原型为：int max(int x, int y); 指针p的定义为：int (*p)(int a, int b); 则p = max;的作用是将函数max的入口地址赋给指针变量p。这时，p就是指向函数max的指针变量，也就是p和max都指向函数的开头。

5） 在一个程序中，指针变量p可以先后指向不同的函数，但一个函数不能赋给一个不一致的函数指针（即不能让一个函数指针指向与其类型不一致的函数）。

如有如下的函数：int fn1(int x, int y); int fn2(int x);

定义如下的函数指针：int (*p1)(int a, int b); int (*p2)(int a);

则

p1 = fn1; //正确

p2 = fn2; //正确

p1 = fn2; //产生编译错误

6） 定义了一个函数指针并让它指向了一个函数后，对函数的调用可以通过函数名调用，也可以通过函数指针调用（即用指向函数的指针变量调用）。

如语句：

c = (*p)(a, b); //表示调用由p指向的函数max，实参为a,b，函数调用结束后得到的函数值赋给c。

7） 函数指针只能指向函数的入口处，而不可能指向函数中间的某一条指令。不能用**(p+1)*来表示函数的下一条指令。

8） 函数指针变量常用的用途之一是把指针作为参数传递到其他函数。

四、举例

源代码：

#include <iostream>
using namespace std;
#include <conio.h>

int max(int x, int y); //求最大数
int min(int x, int y); //求最小数
int add(int x, int y); //求和
void process(int i, int j, int (*p)(int a, int b)); //应用函数指针

int main()
{
	int x, y;
	cin>>x>>y;

	cout<<"Max is: ";
	process(x, y, max);
	cout<<"Min is: ";
	process(x, y, min);
	cout<<"Add is: ";
	process(x, y, add);
	getch();
	return 0;
}

int max(int x, int y)
{
	return x > y ? x : y;
}

int min(int x, int y)
{
	return x > y ? y : x;
}

int add(int x, int y)
{
	return x + y;
}


void process(int i, int j, int (*p)(int a, int b))
{
	cout<<p(i, j)<<endl;
}

输出结果：

---

五、使用typedef创建函数指针别名

前文学习到了创建函数指针的方式。例如int (*p)(int, int)，这样就创建了一个名为p 的指针，该指针可指向一个函数。但是当遇到需要创建多个指针时，这样创建就显得太过于麻烦，所以可以为函数指针创建一个别名。

int function(int a, int b);

int (*p1)(int, int);   // 普通方式创建函数指针

// 创建别名
typedef int (*pf)(int, int);

// 使用别名创建函数指针
pf p2;
p2 = funtion;

这样每次创建函数指针时，只需要使用pf作为类型就可以。

具体的typedef使用方式可以参照这篇文章。在这里便不在多赘述。

---

版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。

本文链接：https://blog.csdn.net/candyliuxj/article/details/6339414