volatile与const综合分析

在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 = 5;
int const i = 4;

 二者 并无本质差异，都是表示 变量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修饰，表明这个对象体现常量语义，但同时可能被当前对象所在程序上下文意外的情况修改。