const 是constant的缩写,是恒定不变的意思,也常翻译为常量、常数等。很不幸,正是因为这一点,很多人都认为被const修饰的值是常量。这是不精确的,精确的说应该是只读的变量,其值在编译时不能被使用,因为编译器在编译时不知道其存储的内容。那么这个const 关键字有什么用处和意义呢?
const 推出的初始目的,正是为了取代预编译指令,消除它的缺点,同时继承它的优点。
1、const修饰的只读变量
定义const 只读变量,具有不可变性。
例如:
const int Max=100;
int Array[Max];
这里如果分别创建.c 文件和.cpp 文件测试一下,你就会发现在.c 文件中,编译器会提示出错,而在.cpp 中则顺利运行,为什么呢?我们知道定义一个数组必须指定其元素的个数。这也从侧面证实在C语言中,const 修饰的Max仍然是变量,只不过是只读属性,而在C++中,扩展了const 的含义。
注意:const 修饰的只读变量必须在定义的同时初始化。
问题:那么case 语句后面是否可以是const 修饰的只读变量呢?
很显然是不可以的,case 语句后必须是一个常量,const 修饰的只读变量仍然是变量,所以是不可以的,大家也可以动手试试看。
2、节省空间,避免不必要的内存分配,同时提高效率
编译器通常不为普通const 只读变量分配存储空间,而是将他们保存在符号表中,这使得它成为一个编译期间的值,没有了存储与读内存的操作,使得它的效率也很高。
例如:
#define M 3 //宏常量
const int N=5; //此时并未将N放入内存中
.......
int i=N; //此时为N分配内存,以后不再分配
int I=M; //预编译期间进行宏替换,分配内存
int j=N; //没有内存分配
int J=M; //再次进行宏替换,又一次分配内存
const 定义的只读变量与#define 宏相对比:
const 定义的只读变量 | #define 定义的宏常量 |
---|---|
在程序运行过程中只有一份拷贝(因为它是全局的只读变量,存放在静态区) | #define 定义的宏常量在内存中有若干个拷贝 |
在编译的时候确定其值 | #define 宏是在预编译阶段进行替换 |
const 修饰的只读变量具有特定的类型 | #define 宏没有类型 |
3、修饰一般变量
一般常量是指简单类型的只读变量。这种只读变量在定义时,修饰符const可以用在类型说明符前,也可以用在类型说明符后。例如:
int const i=2;
或 const int i=2;
4、修饰数组
定义或说明一个只读数组可采用如下格式:
int const a[5]={1,2,3,4,5}; 或
const int a[5]={1,2,3,4,5};
5、修饰指针
const int *p; //p可变,p指向的对象不可变
int const *p; //p可变,p指向的对象不可变
int * const p; //p不可变,p指向的对象可变
const int *const p; //指针p和p指向的对象都不可变
一个记忆和理解的方法:
先忽略类型名(编译器解析的时候也是忽略类型名),我们看const 离哪个近。离谁近就修饰谁。
const int *p; //const 修饰 *p,p是指针,*p是指针指向的对象,不可变
int const *p; //const 修饰 *p,p是指针,*p是指针指向的对象,不可变
int *const p;//const 修饰 p,p不可变,p指向的对象可变
const int * const p;//前一个const 修饰 *p,后一个const 修饰p,指针p和p指向的对象都不可变
6、修饰函数的参数
const 修饰符也可以修饰函数的参数,当不希望这个参数值被函数体内一位改变时使用。例如:
void Fun(const int i);
告诉编译器I在函数体中的值不能改变,从而防止了使用者的一些无意的或错误的修改。
7、修饰函数的返回值
const 修饰符也可以修饰函数的返回值,返回值不可被改变。例如:
const int Fun(void);
在另一连接文件中引用const 只读变量:
extern const int i; //正确的声明
extern const int j=10;//错误!只读变量的值不能改变
注意这里是声明不是定义