在C/C++ 编程中,volatile与const关键字一向容易让人困惑,当然,新手可能从来不用,但是 在高质量和稳健的程序中,这两个关键字 是相当重要的。

相比const,volatile关键字的发展(变化)较少,从C到C++的演变中,一直保持着 它的语义,因此,我们先从volatile来了解下,这两个关键字

一、volatile

1.volatile 的基础 认知:

volatile 的英文 释义是 容易 挥发的,

作为 关键字,可以 记忆为 它修饰的 变量 是 不稳定的,可能被其他地方的某些方式改变,因此为了 获取正确的值,编译器 不该对其做优化,比如为了 获取较快的 读取速度,将它 放入寄存器中等,而是每次都要从它所在的内存中 读取。

BS在 书中 对 volatile 的定义是:

A volatile specifier is a hint to a compiler that an object may change its value in ways not specified by the language so that aggressive optimizations must be avoided.

volatile修饰符 意在暗示 编译器,该被修饰的对象 通过该语言未指定的方式改变他的值,因此,积极的优化都应该被消除。

未指定的方式 ,比如 操作系统,硬件或者其他线程等。

遇到volatile修饰的变量,编译器对访问该变量的代码 不再进行优化,从而可以提供对特殊地质的稳定访问。

稳定的访问的方式 是 ,系统总是重新从该 变量的 内存中读取数据,即使  它 前面的 指令 刚刚 从该处 读取过数据。

2.volatile  修饰指针

我们可以使用 volatile修饰 指针,比如

volatile char * myVolatileStr;
char *volatile strVolatilePtr;

  

volatile 修饰 char*  和 *char 是 有较大区别的,和const修饰一样,volatile可以将其修饰的 内存区域 声明为 易挥发的,也可以将 指针变量本身声明为 易挥发的。通常,有以下注意点:

注意:(1) 可以把一个非volatile int 赋给 volatile int,但是不能把非volatile对象赋给一个volatile对象。

       (2) 除了基本类型外,对用户定义类型也可以用volatile类型进行修饰。

(3) C++中一个有volatile标识符的类只能访问它接口的子集,一个由类的实现者控制的子集。用户只能用const_cast来获得对类型接口的完全访问。此外,volatile向const一样会从类传递到它的成员。

3.volatile在 多线程中

在 多线程 中,有些变量是要用volatile关键字声明的。当两个线程都要用到某一个变量且该变量的值会被改变时,应该用volatile声明,该关键字的作用是防止优化编译器把变量从内存装入CPU寄存器中。如果变量被装入寄存器,那么两个线程有可能一个使用内存中的变量,一个使用寄存器中的变量,这会造成程序的错误执行。volatile的意思是让编译器每次操作该变量时一定要从内存中真正取出,而不是使用已经存在寄存器中的值,

下面,来对比学习 下 const,

二、const

1.const基础

在C++中,老手们建议 我们 尽可能的 多使用 const,但是 为啥呢?如果 面试官 问起,你就说,为了程序的稳健性,但是 这和问 锻炼身体为啥呢,保卫祖国 ,没什么 区别。

const 理论上 是 constant的简写,constant的英文释义是  不变的;恒定的;经常的。但是 很多大神将它理解成了 只读的,readonly,甚至觉得 要把这个关键词 替换成readonly。这在gun编译器中也是这么 提错的,很有意思。

和volatile一样,const也是对编译器的约束(废话),它明确的告诉 编译器,const修饰的变量 是 不变的,如果出现了 其他地方的对其修饰值的改变,应该在编译期间就报错。这样能大大提高程序的健壮性,当然,对于程序员,在编译期间就发现错误本就是极好的。

2.const修饰局部变量

这是 最基本的用法,如

  

const int i = ;
int const i = ;
 二者 并无本质差异,都是表示 变量i是 不变的,

3.const 与指针

const char* str;
char * const str;
char const* str;
const char* const str;
const char const* str;

  

以上,声明了 5种const 与指针的 位置 修饰 关系。

我们一一说明下:
    声明 1 ,与 const int i,没有区别 ,修饰 其所指向的 内存区域 是 只读的,不允许 修改
    声明 2 ,const 直接修饰 str,即指针变量本身,说明 该指针变量 本身是只读的,但是,其所指向的内存区域还是可以改变的。
    声明 3 ,与声明1 本质一致,见第2
    声明 4, 声明1 和声明 2 的 合并,其意义也是 2者的 合并
    声明 5 ,错误的声明。
通过以上 分析可以 看出,const与其修饰的哪个 类型近,就限定了哪个为只读,这是规定,但是要防止像声明5 那样的 错误声明,因为有两个const都在修饰 char,这明显是错误的。

4.const与引用

    在C++中 ,可以使用 const 修饰引用,

5. const修饰函数参数

 
const修饰函数参数是它最广泛的一种用途,它表示函数体中不能修改参数的值(包括参数本身的值或者参数其中包含的值)。
 
 
  1. void function(constintVar);//传递过来的参数在函数内不可以改变(无意义,因为Var本身就是形参)
  2. void function(constchar*Var);//参数指针所指内容为常量不可变
  3. void function(char*constVar);//参数指针本身为常量不可变(也无意义, 因为char* Var也是形参)
 
    将参数修饰为常量引用,增加了效率同时防止修改。
修饰引用参数时:
 
 
  1. void function(constClass&Var);//引用参数在函数内不可以改变
  2. void function(const TYPE&Var);//引用参数在函数内为常量不可变
 

6. const 修饰函数返回值

 
const修饰函数返回值其实用的并不是很多,它的含义和const修饰普通变量以及指针的含义基本相同。
(1) const int fun1() 这个其实无意义,因为参数返回本身就是赋值。
(2) const int * fun2()
    调用时 const int *pValue = fun2();
    我们可以把fun2()看作成一个变量,那么就是我们上面所说的1.(1)的写法,即指针内容不可变。
(3) int* const fun3()
调用时 int * const pValue = fun2();
    我们可以把fun2()看作成一个变量,那么就是我们上面所说的1.(2)的写法,即指针本身不可变。

7. const修饰类对象/对象指针/对象引用

 
const修饰类对象表示该对象为常量对象,其中的任何成员都不能被修改。对于对象指针和对象引用也是一样。
const修饰的对象,该对象的任何非const成员函数都不能被调用,因为任何非const成员函数会有修改成员变量的企图。
例如:
class AAA
{
void func1();
void func2()const;
}
const AAA aObj;
aObj.func1();//×
aObj.func2();//正确 const AAA* aObj =new AAA();
aObj->func1();// ×
aObj->func2();//正确
 

8. const修饰成员变量

 
const修饰类的成员函数,表示成员常量,不能被修改,同时它只能在初始化列表中赋值。
 
class A
{

constint nValue; //成员常量不能被修改

A(int x): nValue(x){};//只能在初始化列表中赋值
}
 

9. const修饰成员函数

 
const修饰类的成员函数,则该成员函数不能修改类中任何非const成员函数。一般写在函数的最后来修饰。
 
 
 
class A
{

void function()const;//常成员函数, 它不改变对象的成员变量. 也不能调用类中任何非const成员函数。
}
 

对于const类对象/指针/引用,只能调用类的const成员函数,因此,const修饰成员函数的最重要作用就是限制对于const对象的使用。

 

10. const常量与define宏定义的区别

 
(1) 编译器处理方式不同
    define宏是在预处理阶段展开。
    const常量是编译运行阶段使用。
(2) 类型和安全检查不同
    define宏没有类型,不做任何类型检查,仅仅是展开。
    const常量有具体的类型,在编译阶段会执行类型检查。
(3) 存储方式不同
    define宏仅仅是展开,有多少地方使用,就展开多少次,不会分配内存。
    const常量会在内存中分配(可以是堆中也可以是栈中)。

三、总结 分析

那么问题来了,理解了 volatile 和 const关键词的使用 场景 ,那么 二者可以同时使用吗?
比如 const volatile int i;这样的声明 是否 有问题呢?
从语义上讲,似乎不可能,但是 ,这样的声明 其实  是合法的。
    因为const和volatile这两个类型限定符并不矛盾。const表示(运行时)常量语义:被const修饰的对象在所在的作用域无法进行修改操作,编译器对于试图直接修改const对象的表达式会产生编译错误。volatile表示“易变的”,即在运行期对象可能在当前程序上下文的控制流以外被修改(例如多线程中被其它线程修改;对象所在的存储器可能被多个硬件设备随机修改等情况):被volatile修饰的对象,编译器不会对这个对象的操作进行优化。一个对象可以同时被const和volatile修饰,表明这个对象体现常量语义,但同时可能被当前对象所在程序上下文意外的情况修改。

volatile与const综合分析的更多相关文章

  1. volatile和const

    volatile可理解为“编译器警告指示字” volatile用于告诉编译器必须每次去内存中取变量值 volatile主要修饰可能被多个线程访问的变量 volatile也可以修饰可能被未知因数更改的变 ...

  2. volatile 和const 变量的使用

    一.volatile定义: 一个定义为volatile的变量是说这变量可能会被意想不到的被改变,这样,有了volatile变量后,就提醒编译器就不会去假设这个变量的值了.精确地说就是,编译中的优化器在 ...

  3. 你必须知道的495个C语言问题,学习体会一

    C语言作为一门古老的语言,其灵活性和容易出错都让人 又爱又恨,书籍<你必须知道的495个C语言问题>,使用问答的形式,告诉读者 C语言使用的各个方面的知识,包括一些冷知识等.以下,我要摘录 ...

  4. const volatile int i

    问题: const volatile int i=10:这行代码有没有问题?如果没有,那 i 到底是什么属性? 回答: 没有问题,例如只读的状态寄存器.它是volatile,因为它可能被意想不到地改变 ...

  5. const volatile同时限定一个类型int a = 10

    const和volatile放在一起的意义在于: (1)本程序段中不能对a作修改,任何修改都是非法的,或者至少是粗心,编译器应该报错,防止这种粗心: (2)另一个程序段则完全有可能修改,因此编译器最好 ...

  6. C++ - explicit和volatile/const的内容

    第一眼见到explicit和volatile可能会一愣一愣的觉得可能是c11或者c14新加的标识符. 其实不是这样,volatile和const两个关键字在C语言的第二个版本KR C的时候就被加入了C ...

  7. __I、__O 、__IO volatile是什么?怎么用? .

    这是ST库里面的宏定义,定义如下: #define __I volatile const /*!< defines 'read only' permissions */ #define __O ...

  8. C/C++中volatile关键字详解 (转)

    1. 为什么用volatile? C/C++ 中的 volatile 关键字和 const 对应,用来修饰变量,通常用于建立语言级别的 memory barrier.这是 BS 在 "The ...

  9. c语言,volatile

          一.意义: 该关键字的意义就是表示定义的变量值随时都会改变,必须从变量的地址处读取值,所以只有这个变量在使用过程中可能被改变(比如中断程序),就需要用这个关键字说明. )volatile, ...

随机推荐

  1. 多线程 wait和sleep区别

    wait和sleep区别共同点: 1. 他们都是在多线程的环境下,都可以在程序的调用处阻塞指定的毫秒数,并返回. 2. wait()和sleep()都可以通过interrupt()方法 打断线程的暂停 ...

  2. cmd 命令 记忆

    1,“开始”—>“运行”,输入cmd,回车.<或 win+R> 2,出现“命令提示符”的窗口,一般情况下是 C:\Documents and Settings\Administrat ...

  3. c语言URL通过Http下载mp3 格式

    通过http协议下载MP3的关键就是 整块打包,一块一块向文件里面存储.读取的时候用二进制 /***szWebAddr: 页面地址(包含host+addr) szMp3FileName:将要存储文件的 ...

  4. jQuery动画二级下拉菜单

    在线演示 本地下载

  5. Appium+eclipse+python环境配置

    1.安装安卓开发环境(教程很多,不细写) 2.安装eclipse 下载eclipse,解压即可   3.安装python 下载地址:https://www.python.org/downloads/r ...

  6. unidbnavigator提示汉化

  7. 403.14-Forbidden Web 服务器被配置为不列出此目录的内容

    第二次碰到这个问题了,记录一下 解决方案:1. 运行->cmd 2. cd  C:\Windows\Microsoft.NET\Framework64\v4.0.30319 3. aspnet_ ...

  8. Spring Boot集成Redis实现缓存机制【从零开始学Spring Boot】

    转自:https://blog.csdn.net/linxingliang/article/details/52263763 spring boot 自学笔记(三) Redis集成—RedisTemp ...

  9. Flume-NG源码阅读之SinkGroups和SinkRunner

    在AbstractConfigurationProvider类中loadSinks方法会调用loadSinkGroups方法将所有的sink和sinkgroup放到了Map<String, Si ...

  10. RENOUNCEMENT

    I must not think of thee;and,tired yet syrong,I shun the thought that lurks in all delight--The thou ...