顾名思义，stackoverflow就是是栈溢出了。在进行数值运算时，我们常常要和运算结果的溢出营队打交道。数值运算结果可能上溢(overfl剂啊土罗李划角可求ow)，也可能是下溢(underflow)。不过栈的溢出显然只可能是上溢，即栈空间被用完了。在提起“栈”(stack)这个概念的时候，千万不要忘记了它的兄弟“堆”(heap)，也要切记不要把二者搞混了。
那么，什么时候会把给用完了呢?如果我们记得钟举传所先市C程序中的局部变量是在栈中于果员笔分配的，函数调用会占用一部分还完栈空间，则可以很容易地构造出相应的测试用例。
1、定义占用空间过大的局部变量所导致我低之难接属末事修的栈溢出
C:\>mor落无么不信哪estack_l防价担查班ocal.c
/*
*Allocatetoomuchmemoryfromstackwillcausestackoverflow.
*/
#include<stdio.h>
intmain(intargc,cha只威吸艺离材检修加支r*argv[])
{
intfoo[1000000];
return0;
}
C:\>clstack_local.c
Microsoft(R)32-bitC各导学入凯钱含运余称/C++OptimizingCompilerVersion14.00.50727.滑限买量42for80x86
Copyright(C)MicrosoftCorporation.Allrightsreserved.
stack_local.c
Microsoft(R)IncrementalLinkerVersion8.00.50727.42
Copyright(C)MicrosoftCorporation培材.Allrightsre季乡可字知千制跳顺刘served.
/out:stack_local.exe
stack_local.obj
C:\>stack_local
此时出现一个异常对话框:stack-local.jpg。
2、函数递归调用导致的栈溢出
C:\>morestack_recursive.c
成范官此致/*
*Infiniterecursivecallswillleadtostackoverflowsoon.
*/
#include<stdio.h>
staticvoidfoo(void);
static一夜双经到voidbar(void);
intmain(intargc,char*argv[])
{
foo();
return0;
}
staticvoidfoo(void)
{
bar();
}
staticvoi载指顶渐争式行频岁dbar(void)
{
foo();
}
C:\>clstack_recursive.c
Microsoft(R)32-bitC/C++OptimizingCompilerVersion14.00.50727.42for80x86
Copyright(C)MicrosoftCorporation.Allrightsreserved.
stack_recursive.c
Microsoft(R)IncrementalLinkerVersion8.00.50727.42
Copyright(C)MicrosoftCorporation.Allrightsreserved.
/out:stack_recursive.exe
stack_recursive.obj
C:\>stack_recursive
该程序没声没息就结束了。查看进程返回值能发现它其实是异常终止了。只不过没有像stack_local那样弹出一个对话框。
C:\>echo%errorlevel%
-1073741819
要搞清楚这两个程序为什么有这点细微的区别，可以查阅一下二者的汇编代码。原来是_chkstk()在起作用，其中stack_local在程序初始加载时就会导致_chkstk()失败，触发异常。而stack_recursive可以正确加载，并运行一段时间，然后导致栈溢出，并触发异常。
要正确处理栈溢出采用以下办法:
(1)修正我们的程序，不要造成无穷递归或太深的递归。我们可以把某些递归代码非递归化，例如那个经典的qsort，最好就用非递归的算法来实现，就比较皮实一点。
(2)修正我们的程序，不要定义过大的局部变量，特别是在定义大结构、大数组时要格外小心。有时我们可能会用_alloca()这样的特殊函数直接在栈上分配空间，更要多加注意。
(3)利用编译器的特性，将进程允许的栈大小设置得大一些。例如可以采用MSC中的/STACK参数开关。
(4)对于那些还可能导致栈溢出的代码，采用Microsoft的结构化异常处理或标准的C++异常处理机制，结合_resetstkoflw()进行处理。当然了，要是不嫌麻烦，我们也可以自己探测所用栈的大小，动态地检测是否可能导致栈溢出，以避免可能的异常。
标签：stack,ove,rflow
