详解C/C++函数指针声明

2024-08-28 12:08
文章标签 c++ 详解 声明 函数指针

本文主要是介绍详解C/C++函数指针声明,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

转自: http://www.cnblogs.com/iuices/archive/2011/11/21/2257710.html


 要理解一个C程序,仅仅理解组成该程序的符号是不够的。程序员还必须理解这些符号是如何组合成声明、表达式、语句和程序的。

     我们先来看看下面的一个语句:

1
( *( void (*)())0)();

     这是当计算机启动时,硬件将调用首地址为0位置的子例程。像这样的表达式恐怕会令每个C/C++程序员的内心都“不寒而栗”吧。

     然而,完全不用害怕,任何C变量的声明都是由两部分组成:类型以及一组类似表达式的声明符。最简单的声明变量,如:

1
float  f , g ;

     这个声明的含义是:当对其求值时,表达式f和g的类型为浮点型。

     同样的逻辑也适用于函数和指针类型的声明,例如:

1
float  ff();

     这个声明的含义是:表达式ff()求值结果是一个浮点数,也就是说,ff是一个返回值为浮点类型的函数,类似地:

1
float  *pf;

     这个声明的含义是*pf是一个浮点数,也就是说,pf是一个指向浮点数的指针。

     以上这些形式在声明中还可以组合起来,就像在表达式中进行组合一样,因此:

1
float  *g() , (*h)();

表示*g()与(*h)()是浮点表达式。因为()结合优先级高于*,*g()也就是*(g()):g是一个函数,该函数的返回值类型为指向浮点数的指针。同理,可以得出h是一个函数指针,h所指向函数的返回值为浮点类型。

     一旦我们知道了如何声明一个给定类型的变量,那么该类型的类型转换符就很容易得到了:只需要把声明中的变量名和声明末尾的分号去掉,再将剩余的部分用一个括号整个“封装”起来即可。例如:

1
float  (*h)();

表示h是一个指向返回值为浮点类型的函数的指针,因此,

1
( float  (*)())

表示一个“指向返回值为浮点类型的函数的指针”的类型转换符。

     那么,我们现在来看看前面我们提出的表达式:

1
( *( void (*)())0)();

     第一步,假定变量fp是一个函数指针,那么如何调用fp所指向的函数呢?调用方法如下:

1
(*fp)();

     因为fp是一个函数指针,那么*fp就是该指针所指向的函数,所以(*fp)()就是调用该函数的方式。

     表达式(*fp)()中,*fp两侧的括号非常重要,因为函数运算符()的优先级高于单目运算符*。如果*fp两侧没有括号,那么*fp()实际上与*(fp())的含义完全一致。

     现在剩下的问题就只是找到一个恰到的表达式来替换fp。我们将在分析的第二步来解决这个问题。如果C编译器能够理解我们大脑中对于类型的认识,那么我们可以这样写:

1
(*0)()

     上式并不能生效,因为运算符*必须要一个指针来做操作数。而且这个指针还应该是一个函数指针,这样经运算符*作用后的结果才能作为函数被调用。因此,在上式中必须对0作类型转换,转换后的类型可以大致描述为:“指向返回值为void类型的函数的指针”。

     如果fp是一个指向返回值为void类型的函数的指针,那么(*fp)()的值为void,fp的声明如下:

1
viod (*fp)();

     因此,将常数0转型为“指向返回值为void的函数的指针”类型,可以这样写:

1
( void  (*)())0

     因此,我们可以用(void(*)())0来替换fp,从而得到:

1
( *( void (*)())0)();

     当然,我们用typedef来解决这个问题能够表述更加清晰:

1
2
typedef  void  (*fp)();
(*(fp)0)();

这个问题就可以解决了。

     我们再来考虑signal库函数,一般情况下,程序员并不主动声明signal函数,而是直接使用头文件signal.h中的声明。那么,在头文件signal.h中,signal函数是如何声明的呢?

     首先,让我们从用户定义的信号处理函数开始考虑,这无疑是最容易解决的。该函数可以定义如下:

1
2
3
void  sigfunc( int  n){
         /* 特定信号处理部分*/
}

     函数sigfunc的参数是一个代表特定信号的整数值,此处我们暂时忽略它。

     上面假设的函数体定义了sigfunc函数,因而sigfunc函数的声明可以如下:

1
void  sigfunc( int  );

     现在假定我们希望声明一个指向sigfunc函数的指针变量,不妨命名为sfp。因而sfp指向sigfunc函数,*sfp就代表sigfunc函数,因此*sfp可以被调用。因此我们可以如下这样声明sfp:

1
void  (*sfp)( int );

     因为signal函数的返回值类型与sfp的返回值类型一样,上式也就声明了signal函数,我们不妨可以如下声明signal函数:

1
void  (* signal (something))( int );

     此处的something代表了signal函数的参数类型,我们还需要进一步了解如何声明它们。上面声明可以这样理解:传递适当的参数以调用signal函数,对signal函数返回值(为函数指针类型)解除引用,然后传递一个整型参数调用解除引用后所得函数,最后返回值为void类型。因此,signal函数的返回值是一个指向返回值为void类型的函数指针。

     那么,signal函数的参数又是如何呢?,signal函数接受两个参数:一个整型的信号编号,以及一个指向用户定义的信号处理函数的指针。我们此前一定定义了指向用户定义的信号处理函数的指针sfp:

1
void  (*sfp)( int );

     sfp的类型可以通过将上面的声明中的sfp去掉而得到,即 void(*)(int)。此外,signal函数的返回值是一个指向调用前的用户定义信号处理函数的指针,这个指针的类型与sfp指针类型一致。因此我们可以如下声明signal函数:

1
void  (* signal ( int , void (*)( int )))( int );

     同样地,使用typedef可以简化上面的函数声明:

1
2
typedef void (*HANDLER)(int);
HANDLER signal(int , HANDLER);

 

     那么,现在的你对函数指针理解了吗?如果你看完了此篇文章,相信你一定会有意想不到的收获哦!

 

参考书籍:C陷阱与缺陷

这篇关于详解C/C++函数指针声明的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1114724

相关文章

Java中StopWatch的使用示例详解

《Java中StopWatch的使用示例详解》stopWatch是org.springframework.util包下的一个工具类,使用它可直观的输出代码执行耗时,以及执行时间百分比,这篇文章主要介绍... 目录stopWatch 是org.springframework.util 包下的一个工具类,使用它

Java进行文件格式校验的方案详解

《Java进行文件格式校验的方案详解》这篇文章主要为大家详细介绍了Java中进行文件格式校验的相关方案,文中的示例代码讲解详细,感兴趣的小伙伴可以跟随小编一起学习一下... 目录一、背景异常现象原因排查用户的无心之过二、解决方案Magandroidic Number判断主流检测库对比Tika的使用区分zip

Java实现时间与字符串互相转换详解

《Java实现时间与字符串互相转换详解》这篇文章主要为大家详细介绍了Java中实现时间与字符串互相转换的相关方法,文中的示例代码讲解详细,感兴趣的小伙伴可以跟随小编一起学习一下... 目录一、日期格式化为字符串(一)使用预定义格式(二)自定义格式二、字符串解析为日期(一)解析ISO格式字符串(二)解析自定义

springboot security快速使用示例详解

《springbootsecurity快速使用示例详解》:本文主要介绍springbootsecurity快速使用示例,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝... 目录创www.chinasem.cn建spring boot项目生成脚手架配置依赖接口示例代码项目结构启用s

Python中随机休眠技术原理与应用详解

《Python中随机休眠技术原理与应用详解》在编程中,让程序暂停执行特定时间是常见需求,当需要引入不确定性时,随机休眠就成为关键技巧,下面我们就来看看Python中随机休眠技术的具体实现与应用吧... 目录引言一、实现原理与基础方法1.1 核心函数解析1.2 基础实现模板1.3 整数版实现二、典型应用场景2

一文详解SpringBoot响应压缩功能的配置与优化

《一文详解SpringBoot响应压缩功能的配置与优化》SpringBoot的响应压缩功能基于智能协商机制,需同时满足很多条件,本文主要为大家详细介绍了SpringBoot响应压缩功能的配置与优化,需... 目录一、核心工作机制1.1 自动协商触发条件1.2 压缩处理流程二、配置方案详解2.1 基础YAML

Python实现无痛修改第三方库源码的方法详解

《Python实现无痛修改第三方库源码的方法详解》很多时候,我们下载的第三方库是不会有需求不满足的情况,但也有极少的情况,第三方库没有兼顾到需求,本文将介绍几个修改源码的操作,大家可以根据需求进行选择... 目录需求不符合模拟示例 1. 修改源文件2. 继承修改3. 猴子补丁4. 追踪局部变量需求不符合很

java中反射(Reflection)机制举例详解

《java中反射(Reflection)机制举例详解》Java中的反射机制是指Java程序在运行期间可以获取到一个对象的全部信息,:本文主要介绍java中反射(Reflection)机制的相关资料... 目录一、什么是反射?二、反射的用途三、获取Class对象四、Class类型的对象使用场景1五、Class

golang 日志log与logrus示例详解

《golang日志log与logrus示例详解》log是Go语言标准库中一个简单的日志库,本文给大家介绍golang日志log与logrus示例详解,感兴趣的朋友一起看看吧... 目录一、Go 标准库 log 详解1. 功能特点2. 常用函数3. 示例代码4. 优势和局限二、第三方库 logrus 详解1.

一文详解如何从零构建Spring Boot Starter并实现整合

《一文详解如何从零构建SpringBootStarter并实现整合》SpringBoot是一个开源的Java基础框架,用于创建独立、生产级的基于Spring框架的应用程序,:本文主要介绍如何从... 目录一、Spring Boot Starter的核心价值二、Starter项目创建全流程2.1 项目初始化(