关于const关键字与指针的相关使用要点

注意：文章转自http://blog.csdn.net/xiaocheng198810/article/details/41542473#

编了这样的口诀，记住，应该不难：

const（*号）左边放，我是指针变量指向常量；

const（*号）右边放，我是指针常量指向变量；

const（*号）两边放，我是指针常量指向常量；

指针变量能改指向，指针常量不能转向！

要是全都变成常量，锁死了，我不能转向，你也甭想变样！

一) 常量指针（对应“左定值”，即const在*的左边）

常量是形容词，指针是名词，以指针为中心的一个偏正结构短语。这样看，常量指针本质是指针，常量修饰它，表示这个指针乃是一个指向常量的指针（变量）。

指针指向的对象是常量，那么这个对象不能被更改。

在C/C++中，常量指针是这样声明的：

1）const int *p;

2）int const *p;

常量指针的使用要注意，指针指向的对象不能通过这个指针来修改，可是仍然可以通过原来的声明修改，也就是说常量指针可以被赋值为变量的地址，之所以叫做常量指针，是限制了通过这个指针修改变量的值。

二) 指针常量（对应“右定向”，即const在*的右边）

指针是形容词，常量是名词。这回是以常量为中心的一个偏正结构短语。那么，指针常量的本质是一个常量，而用指针修饰它，那么说明这个常量的值应该是一个指针。

指针常量的值是指针，这个值因为是常量，所以不能被赋值。

在C/C++中，指针常量这样声明：

int a;

int *const b = &a; //const放在指针声明操作符的右侧

只要const位于指针声明操作符右侧，就表明声明的对象是一个常量，且它的内容是一个指针，也就是一个地址。上面的声明可以这么读，声明了一个常量b，它的值是变量a的地址（变量a的地址，不就是指向变量a的指针吗）。

因为指针常量是一个常量，在声明的时候一定要给它赋初始值。一旦赋值，以后这个常量再也不能指向别的地址。

虽然指针常量的值不能变，可是它指向的对象是可变的，因为我们并没有限制它指向的对象是常量。

因此，有这么段程序：

char *a = "abcde1234";

f143

char *b = "bcde";

char *const c = &a;

  下面的操作是可以的。

  a[0] = 'x'; // 我们并没有限制a为常量指针（指向常量的指针）

或者

*c[0] = 'x' // 与上面的操作一致

例一

下面分别用const限定不可变的内容是什么？

1）const在前面

const int nValue； //nValue是const

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

const char* const pContent; //pContent和*pContent都是const

2）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] 

例二

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的。

例三

int const * const p1,p2;

p2是const，是前一个const修饰的，*p1也被前一个const修饰，而p1被后一个const修饰。

例四

int * const p1,p2;

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

例五

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

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

1）指针指向的变量的值不能变，指向可变

int x = 1;

int y = 2;

const int* px = &x;

int const* px = &x; //这两句表达式一样效果

px = &y; //正确，允许改变指向

*px = 3; //错误，不允许改变指针指向的变量的值

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

int x = 1;

int y = 2;

int* const px = &x;

px = &y; //错误，不允许改变指针指向

*px = 3; //正确，允许改变指针指向的变量的值

3）指针指向的变量的值不可变，指向不可变

int x = 1;

int y = 2;

const int* const px = &x;

int const* const px = &x;

px = &y; //错误，不允许改变指针指向

*px = 3; //错误，不允许改变指针指向的变量的值

补充

在c中，对于const定义的指针，不赋初值编译不报错，

int* const px;这种定义是不允许的。（指针常量定义的时候对其进行初始化）

int const *px;这种定义是允许的。（常指针可以再定义的时候不初始化）

但是，在C++中

int* const px;和const int* const px;会报错，const int* px;不报错。

必须初始化指针的指向int* const px = &x;const int* const px=&x;

强烈建议在初始化时说明指针的指向，防止出现野指针！
   

注意：当与 typedef 配合使用时，情况又变！！

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

typedef char * pStr; //不能理解为简单的替换！！

char string[4] = "bbc";

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

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

p1++;

p2++;

答案与分析：

问题出在p2++上。

1）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++是错误的。