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++中,作用域(Scope)和标识符查找(IdentifierLookup)是理解代码行为的重要概念,本文将详细介绍这些规则,并通过实例来说明它们的工作原理,需... 目录作用域标识符查找规则1. 普通查找(Ordinary Lookup)2. 限定查找(Qualif

C/C++ chrono简单使用场景示例详解

《C/C++chrono简单使用场景示例详解》:本文主要介绍C/C++chrono简单使用场景示例详解,本文通过实例代码给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友... 目录chrono使用场景举例1 输出格式化字符串chrono使用场景China编程举例1 输出格式化字符串示

C++/类与对象/默认成员函数@构造函数的用法

《C++/类与对象/默认成员函数@构造函数的用法》:本文主要介绍C++/类与对象/默认成员函数@构造函数的用法,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录名词概念默认成员函数构造函数概念函数特征显示构造函数隐式构造函数总结名词概念默认构造函数:不用传参就可以

C++类和对象之默认成员函数的使用解读

《C++类和对象之默认成员函数的使用解读》:本文主要介绍C++类和对象之默认成员函数的使用方式,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录一、默认成员函数有哪些二、各默认成员函数详解默认构造函数析构函数拷贝构造函数拷贝赋值运算符三、默认成员函数的注意事项总结一

C/C++中OpenCV 矩阵运算的实现

《C/C++中OpenCV矩阵运算的实现》本文主要介绍了C/C++中OpenCV矩阵运算的实现,包括基本算术运算(标量与矩阵)、矩阵乘法、转置、逆矩阵、行列式、迹、范数等操作,感兴趣的可以了解一下... 目录矩阵的创建与初始化创建矩阵访问矩阵元素基本的算术运算 ➕➖✖️➗矩阵与标量运算矩阵与矩阵运算 (逐元

C/C++的OpenCV 进行图像梯度提取的几种实现

《C/C++的OpenCV进行图像梯度提取的几种实现》本文主要介绍了C/C++的OpenCV进行图像梯度提取的实现,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的... 目录预www.chinasem.cn备知识1. 图像加载与预处理2. Sobel 算子计算 X 和 Y

C/C++和OpenCV实现调用摄像头

《C/C++和OpenCV实现调用摄像头》本文主要介绍了C/C++和OpenCV实现调用摄像头,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一... 目录准备工作1. 打开摄像头2. 读取视频帧3. 显示视频帧4. 释放资源5. 获取和设置摄像头属性

c/c++的opencv图像金字塔缩放实现

《c/c++的opencv图像金字塔缩放实现》本文主要介绍了c/c++的opencv图像金字塔缩放实现,通过对原始图像进行连续的下采样或上采样操作,生成一系列不同分辨率的图像,具有一定的参考价值,感兴... 目录图像金字塔简介图像下采样 (cv::pyrDown)图像上采样 (cv::pyrUp)C++ O

c/c++的opencv实现图片膨胀

《c/c++的opencv实现图片膨胀》图像膨胀是形态学操作,通过结构元素扩张亮区填充孔洞、连接断开部分、加粗物体,OpenCV的cv::dilate函数实现该操作,本文就来介绍一下opencv图片... 目录什么是图像膨胀?结构元素 (KerChina编程nel)OpenCV 中的 cv::dilate() 函

C++ RabbitMq消息队列组件详解

《C++RabbitMq消息队列组件详解》:本文主要介绍C++RabbitMq消息队列组件的相关知识,本文给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友参考下吧... 目录1. RabbitMq介绍2. 安装RabbitMQ3. 安装 RabbitMQ 的 C++客户端库4. A