本文转载自http://blog.csdn.net/tht2009/article/details/6920511

(1)mutable

在C++中,mutable是为了突破const的限制而设置的。被mutable修饰的变量,将永远处于可变的状态,即使在一个const函数中,甚至结构体变量或者类对象为const,其mutable成员也可以被修改。

struct  ST{int a;mutable int b;};const ST st={1,2};st.a=11;//编译错误st.b=22;//允许

mutable在类中只能够修饰非静态数据成员。mutable 数据成员的使用看上去像是骗术,因为它能够使const函数修改对象的数据成员。然而,明智地使用 mutable 关键字可以提高代码质量,因为它能够让你向用户隐藏实现细节,而无须使用不确定的东西。我们知道,如果类的成员函数不会改变对象的状态,那么这个成员函数一般会声明成const的。但是,有些时候,我们需要在const的函数里面修改一些跟类状态无关的数据成员,那么这个数据成员就应该被mutalbe来修饰。

class  ST{int a;mutable int showCount;void Show()const;…};ST::Show(){…//显示代码a=1;//错误,不能在const成员函数中修改普通变量showCount++;//正确}

const承诺的是一旦某个变量被其修饰,那么只要不使用强制转换(const_cast),在任何情况下该变量的值都不会被改变,无论有意还是无意,而被const修饰的函数也一样,一旦某个函数被const修饰,那么它便不能直接或间接改变任何函数体以外的变量的值,即使是调用一个可能造成这种改变的函数都不行。这种承诺在语法上也作出严格的保证,任何可能违反这种承诺的行为都会被编译器检查出来。

mutable的承诺是如果某个变量被其修饰,那么这个变量将永远处于可变的状态,即使在一个const函数中。这与const形成了一个对称的定义,一个永远不变,而另外一个是永远可变。

看一个变量或函数是否应该是const,只需看它是否应该是constant或invariant,而看一个变量是否应该是mutable,也只需看它是否是forever mutative。

这里出现了令人纠结的3个问题:

1、为什么要保护类的成员变量不被修改?

2、为什么用const保护了成员变量,还要再定义一个mutable关键字来突破const的封锁线?

3、到底有没有必要使用const 和 mutable这两个关键字?

保护类的成员变量不在成员函数中被修改,是为了保证模型的逻辑正确,通过用const关键字来避免在函数中错误的修改了类对象的状态。并且在所有使用该成员函数的地方都可以更准确的预测到使用该成员函数的带来的影响。而mutable则是为了能突破const的封锁线,让类的一些次要的或者是辅助性的成员变量随时可以被更改。没有使用const和mutable关键字当然没有错,const和mutable关键字只是给了建模工具更多的设计约束和设计灵活性,而且程序员也可以把更多的逻辑检查问题交给编译器和建模工具去做,从而减轻程序员的负担。

(2)volatile

象const一样,volatile是一个类型修饰符。volatile修饰的数据,编译器不可对其进行执行期寄存于寄存器的优化。这种特性,是为了满足多线程同步、中断、硬件编程等特殊需要。遇到这个关键字声明的变量,编译器对访问该变量的代码就不再进行优化,从而可以提供对特殊地址的直接访问。

volatile原意是“易变的”,但这种解释简直有点误导人,应该解释为“直接存取原始内存地址”比较合适。“易变”是相对与普通变量而言其值存在编译器(优化功能)未知的改变情况(即不是通过执行代码赋值改变其值的情况),而是因外在因素引起的,如多线程,中断等。编译器进行优化时,它有时会取一些值的时候,直接从寄存器里进行存取,而不是从内存中获取,这种优化在单线程的程序中没有问题,但到了多线程程序中,由于多个线程是并发运行的,就有可能一个线程把某个公共的变量已经改变了,这时其余线程中寄存器的值已经过时,但这个线程本身还不知道,以为没有改变,仍从寄存器里获取,就导致程序运行会出现未定义的行为。并不是因为用volatile修饰了的变量就是“易变”了,假如没有外因,即使用volatile定义,它也不会变化。而加了volatile修饰的变量,编译器将不对其相关代码执行优化,而是生成对应代码直接存取原始内存地址。

一般说来,volatile用在如下的几个地方:

1、中断服务程序中修改的供其它程序检测的变量需要加volatile;

2、多任务环境下各任务间共享的标志应该加volatile;

3、存储器映射的硬件寄存器通常也要加volatile说明,因为每次对它的读写都可能有不同意义;

使用该关键字的例子如下:

volatile int i=10;int a = i;...//其他代码,并未明确告诉编译器,对i进行过操作int b = i;

volatile 指出 i是随时可能发生变化的,每次使用它的时候必须从i的地址中读取,因而编译器生成的汇编代码会重新从i的地址读取数据放在b中。而优化做法是,由于编译器发现两次从i读数据的代码之间的代码没有对i进行过操作,它会自动把上次读的数据(即10)放在b中,而不是重新从i里面读。这样以来,如果i是一个寄存器变量或者表示一个端口数据就容易出错,所以说volatile可以保证对特殊地址的直接访问。

//addr为volatile变量
addr=0x57;
addr=0x58;

如果上述两条语句是对外部硬件执行不同的操作,那么编译器就不能像对待普通的程序那样对上述语句进行优化只认为“addr=0x58;”而忽略第一条语句(即只产生一条机器代码),此时编译器会逐一的进行编译并产生相应的机器代码(两条)。

volatile总是与优化有关,编译器有一种技术叫做数据流分析,分析程序中的变量在哪里赋值、在哪里使用、在哪里失效,分析结果可以用于常量合并,常量传播等优化,进一步可以死代码消除。但有时这些优化不是程序所需要的,这时可以用volatile关键字禁止做这些优化,它有下面的作用:
  1、不会在两个操作之间把volatile变量缓存在寄存器中。在多任务、中断等环境下,变量可能被其他的程序改变,编译器自己无法知道,volatile就是告诉编译器这种情况。
  2、不做常量合并、常量传播等优化,所以像下面的代码,if的条件不会当作无条件真。

volatile int i = 1; if (i > 0)...

3、对volatile变量的读写不会被优化掉。如果你对一个变量赋值但后面没用到,编译器常常可以省略那个赋值操作,然而对Memory Mapped IO的处理是不能这样优化的。

mutable、volatile的使用相关推荐

  1. C++编程思想重点笔记(上)

    C和C++指针的最重要的区别在于:C++是一种类型要求更强的语言.就void *而言,这一点表现得更加突出.C虽然不允许随便地把一个类型的指针指派给另一个类型,但允许通过void *来实现.例如: b ...

  2. 关于CRTP(Curiously Recurring Template Prattern)的使用

    在阅读frameworks/rs/cpp/util/RefBase.h之LightRefBase时,我记得<C++设计新思维>里对这种用法是有过介绍的,可是今天翻箱倒柜,怎么都找不到那本奇 ...

  3. Android智能指针

    智能指针的目标   在使用指针的时候容易出现的问题不外乎下面几个.首先,指针在使用之前都必须初始化,这个还算容易解决,在创建指针变量的时候同步初始化就好了:第二个问题就是经常忘记delete,就我的经 ...

  4. Android系统的智能指针(轻量级指针、强指针和弱指针)的实现原理分析【转】...

    Android系统的运行时库层代码是用C++来编写的,用C++ 来写代码最容易出错的地方就是指针了,一旦使用不当,轻则造成内存泄漏,重则造成系统崩溃.不过系统为我们提供了智能指针,避免出现上述问题,本 ...

  5. Android系统匿名共享内存(Anonymous Shared Memory)C++调用接口分析

    出自:http://blog.csdn.net/luoshengyang/article/details/6939890 在Android系统中,针对移动设备内存空间有限的特点,提供了一种在进程间共享 ...

  6. Android系统的智能指针(轻量级指针、强指针和弱指针)的实现原理分析【转】

    Android系统的运行时库层代码是用C++来编写的,用C++ 来写代码最容易出错的地方就是指针了,一旦使用不当,轻则造成内存泄漏,重则造成系统崩溃.不过系统为我们提供了智能指针,避免出现上述问题,本 ...

  7. Thinking in C++ Notes 常量

    2019独角兽企业重金招聘Python工程师标准>>> const的变量在预处理阶段处理,并且值不变. int, bool, char, 指针类型常量会存储在符号表中,并加以优化,即 ...

  8. class checklist

    构造函数 1)initialization list 2)异常保护,资源泄漏检查 3)this指针的使用 4)其他构造函数调用 5)虚函数调用 6)拷贝构造函数 7)隐式类型转换 析构函数 1)异常保 ...

  9. 1.5 深入理解常见类

    第5章 深入理解常见类 5.1 概述 初次接触Android源码,最多见到的一定是sp和wp.如果你只是沉迷于Java世界,那么Looper和Handler也是避不开的.本章的目的,就是把经常碰见的这 ...

  10. 深入理解Andorid 卷I 第五章

    PDF版的下载见: http://download.csdn.net/source/3578482 感谢CSDN及其热心支持的网友们,希望这本书是我对大家最好的回报.这一章重点解决sp,wp,refb ...

最新文章

  1. java方法的参数_Java方法参数
  2. Python 懂车帝全系车型--参数分析
  3. 观点 | 云原生时代来袭 下一代云数据库技术将走向何方?
  4. KMP算法与一个经典概率问题
  5. 常用批处理命令总结之Find和FindStr
  6. 创建型模式二:工厂方法模式
  7. 15.立体几何——几何为一个简单的立体系统,左右测验,视差的深度_3
  8. 完成计算机组装工艺卡组装准备,计算机组装与维护(刘猛)教程方案.doc
  9. 2016年1月19日 video.js修改视频源后再调用
  10. 学科竞赛管理系统服务器错误,大学生学科竞赛管理系统的设计与实现
  11. 在线字节转换工具G,M,Byte
  12. 计算机启动到安全模式 黑屏,电脑开机到一半就黑屏,显示器显示无信号,安全模式可以进去...
  13. 如何零基础创建自己的微信小程序
  14. PyQt4对话框(dialog类型介绍)
  15. 数据库DevOps:我们如何提供安全、稳定、高效的研发全自助数据库服务-iDB/DMS企业版
  16. 芯盾时代完成3亿元C轮融资,宽带资本领投
  17. windows账户被停用,如何启动账户?
  18. 微信小程序之子页面动态修改导航栏标题文字内容
  19. Java 中Calendar、Date、SimpleDateFormat学习总结
  20. 敏捷项目管理5大工具

热门文章

  1. WAP开发笔记(1)-.net移动页面中html控件不能直接显示的解决
  2. 测试多个输入条件的方法
  3. scrapy框架之递归解析和post请求
  4. Golang实现一个密码生成器
  5. java项目启动tomcat没报错,然后页面报404无法找到,重新编译后,出现以下状态...
  6. SpringMVC的filter怎么使用Autowired依赖注入bean
  7. HTML 标记大全参考手册
  8. 调用图片按钮的img图片
  9. C# 自定义箭头组件
  10. 思考设计模式在自助终端软件上的应用 ——Observer(观察着)模式