C++20 概念与约束(2)—— 初识概念与约束

1、概念

        C++20 中引入新的编译期关键字 concept 用于创建概念。个人认为将其翻译为“构思”更为贴切。直接使用时,它更像一个只能用于模板的布尔类型关键字。

         而如果用于模板中,他会将模板类型先带入自身,当自身条件为 true 才会实例化模板,否则该模板被弃置。因此该关键字几乎全用于 SFINAE 规则。

         如上图, foo 将因为找不到匹配模板而报错。

        因此只需要通过逻辑条件运算符将多条语句进行列举即可。

        此外,概念还可用于简写模板之中,只需写在 auto 之前即可:

        同样,第一个 foo 调用符合概念,而传入 char 类型违反概念,因此该行报错,找不到模板。

        因此概念是通过约定模板需要满足的条件来使用 SFINAE 规则的关键字。

2、约束

        C++20 中引入另一个关键字 requires。不同于 concept , requires 关键字可以使用户无需定义概念而对模板添加实例化的条件。当然不仅仅如此,个人觉得 requires 的用法特别混乱,没办法简单几句话概括其用法。

        用英语单词来作对比,requires有动词和名词两种用法。在语法中也可以这么理解,主句的 requires 是动词,从句则是名词。

1、requires主句

        requires 主句后跟布尔值类型的表达式,表示要求达成后续条件。因此,之前例子中的概念也可用 requires 主句将其写到同一个模板中。

        此外,因为概念的表达式值也是布尔类型,因此以下写法也是合法的: 

        题外话,这时候还可以对比 bool 类型的常量模板,会发现布尔类型的常量模板和概念特别相似,只不过概念可以放到定义模板的尖括号中,而布尔常量不行:

        总之,requires 主句只需要后续表达式值为 true 则允许实例化模板,否则该模板将被放弃匹配。 

2、requires从句

        requires 从句与主句不同,它后面必须跟花括号,括号中的表达式必须在编译期能够确定。并且,requires 从句的结果只有语法不允许和 true 两种,也就是说,在非模板中使用,只要编译能通过,它的值一定是 true ,它更像是条件的集合。根据此特性,requires 从句往往用于模板中以匹配 SFINAE 规则。

        上图中两个 requires 第一个必然是主句,用于要求后续条件符合。第二个 requires 便是从句,它要求 T::type1 和 T::type2 是合法语句才会返回 true 。 X 类型不符合该规则,该模板被弃置, foo<X> 无匹配模板。而 Y 符合该条件, foo<Y> 将被实例化。

        此外,从句的 requires 还允许后续紧跟一对括号用于类型的编译期的实例化。编译期的实例化并不会被真正实例化,只是用于检查实例化后的对象是否符合某种特性。

        可见该约束要求类型支持解引用和同类型相加的操作, X 类型不符合该规则,只有 foo<Y> 能被正确实例化。

3、再说主句与从句

        先提个毫无意义的小 tip ,requires 的主句和从句可以互相无限嵌套。接下来的内容不考虑嵌套约束的情况,仅讨论 requires 子句中使用普通表达式的情况。

         仅仅使用普通表达式作为子句的约束条件,子句只要有返回值,只有可能是 true 这一种结果。在非模板中,如果 requires 子句中的表达式非法是直接报错,非模板环境不存在 SFINAE 机制。

        如上图,报错信息与直接在 main 函数中使用该表达式的报错没有任何不同。 

        不可认为 requires 主句是因为从句不符合语法而返回 false 而启动 SFINAE 机制。之所以模板中的约束使得模板不被实例化是因为子句条件不符合而被抛弃,类似于以下模板中第二个模板默认类型形参的不符合。

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

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

相关文章

FPGA实现以太网(一)、以太网基础知识

系列文章目录 FPGA实现以太网&#xff08;二&#xff09;、初始化和配置PHY芯片 文章目录 系列文章目录一、以太网简介二、OSI七层模型三、TCP/IP五层模型四、MAC-PHY接口五、MAC帧格式六、IP帧格式6.1 IP首部校验和计算6.2 IP首部校验和校验 七、UDP帧格式7.1 UDP头部校验和…

【启程Golang之旅】Go-Micro框架的高效开发技巧

欢迎来到Golang的世界&#xff01;在当今快节奏的软件开发领域&#xff0c;选择一种高效、简洁的编程语言至关重要。而在这方面&#xff0c;Golang&#xff08;又称Go&#xff09;无疑是一个备受瞩目的选择。在本文中&#xff0c;带领您探索Golang的世界&#xff0c;一步步地了…

课下作业:IPSec协议验证

课下作业&#xff1a;IPSec协议验证 文章目录 1. 参考云班课课程资源中“ch03 密码技术-协议验证”的“VPN协议验证.pdf”和“ch03 密码技术-10-密码协议验证IPSec.mp4”&#xff0c;对 IPSec 协议进行验证&#xff0c;提交验证过程。&#xff08;79分&#xff09;第一阶段发起…

私域流量时代下的新型商业模式:以开源链动 2 + 1 模式、AI 智能名片、S2B2C 商城小程序源码为例

摘要&#xff1a;本文探讨了私域流量时代的特点及其对商业盈利模式的影响。通过分析从大众消费时代到私域流量时代的转型&#xff0c;阐述了商品到“人”的变化过程。同时&#xff0c;深入研究了开源链动 2 1 模式、AI 智能名片和 S2B2C 商城小程序源码在私域流量发展中的作用…

QJson-趟过的各种坑(先坑后用法)

QJson-趟过的各种坑【先坑后用法】 Chapter1 QJson-趟过的各种坑【先坑后用法】一、不能处理大数据量&#xff0c;如果你的数据量有百兆左右(特别是有的小伙伴还喜欢json格式化输出的)&#xff0c;不要用Qjson&#xff0c;否则会报错 DocumentTooLarge二、json格式化输出1.构建…

MySQL记录锁、间隙锁、临键锁(Next-Key Locks)详解

行级锁&#xff0c;每次操作锁住对应的行数据。锁定粒度最小&#xff0c;发生锁冲突的概率最低&#xff0c;并发度最高。 应用在InnoDB存储引擎中。InnoDB的数据是基于索引组织的&#xff0c;行锁是通过对索引上的索引项加锁来实现的&#xff0c;而不是对记录加的锁。 对于行…

DBeaver工具连接Hive

DBeaver工具连接Hive 首先解压安装包dbeaver-ce-latest-x86_64-setup.zip,并安装dbeaver-ce-latest-x86_64-setup.exe; 安装Kerberos客户端4.1-amd64.msi; 查看集群节点/etc/hosts文件内容,并追加到C:\Windows\System32\drivers\etc\hosts; 下载集群用户keytab文件,并解压…

动态规划-两个数组的dp问题——718.最长重复子数组

1.题目解析 题目来源 718.最长重复子数组——力扣 测试用例 2.算法原理 1.状态表示 子数组问题不能像子序列问题使用两个区间来表示状态&#xff0c;因为子数组一定是连续的&#xff0c;因此在填第i个位置就需要用到第i-1个位置的值&#xff0c;那么不妨以某个位置为结尾来设…

软件工程 软考

开发大型软件系统适用螺旋模型或者RUP模型 螺旋模型强调了风险分析&#xff0c;特别适用于庞大而复杂的、高风险的管理信息系统的开发。喷泉模型是一种以用户需求为动力&#xff0c;以对象为为驱动的模型&#xff0c;主要用于描述面向对象的软件开发过程。该模型的各个阶段没有…

【日志】392.判断子序列

2024.11.8 【力扣刷题】 392. 判断子序列 - 力扣&#xff08;LeetCode&#xff09;https://leetcode.cn/problems/is-subsequence/?envTypestudy-plan-v2&envIdtop-interview-150 整个题从一开始就是打算从双指针的思想往下走的。但是&#xff0c;我设置了四个变量sLeft…

高校宿舍信息管理系统小程序

作者主页&#xff1a;编程千纸鹤 作者简介&#xff1a;Java领域优质创作者、CSDN博客专家 、CSDN内容合伙人、掘金特邀作者、阿里云博客专家、51CTO特邀作者、多年架构师设计经验、多年校企合作经验&#xff0c;被多个学校常年聘为校外企业导师&#xff0c;指导学生毕业设计并参…

【含开题报告+文档+源码】基于SpringBoot的智慧养老医护管理系统

开题报告 随着社会老龄化趋势的不断加深&#xff0c;我国老年人口逐年增长&#xff0c;对养老服务的需求愈发迫切。然而&#xff0c;传统的养老服务模式存在许多不足&#xff0c;如信息孤岛、护理不精准等问题&#xff0c;迫切需要一种创新性的解决方案以提升养老服务的质量和…

【双十一特惠】腾讯云省钱攻略:如何智取云计算资源

前言 双十一不仅是购物的狂欢节&#xff0c;对于云计算用户来说&#xff0c;更是一个节省成本的绝佳时机。腾讯云&#xff0c;作为国内领先的云计算服务商&#xff0c;每年双十一都会推出一系列优惠活动。本文将为您揭开如何在这个购物节中&#xff0c;最大化利用腾讯云的优惠…

IEEE 1588:电信网络的精确时间协议 (PTP)

IEEE 1588&#xff1a;电信网络的精确时间协议 IEEE 1588 PTP 概述PTP 协议特征同步类型IEEE 1588 PTP 角色IEEE 1588 PTP 的工作原理PTP 设备类型PTP 消息类型事件消息一般信息 PTP 时钟类规范PTP 配置文件 https://www.techplayon.com/ieee-1588-precision-time-protocol-ptp…

昇思大模型平台打卡体验活动:基于MindSpore实现GPT1影评分类

如果你对MindSpore感兴趣&#xff0c;可以关注昇思MindSpore社区 大模型平台 平台说明 昇思大模型平台旨在为AI学习者和开发者提供在线学习的项目、模型、大模型体验和数据集的平台。我们也添加了各领域的经典数据集来帮助学习者解决AI学习过程中的一系列难题&#xff0c; 如…

在IDEA中使用Git

一、准备工作 这里我们使用 Gitee 做例子&#xff0c;使用 SSH 协议。看这个文章前最好看一下《》这个文章&#xff0c;了解一下 SSH。 1、生成秘钥对 首先要到 ~/.ssh 目录下进行操作&#xff0c;因为生成的公钥和私钥一般放在这个目录下&#xff0c;Windows 就是在用户目…

Linux下通过sqlplus连Oracle提示字符是乱码▒▒▒[

先参考https://www.cnblogs.com/wrencai/articles/4374451.html 理解下Oracle编码字符集的概念 如下图,刚开始连上是软吗▒▒▒[ 执行export NLS_LANGJAPANESE_JAPAN.AL32UTF8 (这个仅在当前会话起作用)如果好了,说明字符集是这个,不行在尝试别的字符集 如果要永久设置 vim …

Flyweight(享元)

1)意图 运用共享技术有效地支持大量细粒度的对象。 2)结构 享元模式的结构如图 7-36 所示。 其中: Flyweight 描述一个接口&#xff0c;通过这个接口 Flyweight 可以接受并作用于外部状态 ConcreteFlyweight 实现 Flyweight 接口&#xff0c;并为内部状态(如果有)增加存储空…

微信小程序中使用离线版阿里云矢量图标

前言 阿里矢量图库提供的在线链接服务仅供平台体验和调试使用&#xff0c;平台不承诺服务的稳定性&#xff0c;企业客户需下载字体包自行发布使用并做好备份。 1.下载图标 将阿里矢量图库的图标先下载下来 解压如下 2.转换格式 贴一个地址用于转换格式&#xff1a;Onlin…

大数据之多级缓存方案

多级缓存介绍&#xff1f;多级缓存优缺点&#xff0c;应用场景&#xff1f;多级缓存架构&#xff1f; 多级缓存介绍 多级缓存方案是一种优化手段&#xff0c;通过在多个级别上存储数据来提高应用程序的性能和响应速度。以下是对多级缓存方案的详细解析&#xff1a; 一、多级缓…