[C/C++]如何解读返回函数指针的函数声明
2015-09-12 09:43
495 查看
int (*(*pf())())() { return nullptr; }
从来没有见过这样的函数声明。那么它究竟是一个怎样的函数呢?我努力回忆起《C专家编程》一书的内容,把其中解读变量声明的方法应用于该函数上,最终读懂了该函数。下面是大致的解读过程。
首先,要确定声明中出现的操作符的优先级。显然,函数调用操作符()的优先级是高于指针解引用操作符*的。另外,小括号总是具有最高优先级。
其次,要确定在声明中标识符与某个操作符结合起来的时候有什么意义。例如:
a() a是一个函数
*a a是一个指针
由于函数声明的特殊性,当指针解引用操作符*与一个表示函数的标识符结合时,表示这个函数的返回值是一个指针。例如 *a() 表示a是一个返回值为指针的函数。
有了以上的基础,接下来我们就可以从声明中的标识符开始,按照操作符的优先级,由内向外逐步来解读:
pf() pf是一个无参数函数 * pf() pf是一个无参数函数,它的返回值是一个指针 ( * pf() ) () pf是一个无参数函数,它的返回值是一个无参数函数的指针 * ( * pf() ) () pf是一个无参数函数,它的返回值是一个无参数函数的指针,这个函数的返回值又是一个指针 ( * ( * pf() ) () ) () pf是一个无参数函数,它的返回值是一个无参数函数的指针,这个函数的返回值又是一个无参数函数的指针 int ( * ( * pf() ) () ) () pf是一个无参数函数,它的返回值是一个无参数函数的指针,这个函数的返回值又是一个无参数且返回值为int的函数的指针。
最终的解读结果冗长拗口。可以看出,这实际上是返回值为函数指针的函数的递归声明。下面是可读性更强的等效代码:
typedef int (*pa)(); typedef pa (*pb)(); pb pfex() { return nullptr; }
下面是验证解读结果的测试代码。不得不说,测试代码也不容易理解……
#include <iostream> int a() { return 29; } int (*b())() { return a; } int (*(*pf())())() { return b; } typedef int (*pa)(); typedef pa (*pb)(); pb pfex() { return b; } int wmain() { int r = pf()()(); std::wcout << r << std::endl; r = pfex()()(); std::wcout << r << std::endl; }
相关文章推荐
- C语言:堆栈
- c语言学习三
- OC语言-08-深拷贝与浅拷贝详解(示例)
- 判断一个程序是c++编译还是c编译
- Leetcode Maximum Product Subarray
- 一起talk C栗子吧(第四十八回:C语言实例--走迷宫二)
- C++开源库
- C/C++静态变量static详解
- 学长们的求职血泪史(C/C++/JAVA)
- Effective C++ 条款46 需要类型转换时请为模板定义非成员函数
- “输出下一秒”
- c语言中的指针(包括数组与指针相关)
- C++ <文本文件的加密与解密>
- 第十篇:C++中乘除连续运算出问题了
- PHP比C/C++或Java少了什么?多线程,多线程,多线程……
- Effective C++ —— 构造/析构/赋值运算(二)
- C/C++重要知识点总结
- 腾讯的C++面试真有趣
- C++内存布局
- c语言中对于文件操作的一些学习