C语言中关于const与指针结合的理解

        const是ANSI标准中加入的关键词，被const修饰的变量便不可改变。

        当const与指针变量结合的时候，就有了指针内容可变还是指针指向的地址

        单元可变的问题。本文通过一个简短的程序进行分析，先把结论亮出来：

        只有被const直接修饰的变量最终指向的内容不可变（忽略变量类型修饰符，即int， long等）。

        这里有两个要点：一是直接修饰，二是最终指向的内容。

        在const int *p中，忽略掉int，被const直接修饰的是*p，*p最终指向指针p指向的地址的内容，所以该内容不可变（至少不可以使用*p进行修改），而变量p没有被const直接修饰，所以指正变量p最终指向的内容（也就是p本身的值）是可变的。这样这一句可以等效于int const *p。（这两种声明有没有其他的不同之处，笔者暂时还不清楚）

        在int * const p中，指针变量p本const直接修饰，所以p的内容（地址）是不可变的，而p指向的地址的内容（即*p）没有被const直接修饰，所以p指向的地址的内容是可变的，即*p可以被再赋值。

        以上结论是基于以下程序得出的（运行环境： windows 7 家庭普通版，gcc版本：5.1.0， MinGW-W64）：

#include <stdio.h>

void main(void)
{
const int a[2];
const int *pa=a;
int const *pb=a;
int * const pc=a;
pa++;
(*pa)++;
pb++;
(*pb)++;
pc++;
(*pc)++;
}

        运行结果如下：



        如果将pa，pb，pc统一看成p则有下表：

判断项目	const int *p=a	int const *p=a	int * const p=a
声明	通过	通过	警告
p++	通过	通过	错误
(*p)++	错误	错误	通过

        其中的警告那项是因为数组a的定义为const int a[4]，标明数组的内容是被const修饰的，不可变的，而int * const p中，指正p指向的内容可变，前后两者不一样，所以报错。其他结果可按照之前介绍的const修饰理解。