const

常变量类型是指使用类型修饰符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定义的常量，而编译不会报错。另外编译时什么情况下会报错也跟编译器优化选项有关。