Question

定义了一个常数组,为什么能用指针改变数组元素的值?

void main()
{
const int a[3]={2,4,1};
int *p;
p=(int *)a;
*p=5;
printf("%d",a[0]);
printf("%d",p[0]);
}

Answer 1

常数组不可以改变值。
定义数组时，如果有const修饰，表示其为常数组。
对于常数组，会在编译后放置与常数区间中，这部分内容是只读的，不可以做任何修改。
一旦对其进行修改，就会导致程序崩溃。
所以常数组无论使用何种方法，均不能修改其值。
在C语言中，通过指针的强制转换，可以取消其常量标记。
比如
const int a[] = {1,2,3,4};
int* p = (int *)a;
这样的强制转换，可以去除掉a的常量属性，然后通过
*(p+i)=xxx;
这样的语句，改变a的第i个值。
但是即使是这样可以编译通过，运行时修改值后，也会引起程序崩溃，使修改没有意义。

Answer 2

是的，当指针指向数组的地址时，可以通过指针改变数组元素的值。
一个数组a[]，a是数组的起始地址；
一个指针p=a，也就是让指针指向数组的起始地址；
这时*p等同于p[0]，也就是等同于a[0]。
因此你的程序中，*p=5之后，a[0]和p[0]事实上都是同一个变量，都等于5。
另外，用const来说明一个变量不允许改变的时候，事实上const后面的变量还是变量，不是常量，在内存中是有开辟存储空间的，从本质上说是可以被重新赋值的，只不过编译器在编译的时候会检测，不让你在其他地方重新赋值，但当你的变量名更改之后，编译器是无法自动识别的，所以可以改变变量的值。
如果你还要问为什么，那只能告诉你，这是C的规则，记住就行。

Answer 3

这个问题稍微有些复杂。
通过const声明的常量变量，只是保证在写代码时不能通过变量名(本例是a)更改变量的值，但依然可以通过其他方式修改变量所在的内存上的值，比如通过指针。
另外常量变量有两种存放位置：如果定义在函数内部，它存放在函数的栈帧中（本例就是这种情况）；如果定义在全局，它存放在进程内存的常量区。对于前者，通过指针修改不仅能通过编译，也能正常运行，并且真实地修改掉了常量变量所在内存上存储的值。对于后者，由于进程内存的常量区是只读不可写的，如果通过指针修改它的值，所以尽管能通过编译，但是会在运行时发生内存读写异常，操作系统报错。

Answer 4

因为
p=(int *)a;

这里你对p赋值时，做了强制类型转换。
这样在用p访问时，就认为是“非常数”的指针了。
这就相当于，用a访问的人具有一般权限（只读权限），但是给p开了一个特殊权限（写权限）。
最根本的原因是你做了强制类型转换：

void main()
{
const int a[3]={2,4,1};
int *p;
p=(int *)a;
*p=5;
((int*)a)[0]=6; // 虽然定义a是常量数组，但是做了强制类型转换之后，仍然可以写入。
printf("%d",a[0]);
printf("%d",p[0]);
}