(C++20) consteval立即函数

文章目录

  • 由来
  • consteval立即函数
    • 上下文的常量性质
    • lambda表达式
  • 编译期间确定
    • 无法获取函数指针
    • 查看汇编
  • END

由来

在C++11中推出了constexpr使得对象或者函数能够具有常量性质并能在编译器确定。但是对于constexpr修饰的函数来说,无法保证严格的在编译器确定。

下面这段代码,fun1正常编译运行,但是到了fun2就会编译失败。

constexpr int square(int x) {return x * x;
}void fun1(int x) {square(10);square(x);
}void fun2(int x) {constexpr int num1 = square(10);// error: 'x' is not a constant expression// constexpr int num2 = square(x);
}int main(int argc, char** argv) {
}

consteval立即函数

consteval 说明符 (C++20 起) - cppreference.com

为了能够强制在编译期间计算,C++20推出了consteval关键字用于修饰函数。强制要求该函数必须表现为常量性质

consteval int square(int x) {return x * x;
}

上下文的常量性质

编译器会自动检测上下文的常量性质,因此下面这段代码也是可性的。

constexpr int square(int x) {return x * x;
}// constexpr函数 调用 constexpr函数
constexpr int re_square(int x) {return square(square(x));
}int main() {// 上下文常量性质const int     x    = 10;constexpr int num1 = square(x);constexpr int num2 = re_square(x);
}

lambda表达式

说到函数怎么能少得了lambda函数,在参数后添加关键字即可。

int main() {auto square = [](int x) constexpr { return x * x; };const int     x   = 10;constexpr int num = square(x);
}

编译期间确定

无法获取函数指针

新手可能不太了解什么叫编译期间确定。

这里举个例子,一般函数我们可以获取它的地址,并赋到一个函数指针上。

但是consteval函数不行。因为它根本不会产生函数实例!

int fun1(int x) {return x + 10;
}consteval int fun2(int x) {return x + 10;
}int main() {int (*funPtr1)(int) = &fun1;// error: taking address of an immediate function ‘consteval int fun2(int)’// int (*funPtr2)(int) = &fun2;
}

查看汇编

再具体的我们来查看汇编代码,便会一目了然!

现在有如下的代码:

int funnnnnn000000000000000000000000(int x) {return x + 10;
}constexpr int funnnnnn111111111111111111111111(int x) {return x + 10;
}consteval int funnnnnn222222222222222222222222(int x) {return x + 10;
}int main() {const int x = 10;funnnnnn000000000000000000000000(x);funnnnnn111111111111111111111111(x);funnnnnn222222222222222222222222(x);
}

环境与指令:

gcc version 11.4.0 (Ubuntu 11.4.0-1ubuntu1~22.04) 
g++ -std=c++20 test.cpp -S

生成的汇编代码:

	.file	"test.cpp".text.globl	_Z32funnnnnn000000000000000000000000i.type	_Z32funnnnnn000000000000000000000000i, @function
_Z32funnnnnn000000000000000000000000i:
.LFB0:.cfi_startprocendbr64pushq	%rbp.cfi_def_cfa_offset 16.cfi_offset 6, -16movq	%rsp, %rbp.cfi_def_cfa_register 6movl	%edi, -4(%rbp)movl	-4(%rbp), %eaxaddl	$10, %eaxpopq	%rbp.cfi_def_cfa 7, 8ret.cfi_endproc
.LFE0:.size	_Z32funnnnnn000000000000000000000000i, .-_Z32funnnnnn000000000000000000000000i.section	.text._Z32funnnnnn111111111111111111111111i,"axG",@progbits,_Z32funnnnnn111111111111111111111111i,comdat.weak	_Z32funnnnnn111111111111111111111111i.type	_Z32funnnnnn111111111111111111111111i, @function
_Z32funnnnnn111111111111111111111111i:
.LFB1:.cfi_startprocendbr64pushq	%rbp.cfi_def_cfa_offset 16.cfi_offset 6, -16movq	%rsp, %rbp.cfi_def_cfa_register 6movl	%edi, -4(%rbp)movl	-4(%rbp), %eaxaddl	$10, %eaxpopq	%rbp.cfi_def_cfa 7, 8ret.cfi_endproc
.LFE1:.size	_Z32funnnnnn111111111111111111111111i, .-_Z32funnnnnn111111111111111111111111i.text.globl	main.type	main, @function
main:
.LFB3:.cfi_startprocendbr64pushq	%rbp.cfi_def_cfa_offset 16.cfi_offset 6, -16movq	%rsp, %rbp.cfi_def_cfa_register 6subq	$16, %rspmovl	$10, -4(%rbp)movl	$10, %edicall	_Z32funnnnnn000000000000000000000000imovl	$10, %edicall	_Z32funnnnnn111111111111111111111111imovl	$0, %eaxleave.cfi_def_cfa 7, 8ret.cfi_endproc
.LFE3:.size	main, .-main.ident	"GCC: (Ubuntu 11.4.0-1ubuntu1~22.04) 11.4.0".section	.note.GNU-stack,"",@progbits.section	.note.gnu.property,"a".align 8.long	1f - 0f.long	4f - 1f.long	5
0:.string	"GNU"
1:.align 8.long	0xc0000002.long	3f - 2f
2:.long	0x3
3:.align 8
4:

可见普通函数和constexpr函数都可以在汇编函数中展现,但是consteval函数并没有,这也正解释了为什么为什么不能获取函数指针。




END

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

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

相关文章

咨询+低代码,强强联合为制造业客户赋能

内容来自演讲:沈毅 | 遨睿智库 | 董事长 & 王劭禹 | 橙木智能 | 联合创始人 摘要 文章主要讲述了智库董事长沈毅创办广告公司的经历,以及他在管理公司过程中遇到的问题和挑战,最后通过与明道云以及橙木智能联合创始人王邵禹老师的合作&…

【驱动】SPI驱动分析(四)-关键API解析

关键API 设备树 设备树解析 我们以Firefly 的SPI demo 分析下dts中对spi的描述&#xff1a; /* Firefly SPI demo */ &spi1 {spi_demo: spi-demo00{status "okay";compatible "firefly,rk3399-spi";reg <0x00>;spi-max-frequency <48…

当内核有内存泄漏的时候

内存泄露是一个很容易出现的问题&#xff0c;尤其是对于测试不太充分的代码。怎么判断出现内存泄露了呢&#xff1f;很简单&#xff0c;就跑一些简单的测试&#xff0c;等待足够长时间即可。内存总有耗尽的时候&#xff0c;这时候内核会触发OOM&#xff0c;根据oom_score选择一…

【驱动】SPI驱动分析(六)-RK SPI驱动分析

前言 Linux的spi接口驱动实现目录在kernel\drivers\spi下。这个目录和一些层次比较明显的驱动目录布局不同&#xff0c;全放在这个文件夹下&#xff0c;因此还是只好通过看Kconfig 和 Makefile来找找思路 先看Makefile&#xff0c;里面关键几行&#xff1a; obj-$(CONFIG_SPI…

【C++ Primer Plus学习记录】循环和文本输入

目录 1.使用原始的cin进行输入 2.使用cin.get(char)进行补救 3.使用哪一个cin.get() 4.文件尾条件 循环完后的一项最常见、最重要的任务&#xff1a;逐字符地读取来自文件或键盘的文本。 cin对象支持3种不同模式的单字符输入&#xff0c;其用户接口各不相同。下面介绍如何…

形态学操作—底帽运算

底帽运算&#xff08;Bottom-hat transformation&#xff09;&#xff0c;也称为黑帽运算&#xff0c;是形态学图像处理中的一种操作。它与顶帽运算相反&#xff0c;通过闭运算的结果与原始图像的差异来突出图像中的暗区域特征。 原理 底帽运算通过对图像执行闭运算&#xff0…

代码随想录二刷 |字符串 |反转字符串

代码随想录二刷 &#xff5c;字符串 &#xff5c;反转字符串 题目描述解题思路 & 代码实现 题目描述 344.反转字符串 编写一个函数&#xff0c;其作用是将输入的字符串反转过来。输入字符串以字符数组 s 的形式给出。 不要给另外的数组分配额外的空间&#xff0c;你必须…

鸿蒙HarmonyOS应用开发-ColumnRow组件

1 概述 一个丰富的页面需要很多组件组成&#xff0c;那么&#xff0c;我们如何才能让这些组件有条不紊地在页面上布局呢&#xff1f;这就需要借助容器组件来实现。 容器组件是一种比较特殊的组件&#xff0c;它可以包含其他的组件&#xff0c;而且按照一定的规律布局&#xf…

UE5富文本框学习(用途:A(名字)用刀(图片)击杀B(名字))

UE5-UMG教程-通用控件&#xff1a;多格式文本块&#xff08;RichTextBlock&#xff09;_哔哩哔哩_bilibilihttps://www.bilibili.com/video/BV1Pu4y1k7Z2/?p54&spm_id_frompageDriver 结果示例&#xff1a; 1.添加富文本框 2.添加文字样式库 点添加&#xff0c;更改每行行…

Embedding压缩之hash embedding

在之前的两篇文章 CTR特征重要性建模&#xff1a;FiBiNet&FiBiNet模型、CTR特征建模&#xff1a;ContextNet & MaskNet中&#xff0c;阐述了特征建模的重要性&#xff0c;并且介绍了一些微博在特征建模方面的研究实践&#xff0c;再次以下面这张图引出今天的主题&#…

相比Javascript, Typescript有哪些优点?

TypeScript 是 JavaScript 的超集&#xff0c;它在 JavaScript 的基础上添加了静态类型和其他一些功能。以下是 TypeScript 相对于 JavaScript 的一些优点&#xff1a; 1、静态类型检查&#xff1a; TypeScript 引入了静态类型&#xff0c;可以在编译时发现并纠正类型错误。这…

linux chown 命令详解

linux chown 命令详解 一、更改文件或目录的所有者和/或所属组二、更改用户权限三、chown与chmod的区别 一、更改文件或目录的所有者和/或所属组 它的基本语法如下&#xff1a; chown [选项]... [所有者][:[所属组]] 文件...其中&#xff0c;选项可以是-R&#xff08;递归更改…

Unity 一些常用注解

在Unity中有一些比较常用的注解&#xff1a; 1、[SerializeField]&#xff1a;将私有字段或属性显示在 Unity 编辑器中&#xff0c;使其可以在 Inspector 窗口中进行编辑。 2、[Range(min, max)]&#xff1a;限制数值字段或属性的范围&#xff0c;在 Inspector 窗口中以滑动条…

glFenceSync

glClientWaitSync是OpenGL中用于等待同步对象状态变化的函数&#xff0c;它可以用于在CPU端等待GPU端的某个操作完成。下面是glClientWaitSync相关的函数以及一个简单的例子&#xff1a; glFenceSync&#xff1a;创建一个同步对象。 GLsync glFenceSync(GLenum condition, GLbi…

简单好用!日常写给 ChatGPT 的几个提示词技巧

ChatGPT 很强&#xff0c;但是有时候又显得很蠢&#xff0c;下面是使用 GPT4 的一个实例&#xff1a; 技巧一&#xff1a;三重冒号 """ 引用内容使用三重冒号 """&#xff0c;让 ChatGPT 清晰引用的内容&#xff1a; 技巧二&#xff1a;角色设定…

【C++】string模拟

string讲解&#xff1a;【C】String类-CSDN博客 基本框架 #pragma once #include <iostream> using namespace std; ​ namespace wzf {class string{public:// 默认构造函数string(): _str(new char[1]), _size(0), _capacity(0){_str[0] \0; // 在没有内容时仍要有终…

手把手教你使用NVIDIA Isaac Sim进行机器人仿真,通过stl模型转为isaac sim支持的格式

很好的一篇文章 手把手教你使用NVIDIA Isaac Sim进行机器人仿真① 讲解了通过stl模型转为isaac sim支持的格式 并且使车辆动起来了 手把手教你使用NVIDIA Isaac Sim进行机器人仿真① https://zhuanlan.zhihu.com/p/590860384 仿照这个过程&#xff0c;后续做一个无人机飞行的场…

计算机体系结构----基本概念(一)

本文仅供学习&#xff0c;不作任何商业用途&#xff0c;严禁转载。绝大部分资料来自----计算机系统结构教程(第二版)张晨曦等 计算机体系结构----基本概念 计算机系统设计的定量原理1. Amdahl定律&#xff08;阿姆达尔定律&#xff09;2. CPU性能公式3. 程序的局部性原理 计算…

计算机组成原理期中题库

计算机组成原理题目集 2.1 下面是关于计算机中存储器容量单位的叙述&#xff0c;其中错误的是 A. 最基本的计量单位是字节&#xff08;Byte&#xff09;&#xff0c;一个字节等于8bit B. 一台计算机的编址单位、指令字长和数据字长都一样&#xff0c;且是字节的整数倍 C. 最小…

C++ 学习之函数成员指针的一个小细节

看看下面的代码&#xff0c;你能看出错误吗 class A { public:void fun(){}}; int main() {A a;void (A:: * p)() &A::fun;(*p)(); } 这段代码在调用成员函数时存在问题。正确的方式是使用对象来调用成员函数&#xff0c;而不是通过指针。以下是修正后的代码&#xff1a…