07 | const/volatile/mutable:常量/变量究竟是怎么回事?
罗剑锋

你好,我是 Chrono。
上节课我讲了自动类型推导,提到 auto 推导出的类型可以附加 const、volatile 修饰(通常合称为“cv 修饰符”)。别看就这么两个关键字,里面的“门道”其实挺多的,用好了可以让你的代码更安全、运行得更快。今天我就来说说它们俩,以及比较少见的另一个关键字 mutable。
const 与 volatile
先来看 const 吧,你一定对它很熟悉了。正如它的字面含义,表示“常量”。最简单的用法就是,定义程序用到的数字、字符串常量,代替宏定义。
但如果我们从 C++ 程序的生命周期角度来看的话,就会发现,它和宏定义还是有本质区别的:const 定义的常量在预处理阶段并不存在,而是直到运行阶段才会出现。
所以,准确地说,它实际上是运行时的“变量”,只不过不允许修改,是“只读”的(read only),叫“只读变量”更合适。
既然它是“变量”,那么,使用指针获取地址,再“强制”写入也是可以的。但这种做法破坏了“常量性”,绝对不提倡。这里,我只是给你做一个示范性质的实验,还要用到另外一个关键字 volatile。
可以看到,这段代码最开始定义的常数是 1024,但是输出的却是 2048。
公开
同步至部落
取消
完成
0/2000
笔记
复制
AI
- 深入了解
- 翻译
- 解释
- 总结
仅可试看部分内容,如需阅读全部内容,请付费购买文章所属专栏
《罗剑锋的 C++ 实战笔记》,新⼈⾸单¥59
《罗剑锋的 C++ 实战笔记》,新⼈⾸单¥59
立即购买
© 版权归极客邦科技所有,未经许可不得传播售卖。 页面已增加防盗追踪,如有侵权极客邦将依法追究其法律责任。
登录 后留言
全部留言(28)
- 最新
- 精选
- 无止境c++的指针和引用有啥区别老师?
作者回复: 简单来说,指针是内存地址,引用是变量别名,指针可以是空,而引用不能为空。
937 - Bluebugervolatile 在底层用的多,驱动、裸机开发这类。由于外部硬件设备,有部分处理器设计时候直接映射的内存地址,所以除了软件可以修改,硬件可能修改,所以需要让编译器不去优化这样的变量,必须从源头重新取值。
作者回复: 对,volatile在底层开发的时候用的比较多,一般做上层应用开发、比如服务器、UI就很少用了。
216 - 奋斗《1》volitate: cpu每次读取数据的时候,如果寄存器或者三级缓存中有该值,则直接使用,所以此时如果内存中的值被改变,值不会改变。如果加上volitate每次绕过寄存器和缓存直接从内存读取,此时内存中的值已经改变了。 《2》mutable: 1、在lambal表达式中,如果捕获按值捕获,但是在函数体中想要修改,可以使用mutable 2、多线程环境下如果某个成员函数,比如int get_count() const { },返回类中某个成员数量,势必会进行加锁保护变量达到线程安全,此时声明mutex必须是mutable的。 int get_count() const { std::lock_guard<std::mutex> lock(m) return count; } 在声明mutable std::mutex m; 需要加 mutable
作者回复: 总结的非常好,awsome。
12 - EncodedStar用好const 记住文章中的“ “const &”可以引用任何类型,是函数入口参数的最佳类型” 是重点
作者回复: 这个是一个通用准则,但对于int、double这样小而简单的类型就有点“重”,int这样的内建类型可以直接用const T。 Boost库里有一个call_traits,它可以推导出最佳类型。
12 - 罗杰C++ 中volatile 关键字, 我感觉最关键的是要知道, 他根本不构成 同步语义, 多线程编程中要杜绝使用. 记得之前看过一个资料, volatile 从C++ 标准中出现的原因是 为了解决 "硬件映射到内存上..." 的问题, 也就是说 一般的开发者, 根本不会涉及到这一块. java 中 volatile 和 C++ 中的 volatile 还不一样, java 中的volatile 是构成 happen-before的, 是可以使用在多线程编程当中的
作者回复: 说得很好,一定不要把其他语言的经验简单地套用到C/C++里,特别是volatile这个关键字,差异非常大。
27 - Stephen"const 定义的常量在预处理阶段并不存在,而是直到运行阶段才会出现。",老师,那编译阶段它也没有出现吗?
作者回复: 是的,const常量本质上是变量,那么必然就是在运行阶段分配内存才能出现。 但现在很多时候编译器会对const常量做优化,允许在编译阶段使用,但必须要说这并不是const常量的本意。
27 - IMBFD前辈在const函数那里为什么不说明其实是const修饰了this呢?这样就很好解释了
作者回复: 单从成员函数的形式上来看,是看不到this指针的,我怕这么说会让有的同学更糊涂,所以就先简单地说一下,把详细的解释放在了小贴士里。
3 - 宇天飞学完了这节课,你觉得今后应该怎么用 const 呢? 1、修饰常量、成员变量、成员函数 2、修饰类的时候注意const成员以及可变成员 给函数的返回值加上 const,也就是说返回一个常量对象,有什么好处? 使用更方便,防止意外修改
作者回复: 学习的进展很快啊,不过还是要适当保持节奏,留一点思考的时间,欲速则不达。
3 - 范闲1. effecttive里主要的用处就是const替换define,const成员函数,const &入参 2.返回常量对象就是实际上保持了内部状态的不可变。不受外部影响,实际上也是不希望外部改变对象
作者回复: 说的挺好的,其实在effective 里对const也花了很多的篇幅,用好const真的能够让代码更安全。
3 - 木须柄万能引用 (universal reference) 一般是指在函数模板时传入的 "T&&" 这种形参形式,主要作用是用来同时匹配左值和右值实参的传入,这里我觉得罗老师更多是借用了这个概念,主旨是为了说明 "const &" 使用的广泛性
作者回复: 在T&&出现之前,const&的确是万能引用,不过自从C++11新增了右值,“万能”的这个头衔就只能“让贤”了,笑。
2
收起评论