C++20 概念与约束(1)—— SFINAE

1、从模板说起

        众所周知,C++在使用模板时,如果有多个模板匹配,则编译器会选择最匹配的一个模板进行实例化,这也正是模板特化和偏特化的依据。

         根据上面这张图中的现象,列举下面几个示例:

1、不存在模板的情况下, foo(1.0) 中的 1.0 将进行隐式转换。

2、若存在模板,模板匹配的优先级高于隐式转换。

3、若不存在实例, 编译器将用最合适的模板(图中的特化版本)进行实例化。

4、当然,在不存在实例也不存在匹配模板的情况下,编译器才会报错。

        从上述现象可知,优先级中,模板实例化 > 隐式类型转换 > 报错。而报错信息自然是找不到匹配的重载函数。看似稀松平常?但这才是重点,这里先按下不表。

 2、SFINAE

1、报错类型

        下图将模板第二个类型形参当作一个约束,要求传入的第一个类型中包含子类型 _requires,这样势必是通不过编译的。

        这里看似错误是因为 int 和 X 类型中没有 _requires 子类而报错,但事实是否如此?看它的报错:

        找不到匹配的重载函数?是不是很眼熟?而我们对比因为 int 和 X 类型中没有 _requires 子类而报错的报错信息:

         所以得到结论,模板匹配中,当某个它与要求不符时,编译器会将它抛弃,之后继续寻找其他匹配的模板。当无模板可匹配时,则报匹配错误。简而言之,匹配失败并非错误,这就是SFINAE(Substitution Failure Is Not An Error)。

        当然如果要强行调用这个模板也不是不行,只需要手动传入第二个参数即可。

        但是正确做法是传入一个包含 _requires 子类的类型。 

2、另一种匹配失败

        匹配规则并不一定得在模板形参列表中进行规定。比如规定类型得支持某种运算。

        如果不了解 std::declval ,那先将 decltype 括号中的内容当作 *T{} 即可。这三个模板,1 和 2 均是 SFINAE 。虽然模板 3 一样编译不通过,但其中存在本质差别。先看报错信息:

        尤其在函数模板中,只要在函数名修饰规则的成员中或者返回类型中使用匹配规则进行约束即可,比如也可以在函数模板的函数参数列表中约束类型:

         当然一般不会这么写,毕竟这么使用 SFINAE 规则要如何传参?报错信息中除了匹配不到模板的报错之外,自然也会有语法错误。

        使用 SFINAE 的模板报错实在模板实例化时,当未发现可实例化的模板便立即报错。而第三个模板报错是在实例化之后,调用 foo3<int>() 时,编译器发现 int 类型无法解引用才进行报错。如果模板特别复杂,使用 SFINAE 规则,报错信息将尤其清晰,否则可能出现几十条错误信息。

3、C++20之前的约束

1、std::enable_if_t

        用于约束模板满足某些表达式的条件,如果不满足则该模板不会被实例化。

        Y 类型并不匹配其中的条件“与 int 或者 X 类型相同” ,所以 Y 类型作为模板形参必定找不到匹配模板。事实上 enable_if_t 也是利用 SFINAE 规则。

        enable_if_t 中第一个模板参数是 bool 型的非类型模板形参,如果传入的表达式结果是false,则 enable_if 结构体将实例化为不含 type 版本,则 enable_if_t 对 enable_if 中的 type 取别名必然失败。

2、std::declval

        使类型即使不实例化也可对类型进行实例化之后的操作。

        模板的约束条件是支持同类型加法运算,因此约束条件这么写看似没问题,但是仍然找不到匹配模板。因为这种约束的写法除了要求支持同类型加法运算之外,还隐含了要求“支持无参构造”这一条件。而 X 类型因为定义了拷贝构造,默认无参构造是被弃用的,因此无法通过编译。因此便需要用到 std::declval 。

3、std::void_t

        将其当作一个用于类型的花括号即可。其实作用并不大。

        假如现在模板要求支持同类型加法操作,又同时只允许用 X 和 Y 类型当作类型模板形参,同时要求传入的类型模板形参中包含子类型 type 。根据之前的写法:

        如果要求更多,那么需要定义更多的类型模板形参,极其麻烦。如果用 std::void_t 则:

 

        实际上依然十分麻烦。这里先演示 C++20 的其中一种概念与约束的写法,之后正式介绍。

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

如若内容造成侵权/违法违规/事实不符,请联系我们进行投诉反馈qq邮箱809451989@qq.com,一经查实,立即删除!

相关文章

基于Spring Boot的在线装修管理系统的设计与实现,LW+源码+讲解

摘 要 互联网发展至今&#xff0c;无论是其理论还是技术都已经成熟&#xff0c;而且它广泛参与在社会中的方方面面。它让信息都可以通过网络传播&#xff0c;搭配信息管理工具可以很好地为人们提供服务。针对信息管理混乱&#xff0c;出错率高&#xff0c;信息安全性差&#…

原生鸿蒙应用市场:赋能开发者全生命周期服务体验

文章目录 背景自动化检测前移&#xff1a;早发现&#xff0c;早解决技术细节&#xff1a;静态代码分析与兼容性测试应用场景 按需加载&#xff1a;优化性能&#xff0c;提升用户体验技术细节&#xff1a;模块化与懒加载实现应用场景 应用加密&#xff1a;保护应用代码安全&…

RDD 算子全面解析:从基础到进阶与面试要点

Spark 的介绍与搭建&#xff1a;从理论到实践_spark环境搭建-CSDN博客 Spark 的Standalone集群环境安装与测试-CSDN博客 PySpark 本地开发环境搭建与实践-CSDN博客 Spark 程序开发与提交&#xff1a;本地与集群模式全解析-CSDN博客 Spark on YARN&#xff1a;Spark集群模式…

配置多公钥在多平台使用Git

步骤很详细&#xff0c;直接上教程 当我们想在不同远程仓库平台配置不同公钥时会发现不进行额外配置是不行的&#xff0c;只会使用默认的公钥&#xff0c;本篇文章便是为了解决这个问题 进入C:\Users\[你的用户名]\.ssh文件夹 如果没有这个文件夹可以新建一下 在上述文件夹新建…

如何在 Android 上增加 SELinux 权限

SELinux&#xff08;Security-Enhanced Linux&#xff09;是一种强制访问控制&#xff08;MAC&#xff09;机制&#xff0c;它为 Android 系统提供了额外的安全层。通过 SELinux&#xff0c;系统管理员可以定义细粒度的安全策略&#xff0c;限制进程对文件、网络和其他资源的访…

新能源汽车与公共充电桩布局

近年来,全球范围内对新能源汽车产业的推动力度不断增强,中国新能源汽车市场也呈现蓬勃发展的势头,在政策与市场的共同推动下,新能源汽车销量持续增长。然而,据中国充电联盟数据显示,充电基础设施建设滞后于新能源汽车数量增长的现状导致充电桩供需不平衡,公共充电桩服务空白区域…

中科大:LLM知识遗忘评估与优化

&#x1f4d6;标题&#xff1a;A Closer Look at Machine Unlearning for Large Language Models &#x1f310;来源&#xff1a;arXiv, 2410.08109 &#x1f31f;摘要 &#x1f538;大型语言模型&#xff08;LLM&#xff09;可能会记住敏感或受版权保护的内容&#xff0c;从…

django+postgresql

PostgreSQL概述 PostgreSQL 是一个功能强大的开源关系数据库管理系统&#xff08;RDBMS&#xff09;&#xff0c;以其高度的稳定性、扩展性和社区支持而闻名。PostgreSQL 支持 SQL 标准并具有很多先进特性&#xff0c;如 ACID 合规、复杂查询、外键支持、事务处理、表分区、JS…

Flink CEP 入门

1&#xff0e;复杂事件处理 大数据应用领域存在业务逻辑非常复杂的应用系统&#xff0c;比如&#xff0c;一个应用要检测特定顺序先后发生的一组事件&#xff0c;对事件组进行分析或报警提示&#xff0c;若使用SQL 或者DataStream API 处理这类应用&#xff0c;过程相对来说比较…

CSS教程(三)- CSS 三大特性

1. 层叠性 介绍 多组CSS样式共同作用于一个元素&#xff0c;就会出现 覆盖&#xff08;层叠&#xff09; 另一个冲突的样式。 层叠原则 样式冲突&#xff1a;遵循就近原则&#xff08;哪个样式离结构近&#xff0c;就执行哪个样式&#xff09; 样式不冲突&#xff0c;就不会重…

粒子群优化双向深度学习!PSO-BiTCN-BiGRU-Attention多输入单输出回归预测

粒子群优化双向深度学习&#xff01;PSO-BiTCN-BiGRU-Attention多输入单输出回归预测 目录 粒子群优化双向深度学习&#xff01;PSO-BiTCN-BiGRU-Attention多输入单输出回归预测效果一览基本介绍程序设计参考资料 效果一览 基本介绍 1.Matlab实现PSO-BiTCN-BiGRU-Attention粒子…

Unity引擎智能座舱解决方案

作为全球领先的 3D 引擎之一&#xff0c;Unity引擎为车载3D HMI提供全栈支持。即为从概念设计到量产部署的整个 HMI 工作流程提供创意咨询、性能调优、项目开发等解决方案&#xff0c;从而为车载信息娱乐系统和智能驾驶座舱打造令人惊叹的交互式体验。 专为中国车企打造的HMI引…

ctfshow(316,317,318)--XSS漏洞--反射性XSS

反射型XSS相关知识 Web316 进入界面&#xff1a; 审计 显示是关于反射性XSS的题目。 思路 首先想到利用XSS平台解题&#xff0c;看其他师傅的wp提示flag是在cookie中。 当前页面的cookie是flagyou%20are%20not%20admin%20no%20flag。 但是这里我使用XSS平台&#xff0c;…

python 爬虫 入门 六、Selenium

Selenium本来是一个自动测试工具&#xff0c;用于模拟用户对网站进行操作。在爬虫领域也有其用处。 一、下载安装Selenium及附属插件 pip install Selenium 安装完成后还需要安装一个浏览器驱动&#xff0c;来让python能启动浏览器。 如果是Edge或者其他基于Chromium的浏览器…

Linux环境基础和基础开发工具使用

文章目录 一、yum软件管理器1、包管理器2、yum3、apt4、安装源 二、编辑器vim1、各种模式2、打开时直接让光标定位到指定号3、&#xff01;加命令字符 三、命令模式1、i 进入插入模式2、**Shift :** 进入底行模式3、光标定位4、ZZ&#xff08;大写&#xff09;保存并退出vim5、…

java设计——日历可视化

设计目标 设计的这个日历既可以捕捉当天的日期&#xff0c;并且使用红色圆圈圈起来以及实时具体时间&#xff0c;而且将月份和年份设计了下拉框&#xff0c;可以自行选择具体的月份年份&#xff0c;也可以通过<和>两个按键实现对月份的转变&#xff0c;同时年份和月份的…

校园官网练习---web

HTML&#xff1a; <!DOCTYPE html> <html lang"en"> <head><meta charset"UTF-8"><meta name"viewport" content"widthdevice-width, initial-scale1.0"><title>西安工商学院</title><…

【数据结构实战】从零开始打造你的专属链表

&#x1f3dd;️专栏&#xff1a;【数据结构实战篇】 &#x1f305;主页&#xff1a;f狐o狸x 目录 一、链表的概念及结构 二、链表的分类 2.1 单向的或双向的 2.2 带头的或不带头的 2.3 循环或非循环 三、链表的实现 3.1 打印和动态申请一个结点 3.2 尾插一个数 3.3 头插一个…

Axure PR 9 多级下拉选择器 设计交互

​ 大家好&#xff0c;我是大明同学。 Axure选择器是一种在交互设计中常用的组件&#xff0c;这期内容&#xff0c;我们来探讨Axure中多级下拉选择器设计与交互技巧。 下拉列表选择输入框元件 创建选择输入框所需的元件 1.在元件库中拖出一个矩形元件。 2.选中矩形元件&…

HiveSQL 中判断字段是否包含某个值的方法

HiveSQL 中判断字段是否包含某个值的方法 在 HiveSQL 中&#xff0c;有时我们需要判断一个字段是否包含某个特定的值。下面将介绍几种常用的方法来实现这个功能。 一、创建示例表并插入数据 首先&#xff0c;我们创建一个名为employee的表&#xff0c;并插入一些示例数据&am…