- 先看如下代码
-
#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变量来作为数组大小
转载于:https://www.cnblogs.com/tham/p/6827478.html