这篇文章时对c内存分配的一些思考,主要解释以下几点问题:
1. const 是不是存放在常量区中???
2. 全局变量与常量区的关系???
3. 为什么指针可以改变局部const数组内容而不能改变其局部const的内容???
基础知识:
1、栈区(stack)— 由编译器自动分配释放 ,存放函数的参数值,局部变量的值等。
2、堆区(heap) — 一般由程序员分配释放, 若程序员不释放,程序结束时可能由OS回收 。
3、全局区(静态区)(static)—,全局变量和静态变量的存储是放在一块的,初始化的
全局变量和静态变量在一块区域, 未初始化的全局变量和未初始化的静态变量在相邻的另
一块区域。 - 程序结束后由系统释放。
4、文字常量区 —一般常量就是放在这里的。不能被修改。 程序结束后由系统释放
5、程序代码区—存放函数体的二进制代码。
着重讲下const 是不是存放在常量区里???。
对于局部的const 非static常量,不放在常量区里。而全局的const 放在常量区里。
全局const:
如果const用在全局或者使用了static关键字,例如extern const int i=10,static const int i=10。那么这个i就是一个常量(网上有人说真正意义上的常量),并且该常量是存放在.rodata段的---Read Only Data也就是常量区,是无法通过取地址方式去修改的(具体情况见情况2),修改内容会报段错误。所以我认为常量区是全局变量中.rodata段。
局部const(不包括局部const数组)
如果const用在局部并且没有使用static关键字(例如在main函数里面const int i=10*2+1),且
a. 赋值是常量表达式(没有其它变量或者需要外界输入的值);
b.不对该常量进行一些取地址类似的操作(&),
满足上述条件,那么就不会对其分配内存空间。仅仅是将其放在符号表(符号表解释)中;否则,就会将其内容拷贝一份,并为其拷贝内容分配空间,而且这个空间是在栈上的-----常量折叠。这就可以解释如果我们将局部const赋值给指针后,强制类型转换为非const,我们就可以修改其内容了。因为我们操作的是栈而不是常量区。
下面试验下:
‘
指针只拿到了其在栈中拷贝空间的地址,所以没有发修改i的值。但是我们下面这样就会报错:
因为其存放在常量区。
局部const数组由于可能占据内存较大,直接分配栈空间,
最后总结下:局部const 从功能的角度,我们可以将其看做普通的局部变量。