const限定符、constexpr和常量表达式------c++ primer
发布日期:2022-04-04 06:36:27 浏览次数:21 分类:博客文章

本文共 1833 字,大约阅读时间需要 6 分钟。

  编译器将在编译过程中把用到const变量的地方都替换成对应的值,为了执行这种替换,编译器必须知道变量的初始值。如果程序包含多个文件,则那个用了const对象的文件都必须能访问到它的初始值才行。要做到这一点,就必须在每一个用到变量的文件中都有对它的定义。为了支持这一用法,同时避免对同一变量的重复定义,默认情况下,const对象被设定为仅在文件内有效。当多个文件中出现了同名的const变量时,其实等同于在不同文件中分别定义了独立的变量。

  某些时候有这样一种const变量,它的初始值不是一个常量表达式,但又确实有必要在文件间共享。在这种情况下,我们不希望编译器为每个文件分别生成独立的变量。相反,我们想让这类const对象像其他(非常量)对象一样工作,也就是说,只在一个文件种定义cons,而在其他多个文件中声明并使用它。

  解决的办法是,对于const变量不管是声明还是定义都添加extern关键字,这样只需定义一次就可以了:

// file_1.cc定义并初始化了一个常量,该常量能被其他文件访问	extern const int bufsize = fcn();	// file_1.h头文件	extern const int bufsize;//与file_1.cc中定义的bufsize是同一个

  因为bufsize是一个常量,必须用extern加以限定使其被其他文件使用。

  file_1.h头文件中的声明也由extern做了限定其作用是指明bufsize并非本文件所独有,它的定义将在别处出现。

  如果想在多个文件之间共享const对象,必须在变量的定义之前添加extern关键字。

 

  const double *cptr;指向常量的指针。不能用于改变其所指对象的值,可指向非常量的对象,所谓指向常量的指针仅仅要求不能通过该指针改变对象的值,而没有规定那个对象的值不能通过其他途径改变,

  double const *cptr;常量指针,即不变的是指针本身的值而不是指针指向的那个值。

  用顶层const 表示指针本身是个常量,用底层const 表示指针所指的对象是一个常量。

const int *const p3=p2;//靠右的const是顶层const,靠左的是底层const

  

constexpr和常量表达式

  常量表达式(const expression)是指值不会改变并且在编译过程中就能得到计算结果的表达式。一个对象(或表达式)是不是常量表达式由它的数据类型和初始值共同决定,例如:

const int max=20;//max是常量表达式const int li=max+1;//li是常量表达式int sta=27;//sta不是常量表达式const int sz=get();//sz不是常量表达式

  尽管sz本身是一个常量,但它的具体值知道运行时才能获取到,所以也不是常量表达式。

 

constexpr变量

  constexpr类型将由编译器来验证变量的值是否是一个常量表达式。声明为constexpr的变量一定是一个常量,而且必须用常量表达式初始化:

constexpr int mf=20;//20是常量表达式constexpr int li=mf+1;//mf+1是常量表达式constexpr int sz=size();//只有当size是一个constexpr函数时才是一条正确的声明语句

  如果认定变量是常量表达式,那就把它声明成constexpr类型,只有字面值类型才能定义成constexpr。

 

到目前为止接触过的数据类型中,算术类型、引用和指针都属于字面值类型,IO库,string类型则不属于字面值类型,也就不能被定义成constexpr

  尽管指针和引用都能定义成constexpr,但它们的初始值却受到严格限制,一个constexpr指针的初始值必须是nullptr或者0,或者是存储于某个固定地址中的对象。

  constexpr指针不能指向函数体内定义的变量(因为一般来说并非存放在固定地址中)。

  定义于所有函数体之外的对象其地址固定不变,能用来初始化constecpr指针。

指针和constexpr

  在constexpr声明中如果定义了一个指针,限定符仅对指针有效,于指针所指的对象无关;

  constexpr指针既可以指向常量也可以指向一个非常量。

转载地址:https://www.cnblogs.com/l2017/p/9339135.html 如侵犯您的版权,请留言回复原文章的地址,我们会给您删除此文章,给您带来不便请您谅解!

上一篇:变量声明和定义的关系------c++ primer
下一篇:小知识

发表评论

最新留言

哈哈,博客排版真的漂亮呢~
[***.90.31.176]2024年03月16日 03时00分12秒

关于作者

    喝酒易醉,品茶养心,人生如梦,品茶悟道,何以解忧?唯有杜康!
-- 愿君每日到此一游!

推荐文章

linux打印机守护程序,linux下怎么编写守护程序呢? 2019-04-21
java导出类_java导出excel工具类 2019-04-21
java学习手册下载_Java学习手册 2019-04-21
axios delete有请求体吗_关于axios请求——delete方法 2019-04-21
java 自助更改密码 api_搭建ldap自助修改密码系统--Self Service Password 2019-04-21
php继承exten,stylus中文文档 » 继承(@extend) » 张鑫旭-鑫空间-鑫生活 2019-04-21
mysql函数大全 pdf,MySQL函数大全 2019-04-21
php 常用文件系统函数,php 文件系统函数整理介绍 2019-04-21
android pm.java,java – AM / PM的Android DateFormat因设备而异 2019-04-21
oracle存储过程调用sql文件,oracle - 在SQL Developer中运行存储过程? 2019-04-21
oracle同时报604和12507,V$SES_OPTIMIZER_ENV 查不到刚修改的隐含参数, 2019-04-21
zblog的php更换域名,zblogphp更换域名后,原zblog里使用了固定域名,登录不进去怎么办... 2019-04-21
oracle dnfs 配置,Source of Oracle参数解析(dnfs_batch_size) - django-\/\/ i K | 2019-04-21
oracle所需的环境,转:面对一个全新的oracle环境,首先应该了解什么? 2019-04-21
linux 小数四则运行,shell四则运算(整数及浮点数)的方法介绍 2019-04-21
linux系统分区后进入紧急模式,Linux系统的救援模式应用详解 2019-04-21
linux配置匿名ftp服务器,在Linux环境中使用vsftpd搭建ftp实现匿名上传详细配置 2019-04-21
linux创建硬盘分区lvm,LVM创建及分区调整、更换LVM硬盘 2019-04-21
FreeBSD可以安装Linux软件吗,在Linux服务器上面通过网络安装FreeBSD 2019-04-21
.net core linux 桌面应用,C# dotnet core + AvaloniaUI 开发桌面软件,hello world 2019-04-21