栈空间不够会报错吗_C++ 什么时候进行“栈内存检查”？

一群不懂瞎答的

visual c++编译器会在栈空间过大时转为用_alloca()分配内存，而_alloca()的位置是在函数第一条语句前，用微软的官方话来讲，叫做prolog(对应的函数最后一条语句后——包括隐含的c++destructor之后——的部分叫做epilog)。

然后在_alloca()中会调__stack_probe()(名字可能不对，手机作答懒得查了)，其作用是按照页大小(4k)依次“访问”栈上的内存，这时就分三种情况，按顺序依次进入这三个阶段:

如果在页表内，相当于啥也不做

如果不在页表内，触发缺页中断，os捕捉到中断判断没爆出栈最大大小，分配新的页表entry，使这个地址的变为可用

接下来，如果爆栈了，os就不分配新的内存了，而是抛爆栈的异常给用户程序

这就是你看到的第二条的现象的原因了，在prolog中的_alloca()调用__stack_probe()触发爆栈

而且如果你仔细看那个地址，应该不是你的10000*10000

(第一条原因是，_alloca和__stack_probe都是纯汇编的隐藏函数，所以你当然看不到源代码了)划掉，看错题主第一个问题了，以为是vs2019调试为啥提示找不到源代码(手机作答真不方便，喷一波知乎app)

第一条如果是vscode的话，那就要实际看vscode用的工具链了，我估计clang+mingw-w64也有类似的检测，但是你的clang+mingw-w64工具链是你直接安装的不是自己编译的，那么这部分(嵌入的prolog中用到的函数属于工具链自带lib的函数)的源代码自然也就找不到(vs2019如果你默认安装的话，会把msvcrt的源代码一同安装好的)

第三条，编译器不会检查爆栈，爆栈本身是运行时的行为编译器也没法检查。但是如上文提到，vc++会在它认为需要的时候嵌入运行时检查爆栈的代码

以上内容除大内存分配改用_alloca()以外，没有官方文档，自己看msvcrt里面的纯汇编部分理解