首先看一段C语言程序(红色字体部分数组越界访问)和运行的结果(系统unbantu15.10,编辑器 vim)
<span style="font-size:18px;"># include <stdio.h>
int a[2] = {2, 3};
int b;
void func()
{
static int s = 8;
}
int main(void)
{
b = 12;
func();
<span style="color:#FF0000;">printf("%d", a[2]);//越界访问</span>
return 0;
}</span>
运行结果,程序并没有报错,也没崩溃,多次运行,还是一样!!!!
刚看见时,确实挺惊讶的,思考分析了半天,终于搞懂了
首先仔细观察,运行结果为8,和函数func中的静态局部变量s的值一样,多次修改s的值运行,也一样!!难道数组越界后访问了静态变量s的值?
基于思考,google了下,静态变量和全局变量的存储位置,总结如下
1.静态变量和全局变量都存储在内存的静态区。
2.静态区分为数据段(data segment, .data段)和BSS段(bss segment, .bss段)
2.1-数据段:通常是用来存放程序中已初始化的全局变量的一块内存区域
2.2-BBS段:通常是指用来存放程序中未初始化的全局变量的内存区域。
3。全局变量和静态变量的存储是放在一块的,初始化了的全局变量和静态变量在一块区域
未初始化的全局变量和未初始化的静态变量在相邻的另一块区域。
结合以上,分析程序
全局变量数组a和静态局部变量s都已被初始化,都被存储在静态区的数据段这一块区域!!!
且通过程序可以更加推断出来,这两个数据不仅被放在一块区域,而且是连续存放的!!!!