Const读书笔记

const是一个C语言的关键字，它限定一个变量不允许被改变。称常变量又简称“常量”。常类型的变量或对象的值是不能被更新的。

例一：

const int n = 5;

int a[n];  //ANSI C报错

为什么ANSI C的编译器会报告一个错误呢？

1）这个问题讨论的是“常量”与“只读变量”的区别。常量，例如5， "abc"，等，肯定是只读的，因为常量是被编译器放在内存中的只读区域，当然也就不能够去修改它。而“只读变量”则是在内存中开辟一个地方来存放它的值，只不过这个值由编译器限定不允许被修改。C语言关键字const就是用来限定一个变量不允许被改变的修饰符（Qualifier）。上述代码中变量n被修饰为只读变量，可惜再怎么修饰也不是常量。而ANSI C规定数组定义时长度必须是“常量”，“只读变量”也是不可以的，“常量”不等于“不可变的变量”。但是在C++中，局部数组是可以使用变量作为其长度的。

2）但是在标准C++中，这样定义的是一个常量，这种写法是对的。实际上，根据编译过程及内存分配来看，这种用法本来就应该是合理的，只是ANSI C对数组的规定限制了它（实际上用GCC或VS2005编译以上代码，确实没有错误产生，也没有给出警告）。

3）那么，在ANSI C中用什么来定义常量呢？答案是enum类型和#define宏，这两个都可以用来定义常量。

例二：

typedef char * pStr;

char string[4] = "bbc";

const char *p1 =" string"; //1式

const pStr p2 =" string"; //2式

p1++;

p2++;

答案与分析：

问题出在p2++上。 const使用的基本形式： const type m;限定m不可变。替换基本形式中的m为1式中的*p1，替换后 const char *p1;限定（*p1）不可变，即为p1指向的值不可变，而不是p1，当然p1是可变的 ，因此问题中p1++是对的。替换基本形式中的type为2式中的pStr，替换后 const pStr m;限定m不可变 ，题中的pStr就是一种新类型，因此问题中p2不可变 ，p2++是错误的。

这个例子，也可以看出typedef和define的区别来。

例三：    ***

const char *pContent;   //*pContent是const, pContent可变

char* const pContent;  //pContent是const,*pContent可变

char const * pContent; //*pContent是const, pContent可变

通过例子可以看出来：const只是一个修饰不变性的修饰词，位置可前可后，但作用很大差别。*为右结合性，可以将*pContent理解 为一个整体（*pContent）。

int const * const p1,p2;  

//p2是const，是前一个const修饰的，*p1也被前一个const修饰，而p1被后一个const修饰。看成int const （* const p1）,p2; 

 *与右边最靠近它的变量是一个整体。比如int *p1,p2;   //p1为指针，p2不是指针。

而int const p1，p2；//p1,p2都是const。

int * const p1,p2;

//p1是const，（* const p1）是整体，所以const不修饰p2。

摘自百度百科。