问题描述
如果我们谈论静态内存分配,据说它是在编译时分配的,但实际上编译器只是处理此内存分配,而实际上仅在程序开始时分配。例如,编译器可能会在已编译的二进制文件中创建一个较大的data
节,并且当程序加载到内存中时,程序data
段内的地址将用作分配内存的位置
如果我谈论自动内存分配,则在控件进入新作用域时进行自动分配。现在我的疑问是,在这种情况下,编译器是否也会出现,并将一些虚拟地址传递到已编译的二进制文件中,该虚拟地址随后会在运行时成为实际分配的内存的地址,还是仅在运行时分配此内存,而没有像编译器那样发挥任何作用。动态内存的分配方式?
如果我有一些局部变量,如:
int a = 10;
它将具有编译时间分配还是运行时间分配?
解决方法
自动分配在运行时发生,尽管它的性质非常特定于系统。自动存储持续时间变量可能最终存储在寄存器中,在堆栈中或完全被优化。
如果它们确实出现在堆栈中,则编译器会为分配变量的函数创建一个局部作用域偏移量。也就是说,该变量可能称为SP + 8
或类似名称,其中SP是堆栈指针。输入该函数时,哪个函数可以保留任何值-编译器或机器代码不知道或不在乎这,这就是为什么存在堆栈溢出的原因。
您可能会发现这很有用:What gets allocated on the stack and the heap?。
,本地变量存储在内存中时会被放置在堆栈上。
通常,函数的总堆栈大小要求是在编译时计算的。 然后,在输入函数时,会针对函数的整个堆栈大小向下调整堆栈指针-堆栈通常从较高的地址向较低的地址增长。
为每个局部变量分配一个当前堆栈帧内的地址,并且通常使用内存访问指令来访问它们,该指令以给定的当前堆栈指针偏移量读取或写入内存。
但是,在优化的构建中,局部变量通常也保存在CPU寄存器中(只要有足够的可用寄存器),而不必完全存储在内存中。这样做的目的是避免访问内存以加速程序。寄存器分配(编译器选择将哪些变量存储在寄存器中以及哪个寄存器用于哪个变量)取决于编译器确实分析了变量的生存期以及使用了多少变量。