C++ 20新特性之constexpr与consteval

2024-06-15 03:12

本文主要是介绍C++ 20新特性之constexpr与consteval,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

💡 如果想阅读最新的文章,或者有技术问题需要交流和沟通,可搜索并关注微信公众号“希望睿智”。

概述

        C++ 20在编译时计算和模板元编程方面引入了一些比较重要的改进,其中,constexpr和consteval关键字是两个核心特性,大大增强了C++在编译时执行代码的能力。这两个关键字与C++的泛型编程、模板元编程紧密相关,能够帮助开发者编写出既高效又灵活的代码。

constexpr

        constexpr在C++ 11中首次引入,但C++ 20对其进行了显著增强,使其更加灵活和强大。constexpr函数或变量能够在编译时求值,这意味着它们的计算结果可以被嵌入到程序的常量表达式中,从而提高程序的运行效率。C++ 20进一步放松了对constexpr函数的限制,允许它们执行更复杂的逻辑,包括:循环、递归等,甚至调用其他constexpr函数。

#include <iostream>
using namespace std;constexpr int Add(int nNum1, int nNum2)
{return nNum1 + nNum2;
}int main()
{constexpr auto nSum = Add(100, 200);static_assert(nSum == 300, "Compile-time check failed");cout << nSum << endl;return 0;
}

        在上面的实例代码中,Add函数被声明为constexpr,这意味着它可以在编译时执行。因此,nSum可以在编译时被确定为300,进而通过static_assert进行验证。如果验证不通过,则编译会失败,并输出“Compile-time check failed”。

        接下来,我们来看一个更复杂的例子。在下面的示例代码中,Fibonacci函数被声明为constexpr,这意味着它可以在编译时求值。函数内部使用了一个for循环来计算斐波那契数列的第n项,由于整个计算过程都在编译时完成,所以当n的值在编译时已知时,计算结果可以直接嵌入到程序中,避免了运行时的计算开销。此外,通过static_assert,我们还可以在编译时验证计算结果的正确性,确保了代码的可靠性。

#include <iostream>
using namespace std;constexpr unsigned long long Fibonacci(unsigned int n)
{if (n <= 1){return n;}unsigned long long a = 0, b = 1, c;for (unsigned int i = 2; i <= n; ++i){c = a + b;a = b;b = c;}return b;
}int main()
{constexpr unsigned int nNumber = 10;static_assert(Fibonacci(nNumber) == 55, "Compile-time check failed"); cout << Fibonacci(nNumber) << endl;return 0;
}

consteval

        C++ 20中新引入了consteval关键字,它是constexpr的一个更严格的变体。当一个函数被标记为consteval时,它不仅保证了在编译时求值,而且要求必须在编译时求值。任何尝试在运行时调用此类函数的行为,都会导致编译错误。这为开发者提供了一种明确的手段来确保某些计算完全在编译期完成,避免了潜在的运行时开销。

        在下面的示例代码中,Factorial函数使用consteval关键字声明,保证了阶乘计算只能在编译时完成。尝试在运行时使用该函数(比如:注释掉的代码)会触发编译错误,这是因为consteval函数强制编译器在编译期间执行该函数。

#include <iostream>
using namespace std;consteval int Factorial(int n)
{if (n <= 1){return 1;}return n * Factorial(n - 1);
}int main()
{constexpr int nResult = Factorial(5);// 输出:120cout << nResult << endl;// 下面的代码会导致编译错误,因为试图在运行时调用consteval函数// int nNumber = 6;// nResult = Factorial(nNumber);return 0;
}

这篇关于C++ 20新特性之constexpr与consteval的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1062270

相关文章

关于C++中的虚拟继承的一些总结(虚拟继承,覆盖,派生,隐藏)

1.为什么要引入虚拟继承 虚拟继承是多重继承中特有的概念。虚拟基类是为解决多重继承而出现的。如:类D继承自类B1、B2,而类B1、B2都继承自类A,因此在类D中两次出现类A中的变量和函数。为了节省内存空间,可以将B1、B2对A的继承定义为虚拟继承,而A就成了虚拟基类。实现的代码如下: class A class B1:public virtual A; class B2:pu

C++对象布局及多态实现探索之内存布局(整理的很多链接)

本文通过观察对象的内存布局,跟踪函数调用的汇编代码。分析了C++对象内存的布局情况,虚函数的执行方式,以及虚继承,等等 文章链接:http://dev.yesky.com/254/2191254.shtml      论C/C++函数间动态内存的传递 (2005-07-30)   当你涉及到C/C++的核心编程的时候,你会无止境地与内存管理打交道。 文章链接:http://dev.yesky

C++的模板(八):子系统

平常所见的大部分模板代码,模板所传的参数类型,到了模板里面,或实例化为对象,或嵌入模板内部结构中,或在模板内又派生了子类。不管怎样,最终他们在模板内,直接或间接,都实例化成对象了。 但这不是唯一的用法。试想一下。如果在模板内限制调用参数类型的构造函数会发生什么?参数类的对象在模板内无法构造。他们只能从模板的成员函数传入。模板不保存这些对象或者只保存他们的指针。因为构造函数被分离,这些指针在模板外

C++工程编译链接错误汇总VisualStudio

目录 一些小的知识点 make工具 可以使用windows下的事件查看器崩溃的地方 dumpbin工具查看dll是32位还是64位的 _MSC_VER .cc 和.cpp 【VC++目录中的包含目录】 vs 【C/C++常规中的附加包含目录】——头文件所在目录如何怎么添加,添加了以后搜索头文件就会到这些个路径下搜索了 include<> 和 include"" WinMain 和

java8的新特性之一(Java Lambda表达式)

1:Java8的新特性 Lambda 表达式: 允许以更简洁的方式表示匿名函数(或称为闭包)。可以将Lambda表达式作为参数传递给方法或赋值给函数式接口类型的变量。 Stream API: 提供了一种处理集合数据的流式处理方式,支持函数式编程风格。 允许以声明性方式处理数据集合(如List、Set等)。提供了一系列操作,如map、filter、reduce等,以支持复杂的查询和转

C/C++的编译和链接过程

目录 从源文件生成可执行文件(书中第2章) 1.Preprocessing预处理——预处理器cpp 2.Compilation编译——编译器cll ps:vs中优化选项设置 3.Assembly汇编——汇编器as ps:vs中汇编输出文件设置 4.Linking链接——链接器ld 符号 模块,库 链接过程——链接器 链接过程 1.简单链接的例子 2.链接过程 3.地址和

C++必修:模版的入门到实践

✨✨ 欢迎大家来到贝蒂大讲堂✨✨ 🎈🎈养成好习惯,先赞后看哦~🎈🎈 所属专栏:C++学习 贝蒂的主页:Betty’s blog 1. 泛型编程 首先让我们来思考一个问题,如何实现一个交换函数? void swap(int& x, int& y){int tmp = x;x = y;y = tmp;} 相信大家很快就能写出上面这段代码,但是如果要求这个交换函数支持字符型

20.Spring5注解介绍

1.配置组件 Configure Components 注解名称说明@Configuration把一个类作为一个loC容 器 ,它的某个方法头上如果注册7@Bean , 就会作为这个Spring容器中的Bean@ComponentScan在配置类上添加@ComponentScan注解。该注解默认会扫描该类所在的包下所有的配置类,相当于之前的 <context:component-scan>@Sc

C++入门01

1、.h和.cpp 源文件 (.cpp)源文件是C++程序的实际实现代码文件,其中包含了具体的函数和类的定义、实现以及其他相关的代码。主要特点如下:实现代码: 源文件中包含了函数、类的具体实现代码,用于实现程序的功能。编译单元: 源文件通常是一个编译单元,即单独编译的基本单位。每个源文件都会经过编译器的处理,生成对应的目标文件。包含头文件: 源文件可以通过#include指令引入头文件,以使

C++面试八股文:std::deque用过吗?

100编程书屋_孔夫子旧书网 某日二师兄参加XXX科技公司的C++工程师开发岗位第26面: 面试官:deque用过吗? 二师兄:说实话,很少用,基本没用过。 面试官:为什么? 二师兄:因为使用它的场景很少,大部分需要性能、且需要自动扩容的时候使用vector,需要随机插入和删除的时候可以使用list。 面试官:那你知道STL中的stack是如何实现的吗? 二师兄:默认情况下,stack使