C++知识整理系列(三)—— constexpr常量表达式
- const修饰常量,但是const并未区分编译时常量和运行时常量,而constexpr则只能是编译时常量,在C++11中提出。
- 这篇文章,将详细讲解constexpr。
目录
- 一、常量表达式
- 二、constexpr变量
- 三、constexpr函数
- 四、字面值类型
- 五、指针和constexpr
- 六、字面值常量类
- 参考
一、常量表达式
常量表达式(const expression):指值不会改变并且在编译阶段过程就能得到计算结果的表达式。
以下两种是常量表达式:
const int maxSize = 10;
const int limit = maxSize + 1;
以下两种不是常量表达式:
int staff_size = 27;
const int sz = get_size();
- staff_size的初始值虽然是个字面值常量,但它的数据类型只是普通的int而非const int,还是可以被重新赋值的,所以不是常量表达式。
- sz本身是一个常量,但它的具体值直到运行时才能获取到,所以也不是常量表达式。
二、constexpr变量
在一个复杂系统中,很难分辨一个初始值到底是不是常量表达式。从前面的例子可以发现,即使变量加上const,但是赋值是在运行时确定的也不是常量表达式。
C++11新标准规定,允许将变量声明为constexpr类型以便由编译器来验证变量的值是否是一个常量表达式。
- 声明为constexpr的变量一定是一个常量。
- 必须用常量表达式初始化。
constexpr int mf = 20; //20是常量表达式
constexpr int limit = mf + 1; //mf + 1是常量表达式
constexpr int sz = size(); //只有当size是一个constexpr函数时才是一条正确的声明语句
size()函数也需要constexpr修饰,成为constexpr函数。
三、constexpr函数
constexpr函数指能用于常量表达式的函数。定义constexpr函数有几项约定:
- 函数的返回值类型及所有的类型都得是字面值类型。
- 函数体中必须有且只有一条return语句。
constexpr int new_sz() { return 40; }
constexpr int foo = new_sz(); //正确:foo是一个常量表达式
因为编译器能在程序编译时验证new_sz函数返回的是常量表达式,所以可以用new_sz函数初始化constexpr类型的变量foo。
(1)执行初始化任务时,编译器把对constexpr函数的调用替换成其结果值。为了能在编译过程中随时展开,constexpr函数被隐式地指定为内联函数。
(2)constexpr函数体内也可以包含其他语句,只要这些语句在运行时不执行任何操作就行。例如,constexpr函数中可以有空语句、类型别名、using声明。
(3)constexpr函数的返回值可以不是一个常量:
//cnt如果是常量表达式,返回值就是常量表达式
constexpr size_t scale(size_t cnt) { return new_sz() * cnt; }
比如,下面两个例子:
int arr[scale(2)]; //正确:scale(2)是常量表达式
int i = 3;
int a[scale(i)]; //错误:scale(i)不是常量表达式
- 给scale传入字面值为2的常量表达式时,它的返回类型也是常量表达式。此时编译器用对应的结果值(80)替换为对scale函数的调用。
- 当我们用一个非常量表达式调用scale函数时,比如
int i = 3
的对象i,返回值则不是一个常量表达式。当把scale函数用在需要常量表达式的上下文中时,编译器发现不是常量表达式,发出错误信息。
(4)constexpr函数通常定义在头文件中。因为编译器要想展开函数不仅需要函数声明还需要函数定义,而constexpr函数可以在程序中多次定义,但多个定义必须完全一致。
四、字面值类型
常量表达式的值需要在编译时就得到计算,因此对声明constexpr时用到的类型必须有所限制。因为这些类型一般比较简单,值也显而易见、容易得到,称之为"字面值类型"(literal type)。
字面值类型包括:算数类型、引用、指针,自定义类、string等类型不是字面值类型,也就不能定义成constexpr。
尽管指针和引用都能定义成constexpr,但它们的初始值却受到严格限制。一个constexpr指针的初始值必须是nullptr
或者0
,或者是存储在某个固定地址中的对象。
函数体内定义的变量一般来说并非存放在固定地址中,因此constexpr指针不能指向这样的变量。相反的,定义在函数体之外的对象地址固定不变,能用来初始化constexpr指针。
五、指针和constexpr
(1)如果在constexpr声明中定义了一个指针,限定符constexpr仅对指针有效,与指针所指的对象无关。
const int *p = nullptr; //p是一个指向整数常量的指针
constexpr int *q = nullptr; //q是一个指向整数的常量指针
q是一个常量指针,因为constexpr把它所定义的对象置为了顶层const。类似于:int *const q = nullptr;
(2)与其他常量指针类似,constexpr指针即可以指向常量也可以指向一个非常量:
constexpr int *np = nullptr; //np是一个指向整数的常量指针,其值为空
int j = 0;
constexpr int i = 40; //i的类型是整数常量
//假设i和j都定义在函数体之外
constexpr const int *p = &i; //p是常量指针,指向整型常量i
constexpr int *p1 = &j; //p1是常量指针,指向整数j
六、字面值常量类
constexpr函数的参数和返回值必须是字面值类型。注意,函数的返回值必须是字面值类型,但可以不是一个常量。
和其他类不同,字面值类型的类可能含有constexpr函数成员。这样的成员必须符合constexpr函数的所有要求,它们是隐式const。
字面值常量类:数据成员都是字面值类型的聚合类。如果一个类不是聚合类,但它符合下述要求,则它也是一个字面值常量类:
- 数据成员都必须是字面值类型。
- 类必须至少含有一个constexpr构造函数。
- 如果一个数据成员含有类内初始值,这内置类型成员的初始值必须是一条常量表达式;如果成员属于某种类类型,这初始值必须使用成员自己的constexpr构造函数。
- 类必须使用析构函数的默认定义,该成员负责销毁类的对象。
尽管构造函数不能是const的,但是字面值常量类的构造函数可以是constexpr函数。一个字面值常量类必须至少提供一个constexpr构造函数。
参考
- C++ Primer
码字不易,觉得不错的小伙伴可以一键三连支持一下~
C++知识整理系列(三)—— constexpr常量表达式相关推荐
- Unity 一些有用的碎片知识整理 之 三(之 四 更新中...)
-- 系列文章链接 Unity 一些有用的碎片知识整理 之 一 点击可跳转链接 Unity 一些有用的碎片知识整理 之 二 点击可跳转链接 Unity 一些有用的碎片知识整理 之 四 点击可跳转链接 ...
- Deep Learning(深度学习)学习笔记整理系列三
Deep Learning(深度学习)学习笔记整理系列 声明: 1)该Deep Learning的学习系列是整理自网上很大牛和机器学习专家所无私奉献的资料的.具体引用的资料请看参考文献.具体的版本声明 ...
- C++ constexpr 常量表达式
概括 在C++11中引入了 constexpr 关键字. 意思是常量表达式, 详细来说就是在编译期可求值的表达式. 可以修饰表达式, 函数, 构造函数, 类等- 可以让编译器做出尺度更大的优化. 常量 ...
- Java基础知识整理系列第三弹
一.对象和类 (1)类的概念 属性-对象具有的各种特征 方法-对象执行的操作 具有相同或者相似性质的对象的抽象就是类,类就是一个模型,确定对象拥有的属性和方法. (2)对象的概念 对象是类的一个具体实 ...
- C++知识整理系列(五)—— auto自动类型
目录 一.概念 二.auto推导的类型 三.案例 迭代器iterator访问 函数返回值和参数为auto 四.总结 参考 一.概念 在C++11引入了auto类型说明符,其作用:编译器替我们去分析表达 ...
- I2C知识大全系列三 —— I2C驱动之单片机中的I2C
两种方式 单片机中的I2C驱动有两种方式.一种方式是用专用硬件I2C控制器实现,这种方式简单易行,品质也容易控制,只是会增加硬件成本方面的压力.另一种方式是用纯软件方式实现,这种方式几乎无硬件成本方面 ...
- C++知识整理系列(一)指针和动态空间
目录 1.指针和引用 2. 函数指针和指针函数 指针函数 函数指针 3. C/C++ volatile关键字 4. 易混淆的指针概念 5. 虚函数表和虚函数指针 6. new / delete 和 m ...
- DRAM知识整理系列(一):SDRAM的简介与SDRAM的管脚与尺寸介绍
目录 一.ROM与RAM介绍 二.SDRAM的简介 1.SDRAM的发展简介 2.常见DRAM单元的基本单元介绍 三.SDRAM的尺寸与管脚介绍 1.DDR的常见尺寸与Ball数 2.DDR的管脚类型 ...
- HTTP网络连接相关知识整理(三):网络错误异常
一.tcp连接错误 待补充 二.应用层(HTTP)错误异常 HTTP错误主要分成三类:用户设备问题.Web服务器问题和连接问题.当客户端向Web服务器发送一个HTTP请求时,服务器都会返回一个响应代码 ...
最新文章
- rsync ssh文件同步
- 微信小程序把玩(四十)animation API
- mybatis生成UUID主键,且获取当前新增的UUID主键
- apache相对路径 php,php简单实现相对路径转绝对路径-PHP问题
- 区块链浏览器_全球首款区块链浏览器是啥名堂?傲游6首发体验
- 【HDU - 5886】Tower Defence(树的直径,思维,dp)
- 在C#中创建DataTable
- Excel VBA 重要参考(原始的VBA代码)
- Nginx+DNS负载均衡实现
- 【校招VIP】知名产品分析之微信本身的亮点和缺点
- 上百种Python炫酷可视化案例珍藏版——看完掌握~一键三连~老板都想要给你升职加薪哟!
- 计算机故障含义,宕机是什么意思(电脑宕机的读法与含义)
- 神经网络建模的基本思想,建模方法神经网络设计
- pwnable.kr passcode
- 超简单的3步搭建静态网站(Franklin.jl)
- 【CXY】JAVA应用 之 排序
- Tmux Cheat Sheet
- 内置在maven项目的服务器,IDEA使用maven中tomcat插件来启动服务器配置
- 用最新技术优化深度学习BTC交易机器人
- openstack冷迁移/Resize源码分析(二)
热门文章
- 建模到底怎么学呢?怎样才能高薪入职,如何不走冤枉路
- toString用法
- 代码随想录算法训练营三十五天|860,406,452
- 林平之家里有内功心法
- 用InternetOpen()的下载文件
- 第一次Android逆向初体验
- 批处理程序XCOPY命令只拷贝当天文件的实现代码
- template标签结合v-if,v-else不影响相关样式
- 悲剧的JAVA环境变量
- cas29162-73-0/5,10,15,20-四(4-溴苯基)卟啉/meso-Tetra (p-bromophenyl) porphine/分子式:C44H26Br4N4/分子量:930.32