函数指针

简介: 函数指针 函数指针指向的是函数而非对象。和其他指针一样,函数指针指向某种特定类型。函数的类型由它的返回类型和形参类型共同决定,与函数名无关。例如: //比较两个string对象的长度 bool lengthCompare(const string&,const string&); 该函数的类型是bool(const string&,const string&).

函数指针

函数指针指向的是函数而非对象。和其他指针一样,函数指针指向某种特定类型。函数的类型由它的返回类型和形参类型共同决定,与函数名无关。例如:

//比较两个string对象的长度

bool lengthCompare(const string&,const string&);

该函数的类型是bool(const string&,const string&).要想声明一个可以指向该函数的指针,只需要用指针替换函数名即可:

//pf 指向一个函数,该函数的参数是两个const string的引用,返回值是bool类型

bool (*pf)(const string &,const string &);  //未初始化

从我们声明的名字开始观察,pf前面有个*,因此pf是指针;右侧是形参列表,表示pf指向的是函数;再观察左侧,发现函数的返回类型是布尔值。因此,pf就是一个指向函数的指针,其中该函数的参数是两个const string的引用,返回值是bool类型。

 

注意:*pf两端的括号必不可少,如果不写这对括号,则pf是一个返回值为bool指针的函数:

//声明一个名为pf函数,该函数返回bool*

bool *pf(const string&,const strng&);

 

使用函数指针

当我们把函数名作为一个值使用时,该函数自动地转换成指针。例如,按照如下形式我们可以将lengthCompare的地址赋给pf:

pf=lengthCompare;   //pf指向名为lengthCompare的函数

pf=&lengthCompare;   //等价的赋值语句:取地址符是可选的

此外,我们还能直接使用指向函数的指针调用该函数,无须提前解引用指针:

bool b1=pf("hello","goodbye");  //调用lengthCompare函数

bool b2=(*pf)("hello","goodbye");  //等价的调用

bool b3=lengthCompare("hello","goodbye");  //另一个等价的调用

在指向不同函数类型的指针间不存在转换规则,但是和往常一样,我们可以为函数指针赋一个nullptr或者0的整型常量表达式,表示该指针没有指向任何一个函数:

string::size_type sumLength(const string&,const string&);
bool cstringCompare(const char*,const char *);
pf=0;   //正确:pf不指向任何函数
pf=sumLength;   //错误:返回类型不匹配
pf=cstringCompare;   //错误:形参类型不匹配
pf=lengthCompare;   //正确:函数和指针的类型精确匹配

 

重载函数的指针

当我们使用重载函数时,上下文必须清晰地界定到底应该选用哪个函数。如果定义了指向重载函数的指针

void ff(int *);

void ff(usigned int );

 

void (*pf1)(unsigned int )=ff;   //pf1指向ff(unsigned)

编译器通过指针类型决定选用哪个函数,指针类型必须与重载函数中的某一个精确匹配:

void (*pf2)(int)=ff;  //错误:没有任何一个ff与该形参列表匹配

double (*pf3)(int *)=ff;   //错误:ff和pf3的返回类型不匹配

 

函数指针形参

和数组类型,虽然不能定义函数类型的返回值,但是形参可以是指向函数的指针。此时,形参看起来是函数类型,实际上却是当成指针使用:

//第三个参数是函数类型,它会自动地转换成指向函数的指针

void useBigger(const string &s1,const string &s2,bool pf(const string &,const string &));

//等价的声明,显式地将形参定义成指向函数的指针

void useBigger(const string &s1,const string &s2,bool (*pf)(const string &,const string &));

我们可以直接把函数作为实参使用,此时它会自动转换成指针:

//自动将函数lengthCompare转换成指向该函数的指针

useBigger(s1,s2,lengthCompare);

正如useBigger的声明语句所示,直接使用函数指针类型显得冗长而繁琐。类型别名和decltype能让我们简化使用了函数指针的代码:

//Func和Func2是函数类型

typedef bool Func(const string &,const string &);

typedef decltype(lengthCompare) Func2;   //等价的类型

//FuncP和FuncP2是指向函数的指针

typedef bool (*FuncP)(const string &,const string &);

typedef decltype(lengthCompare) *FuncP2;  //等价的类型

我们使用typedef定义自己的类型,Func和Func2是函数类型,而FuncP和FuncP2是指针类型。需要注意的是,decltype返回函数类型,此时不会讲函数类型自动转换成指针类型,因为decltype的结果是函数类型,所以只有在结果前面加上*才能得到指针。可以使用如下的形式重新声明useBigger:

//useBigger 的等价声明,其中使用了类型别名

void useBigger(const string&,const string &,Func);

void useBigger(const string &,const string &,FuncP2);

这两个声明语句声明的是同一个函数,在第一条语句中,编译器自动地将Func表示的函数类型转换成指针。

 

返回指向函数的指针

和数组类似,虽然不能返回一个函数,但是能返回指向函数类型的指针。然而,我们必须把返回类型写成指针形式,编译器不会自动地将函数返回类型当成对应的指针类型进行处理。与往常一样,要想声明一个返回函数指针的函数,最简单的办法是使用类型别名:

using F=int(int*,int);  //F是函数类型,不是指针

using PF=int(*)(int*,int);   //PF是指针类型

其中我们使用类型别名将F定义成函数类型,将PF定义成指向函数类型的指针。必须时刻注意的是,和函数类型的形参不一样,返回类型不会自动地转换成指针,我们必须显式地将返回类型指定为指针

PF f1(int);   //正确:PF是指向函数的指针,f1返回指向函数的指针

F f1(int);    //错误:F是函数类型,f1不能返回一个函数

F *f1(int);  //正确:显式地指定返回类型是指向函数的指针

当然,我们也能用下面的形式直接声明f1:

int (*f1(int))(int *,int);

按照由内向外的顺序阅读这条声明语句:我们看到f1有形参列表,所有f1是个函数;f1前面有*,所有f1返回一个指针:进一步发现,指针的类型本身也包含形参列表,因此指针指向函数,该函数的返回类型是int。

使用尾置类型的方式声明一个返回函数指针的函数:

auto f1(int )->int(*)(int *,int);

 

将auto和decltype用于函数指针类型

如果我们明确知道返回的函数是哪一个,就能使用decltype简化书写函数指针返回类型的过程。例如假定有两个函数,它们的返回类型都是string::size_type,并且各有两个const string&类型的形参,此时我们可以编写第三个函数,它接受一个string类型的参数,返回一个指针,该指针指向前两个函数中的一个:

string::size_type sumLength(const string&,const string&);

string::size_type largerLength(const string&,const string&);

//根据其形参的取值,getFcn函数返回指向sumLength或者largerLength的指针

decltype(sumLength) *getFcn(const string &);

声明getFcn唯一需要注意的地方是牢记当我们将decltype作用于么讴歌函数值,它返回函数类型而非指针类型,因此,我们显式地加上*以表明我们需要返回指针,而非函数本身。

 

相关文章
|
10天前
|
人工智能 JavaScript Linux
【Claude Code 全攻略】终端AI编程助手从入门到进阶(2026最新版)
Claude Code是Anthropic推出的终端原生AI编程助手,支持40+语言、200k超长上下文,无需切换IDE即可实现代码生成、调试、项目导航与自动化任务。本文详解其安装配置、四大核心功能及进阶技巧,助你全面提升开发效率,搭配GitHub Copilot使用更佳。
|
4天前
|
JSON API 数据格式
OpenCode入门使用教程
本教程介绍如何通过安装OpenCode并配置Canopy Wave API来使用开源模型。首先全局安装OpenCode,然后设置API密钥并创建配置文件,最后在控制台中连接模型并开始交互。
1883 6
|
12天前
|
存储 人工智能 自然语言处理
OpenSpec技术规范+实例应用
OpenSpec 是面向 AI 智能体的轻量级规范驱动开发框架,通过“提案-审查-实施-归档”工作流,解决 AI 编程中的需求偏移与不可预测性问题。它以机器可读的规范为“单一真相源”,将模糊提示转化为可落地的工程实践,助力开发者高效构建稳定、可审计的生产级系统,实现从“凭感觉聊天”到“按规范开发”的跃迁。
1894 18
|
10天前
|
人工智能 JavaScript 前端开发
【2026最新最全】一篇文章带你学会Cursor编程工具
本文介绍了Cursor的下载安装、账号注册、汉化设置、核心模式(Agent、Plan、Debug、Ask)及高阶功能,如@引用、@Doc文档库、@Browser自动化和Rules规则配置,助力开发者高效使用AI编程工具。
1347 7
|
14天前
|
IDE 开发工具 C语言
【2026最新】VS2026下载安装使用保姆级教程(附安装包+图文步骤)
Visual Studio 2026是微软推出的最新Windows专属IDE,启动更快、内存占用更低,支持C++、Python等开发。推荐免费的Community版,安装简便,适合初学者与个人开发者使用。
1352 13
|
9天前
|
人工智能 JSON 自然语言处理
【2026最新最全】一篇文章带你学会Qoder编辑器
Qoder是一款面向程序员的AI编程助手,集智能补全、对话式编程、项目级理解、任务模式与规则驱动于一体,支持模型分级选择与CLI命令行操作,可自动生成文档、优化提示词,提升开发效率。
822 10
【2026最新最全】一篇文章带你学会Qoder编辑器
|
14天前
|
人工智能 测试技术 开发者
AI Coding后端开发实战:解锁AI辅助编程新范式
本文系统阐述了AI时代开发者如何高效协作AI Coding工具,强调破除认知误区、构建个人上下文管理体系,并精准判断AI输出质量。通过实战流程与案例,助力开发者实现从编码到架构思维的跃迁,成为人机协同的“超级开发者”。
1102 96

热门文章

最新文章