Question

我有一个简单的递归函数RCompare（），它调用一个更复杂的函数Compare（），它在递归调用之前返回。每个递归级别使用248个字节的堆栈空间，这似乎比它应该的更多。这是递归函数：

void CMList::RCompare(MP n1) // RECURSIVE and Looping compare function
{
  auto MP ne=n1->mf;
  while(StkAvl() && Compare(n1=ne->mb))
    RCompare(n1); // Recursive call !
}

StkAvl（）是一个简单的堆栈空间检查函数，它将自动变量的地址与存储在静态变量中的堆栈末尾附近的地址值进行比较。

在我看来，每次递归中唯一添加到堆栈的东西是两个指针变量（MP是指向结构的指针）和一个函数调用存储的东西，一些保存的寄存器，基本指针，返回地址等等，所有32位（4字节）值。它不可能是248字节吗？

我不知道如何在Visual Studio 2008中以有意义的方式实际查看堆栈。

由于

添加了反汇编：

CMList::RCompare:
0043E000  push        ebp  
0043E001  mov         ebp,esp 
0043E003  sub         esp,0E4h 
0043E009  push        ebx  
0043E00A  push        esi  
0043E00B  push        edi  
0043E00C  push        ecx  
0043E00D  lea         edi,[ebp-0E4h] 
0043E013  mov         ecx,39h 
0043E018  mov         eax,0CCCCCCCCh 
0043E01D  rep stos    dword ptr es:[edi] 
0043E01F  pop         ecx  
0043E020  mov         dword ptr [ebp-8],edx 
0043E023  mov         dword ptr [ebp-14h],ecx 
0043E026  mov         eax,dword ptr [n1] 
0043E029  mov         ecx,dword ptr [eax+20h] 
0043E02C  mov         dword ptr [ne],ecx 
0043E02F  mov         ecx,dword ptr [this] 
0043E032  call        CMList::StkAvl (41D46Fh) 
0043E037  test        eax,eax 
0043E039  je          CMList::RCompare+63h (43E063h) 
0043E03B  mov         eax,dword ptr [ne] 
0043E03E  mov         ecx,dword ptr [eax+1Ch] 
0043E041  mov         dword ptr [n1],ecx 
0043E044  mov         edx,dword ptr [n1] 
0043E047  mov         ecx,dword ptr [this] 
0043E04A  call        CMList::Compare (41DA05h) 
0043E04F  movzx       edx,al 
0043E052  test        edx,edx 
0043E054  je          CMList::RCompare+63h (43E063h) 
0043E056  mov         edx,dword ptr [n1] 
0043E059  mov         ecx,dword ptr [this] 
0043E05C  call        CMList::RCompare (41EC9Dh) 
0043E061  jmp         CMList::RCompare+2Fh (43E02Fh) 
0043E063  pop         edi  
0043E064  pop         esi  
0043E065  pop         ebx  
0043E066  add         esp,0E4h 
0043E06C  cmp         ebp,esp 
0043E06E  call        @ILT+5295(__RTC_CheckEsp) (41E4B4h) 
0043E073  mov         esp,ebp 
0043E075  pop         ebp  
0043E076  ret

为什么选择0E4h？

更多信息：

class mch // match node structure
{
public:
    T_FSZ c1,c2;   // file indexes
    T_MSZ sz;      // match size
    enum ntyp typ; // type of node
    mch *mb,*mf;   // pointers to next and previous match nodes
};

typedef mch * MP; // for use in casting (MP) x

应该是一个普通的旧指针吗？结构本身也是相同的指针，它们只是普通的4字节指针。

修改：已添加：

#pragma check_stack(off)
void CMList::RCompare(MP n1) // RECURSIVE and Looping compare function
{
  auto MP ne=n1->mf;
  while(StkAvl() && Compare(n1=ne->mb))
    RCompare(n1); // Recursive call !
} // end RCompare()
#pragma check_stack()

但它没有改变任何东西。：（

现在是什么？

Answer 1

请注意，在调试模式下，编译器会在每个函数上绑定堆栈中的许多字节捕获缓冲区溢出错误。

0043E003  sub         esp, 0E4h ; < -- bound 228 bytes
...
0043E00D  lea         edi,[ebp-0E4h] 
0043E013  mov         ecx, 39h 
0043E018  mov         eax, 0CCCCCCCCh ; <-- sentinel
0043E01D  rep stos    dword ptr es:[edi] ; <-- write sentinels

编辑： OP Harvey发现打开/关闭堆栈探测的编译指示。

check_stack

指示编译器关闭   如果关闭（或 - ），则堆栈探测   规定，
  或打开堆栈探针   如果指定了（或+）。

#pragma check_stack([ {on | off}] )
#pragma check_stack{+ | –}

更新：好吧，探索是另一个故事，因为它出现试试这个： /GZ (Enable Stack Frame Run-Time Error Checking)

Answer 2

这还取决于您正在运行的编译器和架构 - 例如它可以对齐256个字节以加快执行速度，因此每个级别使用变量+ 248填充的8个字节。

Answer 3

在Visual Studio中，您可以在监视（或注册）窗口中查看寄存器“esp”，即堆栈指针。在一个调用和下一个调用之间设置一个断点，以查看你消耗了多少堆栈。

在Visual Studio 2008中的调试模式上的pain函数中，每个函数调用它是16个字节。

Answer 4

我想必须为异常处理分配一些空间。你看过反汇编了吗？

为什么每次递归使用的堆栈空间如此之多？

4 个答案: