Answers:
堆栈帧是被推入堆栈的数据帧。在调用堆栈的情况下,堆栈帧将表示函数调用及其参数数据。
如果我没记错的话,函数的返回地址首先被压入堆栈,然后是局部变量的参数和空间。尽管这可能取决于体系结构,但它们共同构成了“框架”。处理器知道每个帧中有多少字节,并在将帧压入并弹出堆栈时相应地移动堆栈指针。
较高级别的调用堆栈和处理器的调用堆栈之间有很大的区别。
当我们谈论处理器的调用堆栈时,我们谈论的是在汇编或机器代码中以字节/字级别使用地址和值。在谈论高级语言时,有“调用堆栈”,但是它们是运行时环境管理的调试/运行时工具,因此您可以(在较高级别)记录程序出了什么问题。在此级别上,通常知道行号,方法和类名之类的东西。到处理器获得代码时,它完全没有这些东西的概念。
如果您非常了解堆栈,那么您将了解内存在程序中的工作方式,如果您了解内存在程序中的工作方式,则将了解函数在程序中的存储方式,如果您了解函数在程序中的存储方式,则将了解递归函数的工作方式以及是否您了解递归函数的工作原理,您将了解编译器的工作原理,如果您了解编译器的工作原理,那么您的想法将像编译器一样工作,并且您将很容易调试任何程序
让我解释一下堆栈是如何工作的:
首先,您必须知道函数如何在堆栈中表示:
堆存储动态分配的值。
堆栈存储自动分配和删除值。
让我们用例子来理解:
def hello(x):
if x==1:
return "op"
else:
u=1
e=12
s=hello(x-1)
e+=1
print(s)
print(x)
u+=1
return e
hello(4)
现在了解该程序的各个部分:
现在让我们看看什么是堆栈以及什么是堆栈部分:
堆栈分配:
记住一件事:如果任何函数的返回条件都得到满足,则无论它是否加载了局部变量,它都会立即从其堆栈框架中返回。这意味着只要任何递归函数都满足基本条件,并且在基本条件后放一个返回值,基本条件就不会等待加载位于程序“其他”部分的局部变量。它将立即从堆栈中返回当前帧,随后下一帧现在处于激活记录中。
在实践中看这个:
块的解除分配:
因此,现在无论何时函数遇到return语句,它都会从堆栈中删除当前帧。
从堆栈中返回时,将以与原始值相反的顺序返回值。
hello()
已经递归调用了hello()
,然后又再次(递归)调用hello()
了全局框架,而全局框架是调用第一个hello()
?
快速总结。也许有人有更好的解释。
调用堆栈由1个或多个堆栈帧组成。每个堆栈帧对应于对尚未以返回终止的函数或过程的调用。
要使用堆栈框架,线程保留两个指针,一个称为堆栈指针(SP),另一个称为帧指针(FP)。SP始终指向堆栈的“顶部”,而FP始终指向框架的“顶部”。此外,该线程还维护一个程序计数器(PC),该计数器指向要执行的下一条指令。
以下内容存储在堆栈中:局部变量和临时变量,当前指令的实际参数(过程,函数等)
关于清理堆栈有不同的调用约定。
“调用堆栈由堆栈框架组成...”- Wikipedia
堆栈框架是您放在堆栈上的东西。它们是包含有关要调用的子例程的信息的数据结构。
程序员可能对栈框架的疑问不是广义的(它是栈中的一个单一实体,仅服务于一个函数调用,并保留返回地址,自变量和局部变量),而是从狭义上讲–当该术语stack frames
在编译器选项的上下文。
这个问题的作者是否有这个意思,但是从编译器选项的角度来看,堆栈框架的概念是一个非常重要的问题,此处其他答复均未涉及。
例如,Microsoft Visual Studio 2015 C / C ++编译器具有与以下内容有关的以下选项stack frames
:
GCC具有以下内容:
英特尔C ++编译器具有以下功能:
具有以下别名:
Delphi具有以下命令行选项:
从特定的角度来看,从编译器的角度来看,栈帧只是例程的入口和出口代码,它将锚点压入栈-也可以用于调试和异常处理。调试工具可以扫描堆栈数据,并使用这些定位符进行回溯,同时定位call sites
在堆栈中,即,以分层调用它们的顺序显示功能名称。对于英特尔架构,它是push ebp; mov ebp, esp
或enter
表示进入,mov esp, ebp; pop ebp
或leave
表示退出。
这就是为什么对于程序员而言,了解编译器选项中的堆栈框架非常重要的原因-因为编译器可以控制是否生成此代码。
在某些情况下,编译器可以省略堆栈帧(例程的进入和退出代码),并且将直接通过堆栈指针(SP / ESP / RSP)而不是便捷的基本指针(BP / ESP / RSP)。省略堆叠框架的条件,例如:
省略堆栈帧(例程的进入和退出代码)可以使代码更小,更快,但是也可能会对调试器回溯堆栈中的数据并将其显示给程序员的能力产生负面影响。这些是编译器选项,这些选项确定函数应在哪些条件下具有进入和退出代码,例如:(a)始终,(b)从不,(c)需要时(指定条件)。
堆栈帧是与函数调用相关的打包信息。此信息通常包括传递给函数的参数,局部变量以及终止时返回的位置。激活记录是堆栈框架的另一个名称。堆栈帧的布局由制造商在ABI中确定,并且支持ISA的每个编译器都必须符合此标准,但是布局方案可能取决于编译器。通常,堆栈帧的大小不受限制,但是有一个称为“红色/保护区”的概念,允许系统调用...执行,而不会干扰堆栈帧。
总是有一个SP,但是在某些ABI(例如ARM和PowerPC)上,FP是可选的。仅可以使用SP抵消需要放置到堆栈中的参数。是否为函数调用生成堆栈帧取决于参数的类型和数量,局部变量以及通常如何访问局部变量。在大多数ISA上,首先使用寄存器,并且如果参数要多于专用于传递参数的寄存器,则这些参数将被放置到堆栈中(例如x86 ABI有6个寄存器用于传递整数参数)。因此,有时某些功能不需要将堆栈框架放在堆栈上,只需将返回地址压入堆栈即可。