C++Primer学习(6.7 函数指针——难!)

news2025/3/15 14:41:04

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

//比较两个 string 对象的长度
bool lengthCompare(const string &,const string &);

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

//pf 指向一个函数,该函数的参数是两个const string的引用,返回值是bool 类型
bool(*pf)(const string&,const string&);//未初始化

从我们声明的名字开始观察,pf前面有个 *,因此pf是指针;右侧是形参列表,表示pf指向的是函数;再观察左侧,发现函数的返回类型是布尔值。因此,pf就是一个指向函数的指针,其中该函数的参数是两个const string的引用,返回值是boo1类型。
*pf 两端的括号必不可少。如果不写这对括号,则pf是一个返回值为 bool指针的函数:

//声明一个名为pf的函数,该函数返回 bool * 
bool * pf(const string &const string &);

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

pf = lengthCompare;//pf 指向名为 lengthCompare 的函数
pf = &lengthCompare;//等价的赋值语句:取地址符是可选的

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

bool bl =pf("hello","goodbye");//调用lengthCompare 函数
bool b2=(*pf)("hello""goodbye");//一个等价的调用
bool b3=lengthCompare("hello""goodbye");// 另一个等价的调用

在指向不同函数类型的指针间不存在转换规则。但是和往常一样,我们可以为函数指针赋一个nullptr(参见2.3.2节,第48页)或者值为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(unsigned int);
void(*pfl)(unsigned int)=ff;//pfl指向ff(unsigned)

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

void(*pf2)(int)=ff;//错误:没有任何一个ff与该形参列表匹配
double(*pf3)(int*)=ff;//错误:ff和pf3的返回类型不匹配

函数指针形参
和数组类似(参见6.2.4节,第193页),虽然不能定义函数类型的形参,但是形参可以是指向函数的指针。此时,形参看起来是函数类型,实际上却是当成指针使用:

//第三个形参是函数类型,它会自动地转换成指向函数的指针
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的声明语句所示,直接使用函数指针类型显得冗长而烦琐。类型别名(参见2.5.1节,第60页)和decltype(参见2.5.3节,第62页)能让我们简化使用了函数指针的代码:

//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 表示的函数类型转换成指针。
返回指向函数的指针
和数组类似(参见6.3.3节,第205页),虽然不能返回一个函数,但是能返回指向函数类型的指针。然而,我们必须把返回类型写成指针形式,编译器不会自动地将函数返回类型当成对应的指针类型处理。与往常一样,要想声明一个返回函数指针的函数,最简单的办法是使用类型别名:

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

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

PF f1(int);//正确:PF是指向函数的指针,f1返回指向函数的指针
F fl(int);//错误:F是函数类型,f1不能返回一个函数
F *f1(int);//正确:显式地指定返回类型是指向函数的指针

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

int (*fl(int))(int*int);

按照由内向外的顺序阅读这条声明语句:我们看到f1有形参列表,所以f1是个函数:f1前面有 *,所以f1返回一个指针;进一步观察发现,指针的类型本身也包含形参列表,因此指针指向函数,该函数的返回类型是int。
出于完整性的考虑,有必要提醒读者我们还可以使用尾置返回类型的方式(参见6.3.3节,第206页)声明一个返回函数指针的函数:

auto fl(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 作用于某个函数时,它返回函数类型而非指针类型。因此,我们显式地加上* 以表明我们需要返回指针,而非函数本身。

重新学一遍这些内容:

在 C++ 中,函数指针是一种特殊的指针类型,它指向函数而非对象。函数指针在实现回调机制、动态调用函数等方面有着重要的应用。以下从定义、声明、使用方法、应用场景等方面进行详细介绍:
定义和声明
函数指针的声明需要指定函数的返回类型、参数列表,语法格式如下:

返回类型 (*指针名)(参数列表);

下面是一个简单的示例:

#include <iostream>
// 定义一个函数
int add(int a, int b) 
{
    return a + b;
}
int main() 
{
    // 声明一个函数指针,指向返回类型为 int,参数为两个 int 类型的函数
    int (*funcPtr)(int, int);
    // 将函数指针指向 add 函数
    funcPtr = add;
    return 0;
}

在上述代码中,int (*funcPtr)(int, int); 声明了一个函数指针 funcPtr,它可以指向返回类型为 int,参数为两个 int 类型的函数。然后将其指向了 add 函数。
使用函数指针调用函数
通过函数指针调用函数的方式和直接调用函数类似,使用 (*指针名) 或者直接使用指针名来调用函数,示例如下:

#include <iostream>
// 定义一个函数
int add(int a, int b) 
{
    return a + b;
}
int main() 
{
    // 声明一个函数指针,指向返回类型为 int,参数为两个 int 类型的函数
    int (*funcPtr)(int, int);
    // 将函数指针指向 add 函数
    funcPtr = add;
    // 使用函数指针调用函数
    int result = (*funcPtr)(3, 5);  // 方式一
    // 或者 int result = funcPtr(3, 5);  // 方式二
    std::cout << "Result: " << result << std::endl;
    return 0;
}

函数指针作为参数传递
函数指针可以作为参数传递给其他函数,这样可以实现回调机制,使得函数的行为更加灵活。示例如下:

#include <iostream>
// 定义一个函数
int add(int a, int b) 
{
    return a + b;
}

int subtract(int a, int b) 
{
    return a - b;
}
// 一个接受函数指针作为参数的函数
int calculate(int (*operation)(int, int), int a, int b) 
{
    return operation(a, b);
}

int main() 
{
    int num1 = 10, num2 = 5;
    // 调用 calculate 函数,传递 add 函数指针
    int result1 = calculate(add, num1, num2);
    std::cout << "Addition result: " << result1 << std::endl;
    // 调用 calculate 函数,传递 subtract 函数指针
    int result2 = calculate(subtract, num1, num2);
    std::cout << "Subtraction result: " << result2 << std::endl;
    return 0;
}

在上述代码中,calculate 函数接受一个函数指针 operation 作为参数,通过这个函数指针可以动态地选择不同的操作(加法或减法)。
函数指针数组
可以创建函数指针数组,将多个函数指针存储在数组中,方便根据需要选择调用不同的函数。示例如下:

#include <iostream>
// 定义几个函数
int add(int a, int b) 
{
    return a + b;
}

int subtract(int a, int b) 
{
    return a - b;
}

int multiply(int a, int b) 
{
    return a * b;
}

int main() 
{
    // 声明一个函数指针数组
    int (*funcArray[3])(int, int) = {add, subtract, multiply};
    int num1 = 10, num2 = 5;
    // 遍历函数指针数组并调用函数
    for (int i = 0; i < 3; ++i) 
    {
        int result = funcArray[i](num1, num2);
        std::cout << "Result of operation " << i + 1 << ": " << result << std::endl;
    }
    return 0;
}

注意事项
函数签名匹配:函数指针的返回类型和参数列表必须与所指向的函数完全匹配,否则会导致编译错误。
指针空值检查:在使用函数指针之前,最好检查其是否为 nullptr,避免调用空指针导致程序崩溃。例如:

if (funcPtr != nullptr) 
{
    int result = funcPtr(3, 5);
}

返回指向函数的指针
声明返回指向函数的指针时,语法较为复杂,一般形式如下:

返回类型 (*函数名(参数列表))(返回类型, 参数列表);

下面逐步解释这个复杂的声明:
最外层的 函数名(参数列表) 是一个普通的函数声明,表示这是一个函数,括号内是该函数的参数列表。
(*函数名(参数列表)) 表明这个函数返回的是一个指针。
最后的 (返回类型, 参数列表) 是该指针所指向的函数的参数列表,而整个声明的开头的 返回类型 是该指针所指向的函数的返回类型。

#include <iostream>
// 定义几个简单的函数
int add(int a, int b) 
{
    return a + b;
}

int subtract(int a, int b) 
{
    return a - b;
}

// 返回指向函数的指针的函数
int (*getOperation(int choice))(int, int) 
{
    if (choice == 1) 
    {
        return add;
    } else 
    {
        return subtract;
    }
}

int main() 
{
    int choice;
    std::cout << "Enter 1 for addition, 2 for subtraction: ";
    std::cin >> choice;
    // 获取函数指针
    int (*operation)(int, int) = getOperation(choice);
    int num1 = 10, num2 = 5;
    int result = operation(num1, num2);
    std::cout << "Result: " << result << std::endl;
    return 0;
}

在上述代码中:
add 和 subtract 是两个简单的函数,分别实现加法和减法操作。
getOperation 函数根据用户输入的 choice 值,返回指向 add 或 subtract 函数的指针。
在 main 函数中,调用 getOperation 函数获取函数指针,然后使用该指针调用相应的函数进行计算。
使用 typedef 简化声明
由于返回指向函数的指针的声明语法较为复杂,使用 typedef 可以简化声明。示例如下:

#include <iostream>
// 定义几个简单的函数
int add(int a, int b) 
{
    return a + b;
}

int subtract(int a, int b) 
{
    return a - b;
}
// 使用typedef简化函数指针类型的声明
typedef int (*Operation)(int, int);
// 返回指向函数的指针的函数,使用简化后的类型
Operation getOperation(int choice) 
{
    if (choice == 1) 
    {
        return add;
    } else 
    {
        return subtract;
    }
}

int main() 
{
    int choice;
    std::cout << "Enter 1 for addition, 2 for subtraction: ";
    std::cin >> choice;
    // 获取函数指针
    Operation operation = getOperation(choice);
    int num1 = 10, num2 = 5;
    int result = operation(num1, num2);
    std::cout << "Result: " << result << std::endl;
    return 0;
}

空指针检查:在使用返回的函数指针之前,最好检查其是否为 nullptr,避免调用空指针导致程序崩溃。例如:

Operation operation = getOperation(choice);
if (operation != nullptr) 
{
    int result = operation(num1, num2);
}

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.coloradmin.cn/o/2315497.html

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

如何在Ubuntu上构建编译LLVM和ISPC,以及Ubuntu上ISPC的使用方法

之前一直在 Mac 上使用 ISPC&#xff0c;奈何核心/线程太少了。最近想在 Ubuntu 上搞搞&#xff0c;但是 snap 安装的 ISPC不知道为什么只能单核&#xff0c;很奇怪&#xff0c;就想着编译一下&#xff0c;需要 Clang 和 LLVM。但是 Ubuntu 很搞&#xff0c;他的很多软件版本是…

【MySQL】表的约束(上)

文章目录 表的约束什么是表的约束空属性默认值列描述&#xff08;comment&#xff09;零填充&#xff08;zerofill&#xff09;主键 总结 表的约束 什么是表的约束 表的约束&#xff08;Constraints&#xff09;是数据库表中的规则&#xff0c;用于限制存储的数据&#xff0c…

静态分析技术:Jadx-GUI高级用法与模式识别

1. 深度反编译策略 1.1 多层级反混淆方案 代码恢复流程&#xff1a; graph TD A[混淆代码] --> B{符号恢复} B -->|字典匹配| C[变量重命名] B -->|类型推导| D[参数重构] C --> E[控制流优化] D --> E E --> F[语义化输出] 反混淆脚本示例&…

30天学习Java第六天——Object类

Object类 java.lang.Object时所有类的超类。Java中所有类都实现了这个类中的方法。 toString方法 将Java对象转换成字符串的表示形式。 public String toString() {return getClass().getName() "" Integer.toHexString(hashCode()); }默认实现是&#xff1a;完…

【C语言】编译和链接详解

hi&#xff0c;各位&#xff0c;让我们开启今日份博客~ 小编个人主页点这里~ 目录 一、翻译环境和运行环境1、翻译环境1.1预处理&#xff08;预编译&#xff09;1.2编译1.2.1词法分析1.2.2语法分析1.2.3语义分析 1.3汇编1.4链接 2.运行环境 一、翻译环境和运行环境 在ANSI C…

DataWhale 速通AI编程开发:(基础篇)第1章 环境下载、安装与配置

课程地址&#xff1a;Datawhale-学用 AI,从此开始 vscode 更新为最新版 目前绝大多数deepseek非官方渠道均兼容openai的api格式&#xff0c;这里以硅基流动为例进行演示&#xff0c;其他非官方渠道同理。 点击链接注册账号之后&#xff0c;点击“实名认证“完成实名&#xff0…

本地知识库RAG总结

目录 RAG流程: 知识库的要求&#xff1a; 知识抽取&#xff1a; 知识存储: 向量化: 知识检索: 应用客户端: RAG智能问答应用几个痛点&#xff1a; 如何提升召回率改进思路&#xff1a; 如何提升回答专业性&#xff1a; RAG评测&#xff1a; 总结&#xff1a; 参考…

torch_geometric 安装

环境监测&#xff1a; import torch print(torch.__version__) # 查看pytorch安装的版本号 print(torch.cuda.is_available()) # 查看cuda是否可用。True为可用&#xff0c;即是gpu版本pytorch print(torch.cuda.get_device_name(0)) # 返回GPU型号 …

网页打印很简单!用web打印插件lodop轻松实现文件打印

最近&#xff0c;给客户发一个事件提醒软件&#xff0c;其中客户要求实现打印功能&#xff0c;因为是用asp.net mvc 开发首先考虑到用水晶报表来实现&#xff08;crystalReport&#xff09;&#xff0c;以前开发c# winform程序&#xff0c;感觉水晶报表还是蛮好的&#xff0c;但…

北京迅为iTOP-RK3568开发板OpenHarmony系统南向驱动开发实操-HDF驱动配置LED

瑞芯微RK3568芯片是一款定位中高端的通用型SOC&#xff0c;采用22nm制程工艺&#xff0c;搭载一颗四核Cortex-A55处理器和Mali G52 2EE 图形处理器。RK3568 支持4K 解码和 1080P 编码&#xff0c;支持SATA/PCIE/USB3.0 外围接口。RK3568内置独立NPU&#xff0c;可用于轻量级人工…

驻场运维服务方案书(Word文件)

目 录 第一章 背景分析 1.1. 项目背景 1.2. 项目目标 1.3. 系统现状 1.3.1. 网络系统 1.3.2. 设备清单梳理 1.3.3. 应用系统 第二章 需求分析及理解 2.1. 在重要日期能保障信息系统安全 2.2. 信息系统可长期安全、持续、稳定的运行 2.3. 提升发现安全问题、解决安全…

【时时三省】(C语言基础)用printf函数输出数据2

山不在高&#xff0c;有仙则名。水不在深&#xff0c;有龙则灵。 ----CSDN 时时三省 格式字符 在输出时&#xff0c;对不同类型的数据要指定不同的格式声明&#xff0c;而格式声明中最重要的内容是格式字符。常用的有以下几种格式字符。 ( 1 ) d格式符。用来输出一个有符号的…

django框架 [面试篇]

Django 是一个基于 Python 的web框架&#xff0c;遵循"快速开发&#xff0c;不重复造轮子(dont repeat yourself)"的原则&#xff0c;帮助用户构建web应用。 而 Django 它本身提供了一些全栈式的一些组件&#xff0c;包括了 ORM&#xff0c;模板引擎&#xff0c;表单…

信息学奥赛一本通 1449:【例题2】魔板

题目 1449&#xff1a;【例题2】魔板 分析 首先注意&#xff1a;输入是按顺时针给出的&#xff0c;但我们处理时需要按正常顺序排&#xff0c;可以用以下代码读入 string s(8, 0); // 初始化全零字符串 cin>>s[0]>>s[1]>>s[2]>>s[3]; cin>>…

你的完美主义:从缺陷到超能力

所属专栏&#xff1a;《逻辑辨证系列》 前情回顾&#xff1a; 《完美还是完成》&#xff08;一&#xff09;&#xff1a;完成还是完美—完成大于完美 时间、机会、情绪成本 先完成 … 本期&#xff1a; 《完美还是完成》&#xff08;二&#xff09;&#xff1a;你的完美主…

浅谈Linux中的Shell及其原理

浅谈Linux中的Shell及其原理 Linux中Shell的运行原理github地址前言一、Linux内核与Shell的关系1.1 操作系统核心1.2 用户与内核的隔离 二、Shell的演进与核心机制2.1 发展历程2.2 核心功能解析2.3 shell的工作流程1. 用户输入命令2. 解析器拆分指令3. 扩展器处理动态内容变量替…

ARM内部寄存器与常用汇编指令(ARM汇编)

1 地址空间&RISC与CISC CISC&#xff1a;复杂指令集计算机 RISC&#xff1a;精简指令集计算机 RISC 与 CISC 的比较 2 ARM内部寄存器 3 ARM汇编概述 RISC精简指令可以大致分为几类&#xff1a; 1.内存读写 2.运算 3.跳转/分支 4.比较 而指令的集合就称之为“指令集”…

【QT5 Widgets示例】Model/View编程初探

文章目录 Model/ViewModel/View编程的优点常见Model类和View类Model/View应用程序示例只读的表格修改文本外观显示变化的数据设置表格标头可编辑视图示例树结构视图示例获取视图选中项 Model/View Model/View编程的优点 Model/View编程介绍&#xff1a;https://doc.qt.io/qt-…

一键优化右键菜单,高效又清爽!

打工人们你们好&#xff01;这里是摸鱼 特供版~ 电脑右键菜单杂乱无章&#xff0c;常用功能被淹没&#xff1f;图标显示异常、打印出错让人手足无措&#xff1f;别担心&#xff0c;Easy Context Menu来帮你&#xff01;这是一款右键菜单管理工具&#xff0c;能快速清理不必要的…

成绩排序(结构体排序)

成绩排序 #include<stdio.h> #include<stdlib.h> struct student{char name[50];int score;int order; }; int flag; int cmp(const void *a,const void *b){struct student *s1(struct student*)a;struct student *s2(struct student*)b;if(s1->scores2->…