常变量类型是指使用类型修饰符const说明的类型,常类型的变量或对象的值是不能被更新和改变的。
1 定义变量
- const修饰变量,以下两种定义形式在本质上是一样的。它的含义是:const修饰的类型为TYPE的变量value是不可变的。
TYPE const ValueName = value;
const TYPE ValueName = value;
- 将const改为外部连接,作用于扩大至全局,编译时会分配内存,并且可以不进行初始化,仅仅作为声明,编译器认为在程序其他地方进行了定义.
extend const int ValueName = value;
2 定义指针
- 指针本身不可变
char* const pContent;
const (char*) pContent;
- 指针所指向的内容不可变
const char * pContent;
char const * pContent;
- 两者都不可变
const char* const pContent;
如果const位于的左侧,则const就是用来修饰指针所指向的变量,即指针指向为常量;
如果const位于的右侧,const就是修饰指针本身,即指针本身是常量。
3 修饰函数参数
- 传递过来的参数在函数内不可以改变(无意义,因为Var本身就是形参)
void function(const int Var);
如果在函数中改变参数会编译错误。
- 参数指针所指内容为不可变
void function(const char* Var);
- 参数指针本身不可变(也无意义,因为char* Var也是形参)
void function(char* const Var);
- 参数为引用,防止修改。 修饰引用参数时:
void function(const Class& Var); //引用参数在函数内不可以改变
void function(const TYPE& Var); //引用参数在函数内为不可变
- 只有引用的const传递可以传递一个临时对象,因为临时对象都是const属性, 且是不可见的,它存在一个局部域中,所以不能使用指针,只有引用的const传递能够捕捉到。
4 修饰函数返回值
- const修饰函数返回值用的并不是很多,它的含义和const修饰普通变量以及指针的含义基本相同。
const int fun1() //这个其实无意义,因为参数返回本身就是赋值。
const int * fun2() //调用时 const int *pValue = fun2(); //我们可以把fun2()看作成一个变量,即指向内容不可变。
int * const fun3() //调用时 int * const pValue = fun2(); //我们可以把fun2()看作成一个变量,即指针本身不可变。
5 编译器的实现
编译器对const的优化可能不同。某些情况下可能会把const 变为一个常量,或者只读数据区中,也可能把它放在可读写的数据区中。
在gcc中,const是通过编译器在编译的时候执行检查来确保实现的。也就是说const类型的变量不能改是编译错误,不是运行时错误。通过某些方式可以修改const定义的常量,而编译不会报错。另外编译时什么情况下会报错也跟编译器优化选项有关。