这篇文章主要为大家展示了“C++中函数指针有什么用”,内容简而易懂,条理清晰,希望能够帮助大家解决疑惑,下面让小编带领大家一起研究并学习一下“C++中函数指针有什么用”这篇文章吧。
1、函数指针
函数指针顾名思义,就是指向函数的指针。
和数据类似,C++当中函数也有地址,函数的地址是存储函数机器语言代码的内存地址。我们可以将另外一个函数的地址作为参数传入函数,从而实现函数的灵活调用。
1.1 获取函数地址
获取函数地址的方法非常简单,只要使用函数名(后面不跟参数和括号)即可。比如我们有一个函数叫做think,那么think()是调用函数拿到结果,而think
则是获取函数的地址。
如果我们想要将think函数当做参数传入另外一个函数,我们可以这么写:
func(think);
1.2 声明函数指针
声明函数指针和声明函数类似,我们声明一个函数可以这么写:
double process(int);
而我们声明函数指针则可以写成这样:
double (*pt)(int);
如果我们把(*pt)
替换成函数名的话,这其实就是一个函数的声明。如果(*pt)
是函数的话,那么pt自然就是指向函数的指针了。
1.3 函数指针传参
如果我们要实现一个函数,它的一个参数是一个函数指针,它的写法和刚才一样:
double func(double x, double (*pt)(int));
在这个声明当中,它的第二个参数是一个函数指针。指向的函数接收一个int参数,返回一个double
结果。
1.4 调用函数
最后, 我们来看下通过指针调用函数的部分。
其实也非常简单,因为我们前面说了(*pt)
的效果和函数是一样的,我们之前通过函数名调用函数,那么我们只需要改成通过(*pt)
调用即可。
如:
double process(int);double (*pt)(int);pt = process;cout << (*pt)(5) << endl;
2、函数指针进阶
简单的函数指针比较简单,但对于复杂的情况则显得有些恐怖。下面我们来看下C++ primer
当中提供的一些例子:
const double* f1(const double ar[], int n);const double* f2(const double [], int);const double* f3(const double *, int);
这三个函数看起来长得不一样,但其实是等价的。因为在函数参数列表当中,数组和指针是等价的。其次我们可以在函数的原型中省略掉变量名,因此const double ar[]
可以简化成const double []
,也可以写成const double *。
有了这三个函数之后,假设我们要声明一个指针,指向这三个函数。根据我们前文当中说过的,可以将函数名替换成(*pt)来实现:
const double* (*pt)(const double *, int) = f1;
其实这个语句看起来就有些复杂了,整个语句的可读性很差。如果不是知道这里用的是一个函数指针,乍一看想要看明白估计不太容易。我们可以分成两个部分来理解,其中const double *
是一个整体,表示函数的返回值类型是一个const double *也就是一个常量浮点数的地址。其次(*pt)
是一个整体,代替了函数名,表示这是一个指向函数的指针。
在C++11当中提供了叫做auto
的新特性,它可以帮助变量自动识别对应的类型,可以解决一些类型特别复杂的问题,比如:
auto p2 = f2;
函数指针有两种调用方法,除了可以使用(*p2)
的方式调用之外,
也可以直接使用名称调用:
const double* x = p2(ar, 3);const double* y = (*p2)(ar, 3);
显然前者更好,更清楚。这里其实有一个疑问,为什么这两种方式都可以执行呢?这是因为当我们执行auto p2 = f2的时候,其实是执行的auto p2 = &f2
,C++
会隐式地将函数转换成函数的地址。因为函数的值本身就是一个地址,所以这两种方式才都能正确地运行。
问题还没有结束,假如我们要定义一个指向函数的指针数组呢?这应该怎么声明?
也就是const double* (*pt)(const double *, int)
这样一个类型的数组,它应该怎么声明,这个方括号应该放在那里?
正确答案是放在括号里:
const double* (*pt[3])(const double *, int);
因为运算符[]的优先级高于*,因此*pt[3]
表示pt是一个长度为3的指针数组。其他的内容表明了该指针的类型。
由于我们定义的是一个数组,所以这里不能使用auto
,因为自动类型推断只能用于单值初始化而不能用于初始化列表。
到这里还没结束,还有更恐怖的,如果我们想要定义一个指向这个数组的指针,应该怎么办呢?如果使用auto可以写成:
auto ptr = &pt;
如果不使用auto呢?首先我们可以想到,这个声明是基于pt的,我们需要在pt的声明上加上一个*,但问题是加在哪里呢?
进一步分析,会发现我们需要指出这是一个指针,而不是数组。意味着核心的部分应该写成(*ptr)[3],表示这是一个指向长度为3的数组的指针。因为[]的优先级更高,所以需要使用括号。如果写成*ptr[3]表示这是长度为3的指针数组。
我们进一步倒推,(*ptr)[3]这个数组当中的元素是什么类型呢?是指向函数的指针,所以写出来结果是这样:
const double *(*(*ptr)[3])(const double*, int) = &pt;
很明显,这样的定义非常非常的难以理解。而且这还不是最复杂的情况,比如函数的返回类型又是一个指向一个函数的指针……明摆着告诉我们含义我们仍然要推敲一会,如果在一段不明的代码当中遇到,可能会直接抓狂吧……
也正因此,C++11当中推出了auto
特性,可以简化这种情况。
多说一句题外话,golang
语言当中将变量的类型放在变量的后面而不是前面,其中一个原因就是为了解决类似情况的复杂性。
如果是golang来定义同样的内容,会是这样的:
func f2(arr []float64, n int) *float64 { // todo}// 函数指针var p1 func([]float64, int) *float64 = f2;// 函数指针数组var pt [3]func([]float64, int) *float64;// 函数指针数组的指针var ptr *[3]func([]float64, int) *float64 = &pt;
很明显,虽然变量类型写在变量后面刚开始会不太习惯,但是很明显这样要清晰很多。
以上是“C++中函数指针有什么用”这篇文章的所有内容,感谢各位的阅读!相信大家都有了一定的了解,希望分享的内容对大家有所帮助,如果还想学习更多知识,欢迎关注编程网行业资讯频道!