#include <stdio.h>
#include <string.h>
#define ARRSIZE(a) (sizeof(a)/sizeof(a[0]))
int main()
{
const int i = 10;
int *p = (int *)&i;
int a[i];
*p = 100;
printf("%d\n", ARRSIZE(a));
printf("%d\t%d\n", i, *p);
return 0;
}
我用gcc编译运行，上面这段简单的代码的输出结果是：
100 # 这也是一个很奇怪的结果。
100 100
这个结果说明了2个问题，1：可以用const变量作为数组大小；2：可以修改const变量的值。
但难道真是这样吗？又或者说，难道在不同机器，不同编译器下都这样吗？
并不尽然，首先这个程序在VC编译器下，不能通过，VC编译器不允许用const变量作为数组大小。
即使把有关数组的给删掉，VC编译后的可执行文件不能执行，发生内存错误。这说明不可以修改const变量。
因此这个是与编译器有关的。
下面要思考的是：为什么gcc编译器能允许这事发生，而VC不允许。
对上面的代码略做修改，将const int i = 10放到main函数外面去。
#include <stdio.h>
#include <string.h>
#define ARRSIZE(a) (sizeof(a)/sizeof(a[0]))
const int i = 10;
int main()
{
int *p = (int *)&i;
int a[i];
printf("%d\n", ARRSIZE(a));
*p = 100;
printf("%d\t%d\n", i, *p);
return 0;
}
这时gcc编译通过，运行出现段错误。段错误是经典错误，表明访问了不该访问的段。
因此这说明全局的const变量不能修改；局部的const能修改。
作如下推测：
gcc下，全局的const变量存储于只读的数据段，因此肯定不能修改。
局部的const存储在堆栈段，堆栈段是可读可写的；因此不能避免程序员去修改const。
虽然局部const在堆栈，且堆栈可写，但如下方式却行不通：
const int i = 10;
i = 100； # 这里的错误是编译错误。
因此编译器不允许你对局部const变量[直接]修改，它能够识别你在修改const变量。
但正如前面的程序，你只要将局部const变量的地址赋给指针，就能骗过编译器了。
而在VC下，const变量总是在只读数据段里。
这时再来看数组
#include <stdio.h>
#include <string.h>
#define ARRSIZE(a) (sizeof(a)/sizeof(a[0]))
const int i = 10;
int a[i]; // 将数组拿到main的外面来
int main()
{
printf("%d\n", ARRSIZE(a));
return 0;
}
这时会有编译错误：error: variably modified ‘a’ at file scope
如果将"int a[i]"放到main函数里，则正确。
我还不太清楚这样的具体原因。这里我只能大致得出结论是：不能用const变量来作为数组大小。
至于为什么将"int a[i]"放到main函数里时没有错误，我并不清楚，我看了下汇编码，发现gcc对这种情况进行了一些特殊的处理，并不是简单的分配堆栈空间，但更细致的原因，我并未深入研究。
另外在VC下，是不能用const变量来作为数组大小的，不管是局部还是全局的const。
因此不要试着去修改const变量，也不要用const变量来作为数组大小
