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++中实现调试日志输出

《C++中实现调试日志输出》在C++编程中,调试日志对于定位问题和优化代码至关重要,本文将介绍几种常用的调试日志输出方法,并教你如何在日志中添加时间戳,希望对大家有所帮助... 目录1. 使用 #ifdef _DEBUG 宏2. 加入时间戳:精确到毫秒3.Windows 和 MFC 中的调试日志方法MFC

五大特性引领创新! 深度操作系统 deepin 25 Preview预览版发布

《五大特性引领创新!深度操作系统deepin25Preview预览版发布》今日,深度操作系统正式推出deepin25Preview版本,该版本集成了五大核心特性:磐石系统、全新DDE、Tr... 深度操作系统今日发布了 deepin 25 Preview,新版本囊括五大特性:磐石系统、全新 DDE、Tree

深入理解C++ 空类大小

《深入理解C++空类大小》本文主要介绍了C++空类大小,规定空类大小为1字节,主要是为了保证对象的唯一性和可区分性,满足数组元素地址连续的要求,下面就来了解一下... 目录1. 保证对象的唯一性和可区分性2. 满足数组元素地址连续的要求3. 与C++的对象模型和内存管理机制相适配查看类对象内存在C++中,规

在 VSCode 中配置 C++ 开发环境的详细教程

《在VSCode中配置C++开发环境的详细教程》本文详细介绍了如何在VisualStudioCode(VSCode)中配置C++开发环境,包括安装必要的工具、配置编译器、设置调试环境等步骤,通... 目录如何在 VSCode 中配置 C++ 开发环境:详细教程1. 什么是 VSCode?2. 安装 VSCo

C++11的函数包装器std::function使用示例

《C++11的函数包装器std::function使用示例》C++11引入的std::function是最常用的函数包装器,它可以存储任何可调用对象并提供统一的调用接口,以下是关于函数包装器的详细讲解... 目录一、std::function 的基本用法1. 基本语法二、如何使用 std::function

【C++ Primer Plus习题】13.4

大家好,这里是国中之林! ❥前些天发现了一个巨牛的人工智能学习网站,通俗易懂,风趣幽默,忍不住分享一下给大家。点击跳转到网站。有兴趣的可以点点进去看看← 问题: 解答: main.cpp #include <iostream>#include "port.h"int main() {Port p1;Port p2("Abc", "Bcc", 30);std::cout <<

C++包装器

包装器 在 C++ 中,“包装器”通常指的是一种设计模式或编程技巧,用于封装其他代码或对象,使其更易于使用、管理或扩展。包装器的概念在编程中非常普遍,可以用于函数、类、库等多个方面。下面是几个常见的 “包装器” 类型: 1. 函数包装器 函数包装器用于封装一个或多个函数,使其接口更统一或更便于调用。例如,std::function 是一个通用的函数包装器,它可以存储任意可调用对象(函数、函数

C++11第三弹:lambda表达式 | 新的类功能 | 模板的可变参数

🌈个人主页: 南桥几晴秋 🌈C++专栏: 南桥谈C++ 🌈C语言专栏: C语言学习系列 🌈Linux学习专栏: 南桥谈Linux 🌈数据结构学习专栏: 数据结构杂谈 🌈数据库学习专栏: 南桥谈MySQL 🌈Qt学习专栏: 南桥谈Qt 🌈菜鸡代码练习: 练习随想记录 🌈git学习: 南桥谈Git 🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈�

【C++】_list常用方法解析及模拟实现

相信自己的力量,只要对自己始终保持信心,尽自己最大努力去完成任何事,就算事情最终结果是失败了,努力了也不留遗憾。💓💓💓 目录   ✨说在前面 🍋知识点一:什么是list? •🌰1.list的定义 •🌰2.list的基本特性 •🌰3.常用接口介绍 🍋知识点二:list常用接口 •🌰1.默认成员函数 🔥构造函数(⭐) 🔥析构函数 •🌰2.list对象

06 C++Lambda表达式

lambda表达式的定义 没有显式模版形参的lambda表达式 [捕获] 前属性 (形参列表) 说明符 异常 后属性 尾随类型 约束 {函数体} 有显式模版形参的lambda表达式 [捕获] <模版形参> 模版约束 前属性 (形参列表) 说明符 异常 后属性 尾随类型 约束 {函数体} 含义 捕获:包含零个或者多个捕获符的逗号分隔列表 模板形参:用于泛型lambda提供个模板形参的名