当前位置：首页 > news >正文

C++ Primer 函数匹配

news 来源：原创 2025/9/22 0:48:13

欢迎阅读我的【C++Primer】专栏

专栏简介：本专栏主要面向C++初学者，解释C++的一些基本概念和基础语言特性，涉及C++标准库的用法，面向对象特性，泛型特性高级用法。通过使用标准库中定义的抽象设施，使你更加适应高级程序设计技术。希望对读者有帮助！

在这里插入图片描述

6.6函数匹配

在大多数情况下,我们容易确定某次调用应该选用哪个重载函数。然而,当几个重载函数的形参数量相等以及树些形参的类型可以由其他类型转换得来时,这项工作就不那么容易了。以下面这组函数及其调用为例:

void f();
void f(int);
void f(int,int);
void f(double,double=3.14);
f(5.6);//调用void(double,double)

确定候选函数和可行函数

函数匹配的第一步是选定本次调用对应的重载函数集,集合中的函数称为候选函数(candidate function)。候选函数具备两个特征:一是与被调用的函数合名,二是其声明在调用点可见。在这个例子中,有4个名为f的候选函数。

第二步考察本次调用提供的实参,然后从候选函数中选出能被这组实参调用的函数,这些新选出的函数称为可行函数(variable function)。可行函数也有两个特征:一是其形参数量与本次调用提供的实参数量相等,二是每个实参的类型与对应的形参类型相同,或者能转换成形参的类型。

我们能根据实参的数量从候选函数中排除掉两个。不使用形参的函数和使用两个int形参的函数显然都不适合本次调用,这是因为我们的调用只提供了一个实参,而它们分别有0个和两个形参。

使用一个int形参的函数和使用两个double形参的函数是可行的,它们都能用一个实参调用。其中最后那个函数本应该接受两个double值,但是因为它含有一个默认实
参,所以只用一个实参也能调用它。

在使用实参数量初步判别了候选函数后,接下来考察实参的类型是否与形参匹配。和一般的函数调用类似,实参与形参匹配的含义可能是它们具有相同的类型,也可能是实参类型和形参类型满足转换规则。在上面的例子中,剩下的两个函数都是可行的:

f(int)是可行的,因为实参类型double能转换成形参类型int。
f(double,double)是可行的,因为它的第二个形参提供了默认值,而第一个形参的类型正好是double,与函数使用的实参类型完全一致。

如果没找到可行函数,编译器将报告无匹配函数的错误。

寻找最佳匹配(如果有的话)

函数匹配的第三步是从可行函数中选择与本次调用最匹配的函数。在这一过程中,逐一检查函数调用提供的实参,寻找形参类型与实参类型最匹配的那个可行函数。下一节将
介绍“最匹配“的细节,它的基本思想是,实参类型与形参类型越接近,它们匹配得越好。

在我们的例子中,调用只提供了一个(显式的实参,它的类型是double。如果调用f(int),实参将不得不从double转换成int。另一个可行函数f(double,double)则与实参精确匹配。精确匹配比需要类型转换的匹配更好,因此,编译器把f(5.6)解析成对含有两个double形参的函数的调用,并使用默认值填补我们未提供的第二个实参。

含有多个形参的函数匹配

当实参的数量有两个或更多时,函数匹配就比较复杂了。对于前面那些名为f的函数,我们来分析如下的调用会发生什么情况:

(42,2.56)

选择可行函数的方法和只有一个实参时一样,编译器选择那些形参数量满足要求东实参类型和形参类型能够匹配的函数。此例中,可行函数包括f(int,int)和f(double,double)。接下来,编译器依次检查每个实参以确定哪个函数是最佳匹配。如果有东只有一个函数满足下列条件,则匹配成功:

该函数每个实参的匹配都不劣于其他可行函数需要的匹配。
至少有一个实参的匹配优于其他可行函数提供的匹配。
如果在检查了所有实参之后没有任何一个函数脱颖而出,则该调用是错误的。编译器将报告二义性调用的信息。

在上面的调用中,只考虑第一个实参时我们发现函数f(int,int)能精确匹配;要想匹配第二个函数,int类型的实参必须转换成double类型。显然需要内置类型转换的匹配劣于精确匹配,因此仅就第一个实参来说,f(int,int)比f(double,double)更好。

接着考虑第二个实参2.56,此时f(double,double)是精确匹配;要想调用f(int,int)必须将2.56从double类型转换成int类型.因此仅就第二个实参来说,f(double,double)更好。

编译器最终将因为这个调用具有二义性而拒绝其请求:因为每个可行函数各自在一个实参上实现了更好的匹配,从整体上无法判断孰优孰劣。看起来我们似乎可以通过强制类型转换其中的一个实参来实现函数的匹配,但是在设计良好的系统中,不应该对实参进行强制类型转换。

调用重载函数时应尽量避免强制类型转换,如果在实际应用中确实需要强制类型转换,则说明我们设计的形参集合不合理:

实参类型转换

为了确定最佳匹配,编译器将实参类型到形参类型的转换划分成儿个等级,具体排序如下所示:

精确匹配,包括以下情况:
- 实参类型和形参类型相同。
- 实参从数组类型或函数类型转换成对应的指针类型.
- 向实参添加顶层const或者从实参中删除顶层const。
通过const转换实现的匹配。
通过类型提升实现的匹配。
通过算术类型转换或指针转换实现的匹配。
通过类类型转换实现的匹配。

需要类型提升和算术类型转换的匹配

内置类型的提升和转换可能在函数匹配时产生意想不到的结栗,但幸运的是,在设计良好的系统中函数很少会含有与下面例子类似的形参。

分析函数调用前,我们应该知道小整型一般都会提升到int类型或更大的整数类型。

假设有两个函数,一个接受int、另一个接受short,则只有当调用提供的是short类型的值时才会选择short版本的函数。有时候,即使实参是一个很小的整数值,也会直接将它提升成int类型;此时使用short版本反而会导致类型转换:

void ff(int);
void ff(short);
ff(7)//char提升成int;调用f(int)

所有算术类型转换的级别都一样。例如,从int向unsigned int的转换并不比从int向double的转换级别高。举个具体点的例子,考虑

void manip(long);
void manip(float);
manip(3.14);//错误:二义性调用

字面值3.14的类型是double,它既能转换成long也能转换成float。因为存在两种可能的算数类型转换,所以该调用具有二义性。

函数匹配和const实参

如果重载函数的区别在于它们的引用类型的形参是否引用了const,或者指针类型的形参是否指向const,则当调用发生时编详器通过实参是否是常量来决定选择哪个函数:

Record lookup(Account&);//函数的参数是Account的引用
Record lookup(const Account&);// 函数的参数是一个常量引用
const Account a;
Account b;
lookup(a);//调用lookup(const Account&)
lookup(b);//调用lookup(Account&)

在第一个调用中,我们传入的是const对象a,因为不能把普通引用绑定到const对象上,所以此例中唯一可行的函数是以常量引用作为形参的那个函数,并且调用该函数与实参a精确匹配。

在第二个调用中,我们传入的是非常量对象b。对于这个调用米说,两个函数都是可行的,因为我们既可以使用b初始化常量引用也可以用它初始化非常量引用。然而,用非常量对象初始化常量引用需要类型转换,接受非常量形参的版本则与b精确匹配。因此,应该选用非常量版本的函数。

指针类型的形参也类似。如果两个函数的唯一区别是它的指针形参指向常量或非常量,则编译器能通过实参是否是常量决定选用哪个函数,如果实参是指向常量的指针,调用形参是const*的函数;如果实参是指向非常量的指针,调用形参是普通指针的函数。

C++ Primer 函数匹配

欢迎阅读我的【CPrimer】专栏专栏简介：本专栏主要面向C初学者，解释C的一些基本概念和基础语言特性，涉及C标准库的用法，面向对象特性，泛型特性高级用法。通过使用标准库中定义的抽象设施，使你更加适应高级…...

编程日记 2025/9/22 0:48:13

Httprint 指纹识别技术：网络安全的关键洞察

引言 Http指纹识别现在已经成为应用程序安全中一个新兴的话题，Http服务器和Http应用程序安全也已经成为网络安全中的重要一部分。从网络管理的立场来看，保持对各种web服务器的监视和追踪使得Http指纹识别变的唾手可得，Http指纹识别可以使得信…...

编程日记 2025/9/22 0:36:24

STM32的HAL库开发---ADC

一、ADC简介 1、ADC，全称：Analog-to-Digital Converter，指模拟/数字转换器把一些传感器的物理量转换成电压，使用ADC采集电压，然后转换成数字量，经过单片机处理，进行控制和显示。 2、常见的AD…...

编程日记 2025/9/22 0:45:41

PostgreSQL有undo表空间吗？

PostgreSQL有undo表空间吗 PostgreSQL 没有单独的 Undo 表空间，其事务回滚和多版本并发控制（MVCC）机制与 Oracle 等数据库有显著差异。一 PostgreSQL 的 MVCC 实现 PostgreSQL 通过多版本并发控制（MVCC） 管理事务…...

编程日记 2025/9/22 0:46:43

Huatuo热更新--安装HybridCLR

1.自行安装unity编辑器支持2019.4.x、2020.3.x、2021.3.x、2022.3.x 中任一版本。推荐安装2019.4.40、2020.3.26、2021.3.x、2022.3.x版本。根据你打包的目标平台，安装过程中选择必要模块。如果打包Android或iOS，直接选择相应模块即可。如果你想打包…...

编程日记 2025/9/21 6:55:19

Windows环境安装部署minimind步骤

Windows环境安装部署minimind步骤必要的软件环境 git git，可下载安装版，本机中下载绿色版，解压到本地目录下（如：c:\soft\git.win64），可将此路径添加到PATH环境变量中，供其他程序…...

编程日记 2025/9/21 16:13:05

前端面试手写--虚拟列表

目录一.问题背景二.代码讲解三.代码改装四.代码发布今天我们来学习如何手写一个虚拟列表,本文将把虚拟列表进行拆分并讲解,然后发布到npm网站上. 一.问题背景为什么需要虚拟列表呢?这是因为在面对大量数据的时候,我们的浏览器会将所有数据都渲染到表格上面,但是渲…...

编程日记 2025/9/20 18:25:47

【算法进阶详解第一节】树状数组

【算法进阶详解第一节】树状数组前言树状数组基础树状数组原理树状数组能够解决的问题树状数组提高树状数组区间加，区间和操作二维树状数组树状数组应用树状数组区间数颜色树状数组二维偏序前言树状数组在算法竞赛中十分常见，其能解决二维数点&am…...

编程日记 2025/9/22 0:46:41

青少年编程与数学 02-009 Django 5 Web 编程 16课题、权限管理

青少年编程与数学 02-009 Django 5 Web 编程 16课题、权限管理一、授权授权的主要特点和作用授权的类型应用场景二、权限系统使用Django内置的权限系统使用组管理权限使用第三方库在视图中应用权限三、权限管理示例步骤 1: 创建Django项目和应用步骤 2: 定义模型和权限步骤 …...

编程日记 2025/9/22 0:45:39

第四十四篇--Tesla P40+Janus-Pro-7B部署与测试

环境系统：CentOS-7 CPU: 14C28T 显卡：Tesla P40 24G 驱动: 515 CUDA: 11.7 cuDNN: 8.9.2.26创建环境 conda create --name trans python3.10torch 2.6.0 transformers 4.48.3克隆项目 git clone https:/…...

编程日记 2025/9/22 0:44:12

低成本、高效率且成熟的电商实时数据采集方案：梦想成真？

在电子商务领域，数据是驱动业务决策的核心资源。实时数据采集对于电商企业而言，意味着能够即时洞察市场动态、消费者行为以及运营效果，从而快速调整策略，提升竞争力。然而，如何在保证数据质量的同时，实现低…...

编程日记 2025/9/22 0:47:07

微信小程序之mobx-miniprogram状态管理

目前已经学习了6种小程序页面、组件间的数据通信方案,分别是: 1. 数据绑定: properties 2.获取组件实例: this.selectComponent() 3.事件绑定: this.triggerEvent() 4. 获取应用实例：getApp() 5. 页面间通信: EventChannel 6.事件总线:pubsub-js 在中小型项目…...

编程日记 2025/9/22 0:45:39

uniapp可视化-活动报名表单系统-代码生成器

活动报名表单系统小程序旨在为各类活动组织者提供一个便捷、高效的线上报名管理平台，同时为参与者提供简单易用的报名途径。主要功能活动发布：活动组织者可以发布活动的详细信息，包括活动名称、时间、地点、活动内容等。用户可以在小程序中…...

编程日记 2025/9/22 0:47:09

1.从零开始学会Vue--{{基础指令}}

全新专栏带你快速掌握Vue2Vue3 1.插值表达式{{}} 插值表达式是一种Vue的模板语法我们可以用插值表达式渲染出Vue提供的数据 1.作用：利用表达式进行插值，渲染到页面中表达式：是可以被求值的代码，JS引擎会将其计算出一个结果 …...

编程日记 2025/9/22 0:46:43

深入解析操作系统控制台：阿里云Alibaba Cloud Linux（Alinux）的运维利器

作为一位个人开发者兼产品经理，我的工作日常紧密围绕着云资源的运维和管理。在这个过程中，操作系统扮演了至关重要的角色，而操作系统控制台则成为了我们进行系统管理的得力助手。本文将详细介绍阿里云的Alibaba Cloud Linux操作系统控制台的功…...

编程日记 2025/9/22 0:46:40

CSS Grid 网格布局，以及 Flexbox 弹性盒布局模型，它们的适用场景是什么？

CSS Grid网格布局和Flexbox弹性盒布局模型都是现代CSS布局的重要工具，它们各自具有独特的优势和适用场景。作为前端开发工程师，理解这些布局模型的差异和适用场景对于编写高效、可维护的代码至关重要。 CSS Grid网格布局适用场景： 复杂…...

编程日记 2025/9/22 0:48:12

2025.2.16机器学习笔记：TimeGan文献阅读

2025.2.9周报一、文献阅读题目信息摘要Abstract创新点网络架构一、嵌入函数二、恢复函数三、序列生成器四、序列判别器损失函数实验结论后续展望一、文献阅读题目信息题目： Time-series Generative Adversarial Networks会议： Neural Information…...

编程日记 2025/9/21 12:50:49

高通推出骁龙游戏超级分辨率™：充分释放移动游戏性能，带来更持久的续航

Snapdragon Elite Gaming 一直致力于为每位用户打造卓越游戏体验。骁龙支持众多端游级特性，包括144FPS游戏体验、True 10-bit HDR支持的最高视觉质量的超流畅图形，让玩家可以畅享超10亿色的游戏体验。骁龙将许多移动端首创特性引入备受玩家喜爱的游戏中&…...

编程日记 2025/9/21 14:49:27

golangAPI调用deepseek

目录 1.deepseek官方API调用文档1.访问格式2.curl组装 2.go代码1. config 配置2.模型相关3.错误处理4.deepseekAPI接口实现5. 调用使用 3.响应实例 1.deepseek官方API调用文档 1.访问格式现在我们来解析这个curl 2.curl组装 // 这是请求头要加的参数-H "Content-Type:…...

编程日记 2025/9/21 8:14:27

SOC芯片前端设计对芯片电源完整性的影响

在进行芯片的电源完整性时，因为PI受影响的因素较多，出现问题debug也比较难，所以在进行芯片设计时，需要端到端从前到后进行考虑设计，本篇文章将从芯片前端设计的角度来看看哪些因素会影响到PI的设计。芯片前端设计的主…...

编程日记 2025/9/20 23:19:21

【区块链】零知识证明基础概念详解

🌈个人主页: 鑫宝Code 🔥热门专栏: 闲话杂谈｜ 炫酷HTML | JavaScript基础 💫个人格言: "如无必要，勿增实体" 文章目录零知识证明基础概念详解引言1. 零知识证明的定义与特性1.1 基本定义1.2 三个核心…...

编程日记 2025/9/19 16:46:50

面基Spring Boot项目中实用注解一

在Spring Boot项目中，实用注解根据功能可以分为多个类别。以下是常见的注解分类、示例说明及对比分析： 1. 核心配置注解 SpringBootApplication 作用：标记主启动类，组合了Configuration、EnableAutoConfiguration和ComponentScan…...

编程日记 2025/9/19 5:35:56

最新智能优化算法：中华穿山甲优化（ Chinese Pangolin Optimizer ，CPO）算法求解23个经典函数测试集，MATLAB代码

中华穿山甲优化（ Chinese Pangolin Optimizer ，CPO）算法由GUO Zhiqing 等人提出，该算法的灵感来自中华穿山甲独特的狩猎行为，包括引诱和捕食行为。算法流程如下： 1. 开始设置算法参数和最大迭代次数&a…...

编程日记 2025/9/16 10:12:45

shell脚本备份MySQL数据库和库下表

目录注意： 一.脚本内容二.执行效果三.创建定时任务注意： 以下为对MySQL5.7.42版本数据库备份shell脚本参考运行备份的机器请确认mysqldump版本>5.7，否则备份参数--set-gtid-purgedOFF无效，考虑到一般数据库节点和备份…...

编程日记 2025/9/20 19:12:34

Unity Shader Graph 2D - Procedural程序化图形之渐变的正弦波形

前言正弦波形也是一种常用、常见的程序化图形，合理的使用正弦波形会创作出一些有趣、美观和丰富的效果，本文将使用Unity Shader Graph来实现一个正弦波形效果，帮助理解和实践Unity Shader Graph以及正弦函数。创建一个名为SineWave的Shader…...

编程日记 2025/9/18 17:26:57

【算法与数据结构】并查集详解+题目

目录一，什么是并查集二，并查集的结构三，并查集的代码实现 1，并查集的大致结构和初始化 2，find操作 3，Union操作 4，优化小结： 四，并查集的应用场景省份…...

编程日记 2025/9/19 3:35:52

国家队出手！DeepSeek上线国家超算互联网平台！

目前，国家超算互联网平台已推出 DeepSeek – R1 模型的 1.5B、7B、8B、14B 版本，后续还会在近期更新 32B、70B 等版本。 DeepSeek太火爆了！在这个春节档，直接成了全民热议的话题。 DeepSeek也毫无悬念地干到了全球增速最快的AI应用。这几天，国内的云计算厂家都在支持Dee…...

编程日记 2025/9/20 17:37:27

H5接入支付宝手机网站支付并实现

小程序文档 - 支付宝文档中心 1.登录支付宝开放平台创建网页/移动应用 2.填写创建应用信息 3.配置开发设置 4.网页/移动应用：需要手动上线。提交审核后，预计 1 个工作日的审核时间。详细步骤可点击查看上线应用。应用上线后，还需要完成…...

编程日记 2025/9/21 1:26:59

Win10环境借助DockerDesktop部署大数据时序数据库Apache Druid

Win10环境借助DockerDesktop部署最新版大数据时序数据库Apache Druid32.0.0 前言大数据分析中，有一种常见的场景，那就是时序数据，简言之，数据一旦产生绝对不会修改，随着时间流逝，每个时间点都会有个新的…...

编程日记 2025/9/18 9:17:10

（三）Axure制作转动的唱片

效果图属性： 图标库：iconfont-阿里巴巴矢量图标库方形图片转为圆角图片，裁剪，然后加圆角， 唱片和底图是两个图片，点击播放，唱片在旋转。主要是播放按钮和停止按钮，两个动态面板…...

编程日记 2025/9/18 0:40:40

[JVM篇]分代垃圾回收

分代垃圾回收分代收集法是目前大部分 JVM 所采用的方法，其核心思想是根据对象存活的不同生命周期将内存划分为不同的域，一般情况下将 GC 堆划分为老生代(Tenured/Old Generation)和新生代(Young Generation)。老生代的特点是每次垃圾回收时只有少量对象…...

编程日记 2025/9/21 7:29:51

SpringBoot多数据源实践：基于场景的构建、实现和事务一体化研究

1. 多数据源应用场景剖析 1.1 业务驱动的多数据源需求数据量与业务复杂度引发的分库分表：在现代企业级应用中，随着业务的不断拓展和用户量的持续增长，数据量呈爆炸式增长。例如，在大型电商平台中，用户数据、订单数据…...

编程日记 2025/9/21 20:14:25

鸿蒙应用开发者基础

目录判断题单选题多选题判断题 1、在http模块中，多个请求可以使用同一个httpRequest对象，httpRequest对象可以复用。（错误） 2、订阅dataReceiverProgress响应事件是用来接收HTTP流式响应数据。（错误&#xff0…...

编程日记 2025/9/16 9:47:59

Java面试第二山！《计算机网络》！

在 Java 面试里，计算机网络知识是高频考点，今天就来盘点那些最容易被问到的计算机网络面试题，帮你轻松应对面试，也方便和朋友们一起探讨学习。一、HTTP 和 HTTPS 的区别 1. 面试题呈现 HTTP 和 HTTPS 有什么区别？在…...

编程日记 2025/9/20 22:37:16

2025最新Java面试题大全（整理版）2000+ 面试题附答案详解

很多 Java 工程师的技术不错，但是一面试就头疼，10 次面试 9 次都是被刷，过的那次还是去了家不知名的小公司。问题就在于：面试有技巧，而你不会把自己的能力表达给面试官。应届生：你该如何准备简历&#…...

编程日记 2025/9/18 16:49:22

低空经济：开启未来空中生活的全新蓝海

引言随着科技的进步，我们不再仅仅依赖地面交通和传统物流。你是否曾幻想过，未来的某一天，快递、外卖可以像魔法一样直接从空中送到你手中？或者，你能乘坐小型飞行器，快速穿梭于城市之间，告别拥堵…...

编程日记 2025/9/21 11:24:52

【机器学习】线性回归与一元线性回归

【机器学习系列】 KNN算法 KNN算法原理简介及要点特征归一化的重要性及方式线性回归算法线性回归与一元线性回归线性回归模型的损失函数多元线性回归多项式线性回归线性回归与一元线性回归 V1.1线性回归问题线性方程的最优解一元线性回归一元线性回归的方程一元线性回归…...

编程日记 2025/9/21 2:28:14

MongoDB 7 分片副本集升级方案详解（上）

#作者：任少近文章目录前言：Mongodb版本升级升级步骤环境1.1环境准备1.2standalone升级1.3分片、副本集升级前言：Mongodb版本升级在开始升级之前，请参阅 MongoDB下个版本中的兼容性变更文档，以确保您的应用程序和…...

编程日记 2025/9/16 10:26:46

Fiori APP配置中的Semantic object 小bug

在配置自开发程序的Fiori Tile时，需要填入Semantic Object。正常来说，是需要通过事务代码/N/UI2/SEMOBJ来提前新建的。但是在S4 2022中，似乎存在一个bug，即无需新建也能输入自定义的Semantic Object。如下，当我们任…...

编程日记 2025/9/16 10:21:46

pcf85163 ordering information Ordering information Package Description Version Marking code PCF85163T/1 SO8 ① SOT96-1 PF85163 PCF85163TS/1 TSSOP8 ② SOT505-1 85163 ①plastic small outline package; 8 leads;body width 3.9 mm ②plastic thin…...

编程日记 2025/9/16 10:27:44

制作一个项目用于研究elementUI的源码

需求：修改el-tooltip的颜色，发现传递参数等方法都不太好用，也可以使用打断点的方式，但也有点麻烦，因此打算直接修改源码，把组件逻辑给修改了第一步下载源码源码地址 GitHub - ElemeFE/element: A Vue.j…...

编程日记 2025/9/19 2:01:43

Docker高级篇

1.Mysql主从复制Docker版本 mysql主从复制原理 binlog 1.新建主服务器容器实例 docker run -d -p 3307:3306 --privilegedtrue \ -v /opt/mysql8.4.3/log:/var/log/mysql \ -v /opt/mysql8.4.3/conf:/etc/mysql/conf.d \ -v /opt/mysql8.4.3/data:/var/lib/mysql \ -e MYSQL…...

编程日记 2025/9/21 9:24:07

OSI 参考模型和 TCP/IP 参考模型

数据通信是很复杂的，很难在一个协议中完成所有功能。因此在制定协议时经常采用的思路是将复杂的数据通信功能由若干协议分别完成，然后将这些协议按照一定的方式组织起来。最典型的是采用分层的方式来组织协议，每一层都有一套清晰明确的功能和…...

编程日记 2025/9/16 10:30:16

rocketmq-netty通信设计-request和response

1、NettyRemotingServer启动分析 org.apache.rocketmq.remoting.netty.NettyRemotingServer#start public void start() {this.defaultEventExecutorGroup new DefaultEventExecutorGroup(nettyServerConfig.getServerWorkerThreads(),new ThreadFactory() {private AtomicI…...

编程日记 2025/9/20 19:21:12

目录