C语言中一类特殊的数组越界！！

首先看一段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都已被初始化，都被存储在静态区的数据段这一块区域！！！

且通过程序可以更加推断出来，这两个数据不仅被放在一块区域，而且是连续存放的！！！！