浅谈const关键字

const是一个C语言（ANSI C）的关键字，它限定一个变量不允许被改变,产生静态作用。使用const在一定程度上可以提高程序的安全性和可靠性。另外，在观看别人代码的时候，清晰理解const所起的作用，对理解对方的程序也有一些帮助.

定义:常类型是指使用类型修饰符const说明的类型，常类型的变量或对象的值是不能被更新的。（当然，我们可以偷梁换柱进行更新）

目的:const 推出的初始目的，正是为了取代预编译指令，消除它的缺点，同时继承它的优点。

const在C中的用法很灵活，个人感觉很难对它下一个标准的定义，所以借用了百科的定义。也因为其用法过于灵活，似乎很难对它的定义理解到位。

下面先举几个简单的栗子，在例子中来探讨const的本质和使用，若你都能理解则不用再浪费时间往下看了。

1. const int num = 10;//num不可变
2. const int array[5] = {1, 2, 3, 4, 5}; //数组元素不可变
3. const int *p ; // （*p）不可变
4. int * const p ; //p不可变
5. const int * const p ; // p和（*p)都不可变```

对于case1,我们可以很容易的理解，变量num是不可更改的，case2也还好，数组元素是不可变的。对于后面的三个栗子，相信不少童鞋都有些懵吧，放心吧，下面的解释会让你彻底掌握的喔！

下面让我们在实际的bug中汲取经验吧：
 - 为什么下面的例子在使用一个const[变量]来初始化数组，ANSI C的编译器会报告一个错误呢？

const int n = 5;
int a[n];```

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

• 下面的代码编译器会报一个错误，请问，哪一个语句是错误的呢？

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++是对的。替换基本形式中的type为2式中的pStr，替换后const pStr m;限定m不可变，题中的pStr就是一种新类型，因此问题中p2不可[1]  变，p2++是错误的。

- const在前面

const int nValue； //nValue是const
const char pContent; //pContent是const, pContent可变
const char* const pContent; //pContent和*pContent都是const```

• const在后面，与上面的声明对等

int const nValue; //nValue是const
char const * pContent; //*pContent是const, pContent可变
char* const pContent; //pContent是const,*pContent可变
char const* const pContent; //pContent和*pContent都是const```
>答案与分析：
const和指针一起使用是C语言中一个很常见的困惑之处，在实际开发中，特别是在看别人代码的时候，常常会因为这样而不好判断作者的意图，下面讲一下我的判断原则：
const只修饰其后的变量，至于const放在类型前还是类型后并没有区别。如：const int a和int const a都是修饰a为const。注意*不是一种类型，如果*pType之前是某类型，那么pType是指向该类型的指针

**一个简单的判断方法：指针运算符*，是从右到左，那么如：char const * pContent，可以理解为char const (* pContent)，即* pContent为const，而pContent则是可变的。**
1. ####const *

int const * p1,p2;```

p2是const；(p1)是一整体，因此(p1)是const，但p1是可变的。int * p1,p2只代表p1是指向整型的指针，要表示p1、p2都是指针是需写成int * p1,* p2。所以无论是* const p1,p2还是const * p1,p2，里面的*都是属于p1的。

2. const * const

int const * const p1,p2;```
>p2是const，是前一个const修饰的，*p1也被前一个const修饰，而p1被后一个const修饰。

3. #### * const

int * const p1,p2;```

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

4. 指针指向及其指向变量的值的变化

const在的左边，则指针指向的变量的值不可直接通过指针改变（可以通过其他途径改变）；在的右边，则指针的指向不可变。简记为“左定值，右定向”。

• 指针指向的变量的值不能变，指向可变

int x = 1;
int y = 2;
const int* px = &x;
int const* px = &x; //这两句表达式一样效果
px = &y; //正确，允许改变指向
*px = 3; //错误，不允许改变指针指向的变量的值```

 - 指针指向的变量的值可以改变，指向不可变

int x = 1;
int y = 2;
int* const px = &x;
px = &y; //错误，不允许改变指针指向
*px = 3; //正确，允许改变指针指向的变量的值```

• 指针指向的变量的值不可变，指向不可变

int x = 1;
int y = 2;
const int* const px = &x;
int const* const px = &x;
px = &y; //错误，不允许改变指针指向
*px = 3; //错误，不允许改变指针指向的变量的值```