不知道你有没有遇到过这种让人后背发凉的事情：在 VS2013 里写了一段 C 代码。定义一个长度为5的整型数组，接下来手滑写了个 for 循环，一不小心循环到了下标5、6、…，结果程序没有立刻崩溃，没有报错弹窗，甚至正常输出了结果。你松了一口气，觉得"好像也没什么大事"。

但诡异的是程序里另一个完全不相关的变量。莫名其妙地变成了一个你从未赋过的值，导致整个业务逻辑跑偏。你排查了三个小时怎么都想不通那个变量到底是被谁改的。

如果你遇到过这种情况。别怀疑自己的排查能力——你不是在跟逻辑 Bug 斗争，你是在跟栈内存布局斗争。今天我们就来扒开 VS2013 在 Debug 模式下栈上变量的内存布局，看看数组越界到底是怎么"幽灵般"影响你程序的。

先跑一个"看起来没事"的越界代码

让我们在 VS2013 里新建一个控制台项目，写入下面这段代码。注意，由于 VS2013 默认采用 C89 标准。变量声明必须全部写在函数块的最开头：

#include 
int main
{
int arr = {1,2,3,4,5};int secret = 99;int i，printf;/* 故意越界写入 */
for
{
arr = i * 10;printf，}
printf;说起来，return 0;}

按下 F5 编译运行，VS2013 没有报任何错误。 怎么说呢，控制台输出了 arr到 arr全部的值。程序正常退出，连个警告都没有。但你会看到的观点是，

• 越界之前的 secret 是99
• 越界之后的 secret变成了4或者6

secret变量你从头到尾没有碰过它，它的值却自己变了。是不是很诡异，

背后的"幽灵"：栈内存布局

在 VS2013 的 Debug 模式下局部变量在栈上的排列顺序并不是随机的。编译器会根据变量声明的先后顺序，依次把它们压到栈上。这里有一个关键点——栈是向下生长的

什么意思？就是说后声明得变量位于更低得内存地址.

低内存地址
├── i ←最终声明 地址最低
├── secret ←中间声明 地址居中
├── arr ←数组最高下标
├── arr
├── arr
├── arr
├── arr ←最先声明 地址最高
高内存地址
看到了吗？secret得地址刚好紧挨在arr得下方.说白了当我写入arr时.我已经踩到了secret这个可怜得小子!

"为什么不直接崩溃?"——C语言设计哲学揭秘"

• "C语言就是这么任性:不检查边界.信任程序员!"

cpp //这根本不是数组访问!//这就是针运算，arr == *

"我该怎么办?话说回来，防御性编程救命!"-实用方法清单"

1. 宏定义法

cpp

int main{ int array;for{ array=i*i;} }

1. 断言大法好!assert必备技能，老实说，

//每次访问前做防御检查!assert，value = array;

1. VS专属武器的观点是，/RTCs运行时检查启动!怎么说呢，

• "项目属性->C/C++->代码生成->基本运行时检查"
• "选择两者"
• "Stack around variable 'xxx' was corrupted."-终极提示!

+++++ output/***arrayoutofboundsdoesnotalwayscauseacrash.md.html

+++++ output/***arrayoutofboundsdoesnotalwayscauseacrash.md.txt.html.html.md.html.txt.html.txt.md.txt.txt.html.txt.txt.md.txt.html.md.html.htm.lhtml.md.htm.lhtm.lmd.htm.lhtml.htm.lhtm.lmd.htm.lhtm.lhtml.htm.lhtm.lmd.htm.lhtml.mdht.mlmd.htm.mlhtm.mldhtm.mlmd.h.tm.ldhtmmldtmldhtmlmdtmmdlhtmmldtmmdlhttmmlmddtmmlhttmmlmdtmmdlhttmmlttmmlmdtttmlhttmmdltttmlhttmmdlttmtthtmltthtmllmtthtmltthtmmllmtthtmllmtthtmllmtthtml.tthtml.ttmhl.ttmhl.ttml.tthtml.ttmhl.ttml.tthtl.ttmhl.tthtl.ttml.tthtl.ttmlt.tthtl.tmtlt.tthtl.tmtlt.tmntl.