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 是由预处理器进行处理,只做简单的文本替换工作而已。