expr_const在函数前与函数后的区别

expr_const在函数前与函数后的区别const修饰常量,但是const并未区分编译时常量和运行时常量,而constexpr则只能是编译时常量,在C++11中提出。这篇文章,将详细讲解constexpr。一、常量表达式常量表达式(constexpression):指值不会改变并且在编译阶段过程就能得到计算结果的表达式。以下两种是常量表达式:constintmaxSize=10;constintlimit=maxSize+1;以下两种不是常量表达式:intstaff_size=27;cons..

大家好,又见面了,我是你们的朋友全栈君。如果您正在找激活码,请点击查看最新教程,关注关注公众号 “全栈程序员社区” 获取激活教程,可能之前旧版本教程已经失效.最新Idea2022.1教程亲测有效,一键激活。

Jetbrains全系列IDE稳定放心使用

  • const修饰常量,但是const并未区分编译时常量和运行时常量,而constexpr则只能是编译时常量,在C++11中提出。
  • 这篇文章,将详细讲解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

码字不易,觉得不错的小伙伴可以一键三连支持一下~
在这里插入图片描述

版权声明:本文内容由互联网用户自发贡献,该文观点仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 举报,一经查实,本站将立刻删除。

发布者:全栈程序员-用户IM,转载请注明出处:https://javaforall.cn/187952.html原文链接:https://javaforall.cn

【正版授权,激活自己账号】: Jetbrains全家桶Ide使用,1年售后保障,每天仅需1毛

【官方授权 正版激活】: 官方授权 正版激活 支持Jetbrains家族下所有IDE 使用个人JB账号...

(0)


相关推荐

  • sshd_config 中 PermitRootLogin 的探讨

    sshd_config 中 PermitRootLogin 的探讨众所周知,sshd_config是sshd的配置文件,其中PermitRootLogin可以限定root用户通过ssh的登录方式,如禁止登陆、禁止密码登录、仅允许密钥登陆和开放登陆,本文对其中比较罕见的forced-commands-only选项做了介绍及实战。

  • 面向对象设计——通用愉快的经历

    面向对象设计——通用愉快的经历

  • 基于MATLAB语音信号的处理与滤波

    基于MATLAB语音信号的处理与滤波摘要:MATLAB是十分强大的用于数据分析和处理的工程实用软件,利用其来进行语音信号的分析、处理和可视化十分便捷。文中介绍了在MATLAB环境中如何驱动声卡采集语音信号和语音信号采集后的文档处理方法,并介绍了FFT频谱分析原理及其显示、MATLAB中相关函数的功能、滤波器的设计和使用。在此基础上,对实际采集的一段含噪声语音信号进行了相关分析处理,包括对语音信号的录取和导入,信号时域和频域方面的分析,添加噪声前后的差异对比,滤波分析,语音特效处理。结果表明利用MATLAB处理语音信号十分简单、方便且易于实现。

  • 字符串的匹配算法_多字符串匹配

    字符串的匹配算法_多字符串匹配目录需求基础知识逻辑解析源码实现需求先简单描述溪源曾经遇到的需求:需求一:项目结果文件中实验结论可能会存在未知类型、转换错误、空指针、超过索引长度等等。这里是类比需求,用日常开发中常出现的错误类型作为需求,如果要以上结论则判断这个项目检测失败;解决方案一:大家常用的方式可能是if(){continue;}esleif(){continue;}…或者switch-case等;方案二:可能会使用集合contain()方法;方案三:依次匹配字符串中字符(暴力匹配);以上两种方案都能解决;然

  • 计算机网络之ip、子网掩码、网络号、主机号等概念解析

    计算机网络之ip、子网掩码、网络号、主机号等概念解析在工作中谈论到计算机网络时,有几个经常出现的术语,比如:ip、子网掩码、网段等等。之前对这些概念的理解都比较模糊,只知其大概意思,随着工作中遇到的网络问题越来越多,有必要详细理解一下计算机网络的基础知识了。这篇文章就先介绍几个计算机网络领域的专业术语。IP地址ip这个词是计算机网络中出现频率最高的了,甚至只要使用过电脑的人都知道这个词。IP地址全程是互联网协议地址(英文:InternetPr…

  • ValueError: Input contains NaN, infinity or a value too large for dtype(‘float64’).

    ValueError: Input contains NaN, infinity or a value too large for dtype(‘float64’).笔者在使用LogisticRegression模型进行预测时,报错Traceback(mostrecentcalllast):File“D:/软件(学习)/Python/MachineLearing/taitannike/train.py”,line55,inpredicted_np=clf.predict(test_np)File“D:\Python\Anacon…

发表回复

您的电子邮箱地址不会被公开。

关注全栈程序员社区公众号