const关键字小结

const 的理解

const 是C语言的一个关键字，需要注意的是，const 关键字是把变量变为一个只读的变量（也就是不可以作为左值），绝对不是将这个变量变为常量。也就是说经过const 修饰的变量成为只读的变量之后，那么这个变量就只能作为右值（只能赋值给别人），绝对不能成为左值（不能接收别人的赋值）。

而 C++ 则是将 const 修饰的常量变为一个真正的常量（变量的内容不可以被修改）， 这一点的区别需要进行注意。当 const 变量的时候，就将这个常量放在符号表里面，编译的过程中发现使用了变量，那么就从符号表里面的值进行替换。

经过const 修饰的变量，在定义的时候，就要进行初始化。

const int a = 10;  // 正确

const int a;  // 错误

一、const修饰普通类型的变量

const int  a = 7; 
int  b = a; // 正确
a = 8;       // 错误，不能改变

a 被定义为一个常量，并且可以将 a 赋值给 b，但是不能给 a 再次赋值。对一个常量赋值是违法的事情，因为 a 被编译器认为是一个常量，其值不允许修改。

接着看如下的操作：

实例

#include<iostream>
 
using namespace std;
 
int main(void)
{
    const int  a = 7;
    int  *p = (int*)&a;
    *p = 8;
    cout<<a;
    system("pause");
    return 0;
}

对于 const 变量 a，我们取变量的地址并转换赋值给 指向 int 的指针，然后利用 *p = 8; 重新对变量 a 地址内的值赋值，然后输出查看 a 的值。

从下面的调试窗口看到 a 的值被改变为 8，但是输出的结果仍然是 7。

从结果中我们可以看到，编译器然后认为 a 的值为一开始定义的 7，所以对 const a 的操作就会产生上面的情况。所以千万不要轻易对 const 变量设法赋值，这会产生意想不到的行为。

如果不想让编译器察觉到上面到对 const 的操作，我们可以在 const 前面加上 volatile 关键字。

Volatile 关键字跟 const 对应相反，是易变的，容易改变的意思。所以不会被编译器优化，编译器也就不会改变对 a 变量的操作。

实例

#include<iostream>
 
using namespace std;
 
int main(void)
{
    volatile const int  a = 7;
    int  *p = (int*)&a;
    *p = 8;
    cout<<a;
    system("pause");
    return 0;
}

输出结果如我们期望的是 8。

二、const 修饰指针变量。
const 修饰指针变量有以下三种情况。

A: const 修饰指针指向的内容，则内容为不可变量。
B: const 修饰指针，则指针为不可变量。
C: const 修饰指针和指针指向的内容，则指针和指针指向的内容都为不可变量。
对于 A:

const int *p = 8;
则指针指向的内容 8 不可改变。简称左定值，因为 const 位于 * 号的左边。

对于 B:

int a = 8;
int* const p = &a;
*p = 9; // 正确
int  b = 7;
p = &b; // 错误

对于 const 指针 p 其指向的内存地址不能够被改变，但其内容可以改变。简称，右定向。因为 const 位于 * 号的右边。

对于 C: 则是 A 和 B的合并

int a = 8;
const int * const  p = &a;

这时，const p 的指向的内容和指向的内存地址都已固定，不可改变。

对于 A，B，C 三种情况，根据 const 位于 * 号的位置不同，我总结三句话便于记忆的话：“左定值，右定向，const修饰不变量”。

**

用法分类：

**
const最常见用途是作为数组的界和switch分情况标号(也可以用枚举符代替)，分类如下：

常变量：const类型说明符 变量名

常引用：const类型说明符 &引用名

常对象：类名const对象名

常成员函数：类名::fun(形参)const

常数组：类型说明符const数组名[大小]

常指针：const类型说明符* 指针名 ，类型说明符*const指针名

首先提示的是：在常变量（const类型说明符 变量名）、常引用（const类型说明符 &引用名）、常对象（类名const对象名）、常数组（类型说明符const数组名[大小]），const”与 “类型说明符”或“类名”（其实类名是一种自定义的类型说明符）的位置可以互换。如：

const int a=5;与int const a=5;等同

类名const对象名与const类名 对象名等同

const int i = 10;

// 这里i已经被定义为常量，但是我们仍然可以通过另外的方式去修改它的值。

// 这说明把i定义为常量，实际上是防止通过i去修改所代表的内存。

int pi = (int) &i;

对于常量函数，编译器不允许其修改类的数据成员

const 与 define 区别

const 是由编译器进行处理，执行类型检查和作用域的检查；

define 是由预处理器进行处理，只做简单的文本替换工作而已。