C++中的自动变量

Automatic variables in C++

本文关键字:变量 C++      更新时间:2023-10-16

可能重复:
在C++中,为什么要尽可能少地使用new

C++中的自动变量在哪里分配?堆上还是堆上?

此外,我在7.9中读到——堆栈和堆堆栈上分配的所有内存在编译时都是已知的。这是真的吗?这是否意味着只有静态内存分配发生在堆栈上?

此外,请提及链接,引用关于C++中内存分配的完整解释性文本。

C++没有堆栈或堆的概念,就语言而言,这是一个实现细节

话虽如此,我所知道的每一个实现都使用堆栈来管理局部变量的生存期。然而,许多局部变量最终可能完全存在于寄存器中,并且永远不会接触堆栈,并且一些局部变量可能会被完全优化。仅仅因为你声明了一个自动变量并不意味着它会被放在堆栈上。

例如

int main()
{
    int x = rand();
    int y = 2;
    cout << x << y << endl;
    return 0;
}

在这段代码中,在启用优化的情况下,变量y几乎肯定会被完全删除,而变量x可能会被赋予自己的寄存器。这两个变量中的任何一个都不太可能存在于堆栈中。

堆上不分配自动(本地(变量。它们要么存在于堆栈中,要么存在于寄存器中。

是的,所有的堆栈分配在编译时都是已知的。

您引用的链接实际上是描述c++如何处理内存的一个很好的资源。

是的,自动变量通常是在堆栈上分配的(C++标准没有指定"堆栈",但假设这一点足够安全(。

您可以使用alloca()函数使用堆栈来分配动态内存,但这不是一个很好的实践,在这个问题中更详细:为什么使用alloca((不被认为是一个好的实践?

除了在寄存器或堆栈中定位一些局部变量外,如果在编译时可以确定对象的可用寿命仅限于代码区域,则一些编译器可能会选择重用特定的寄存器或内存。

例如,

{
int a;
// do something with a
int b;
// do something with b but nothing with a
}

编译器会注意到a和b的大小相同,但在b的生命周期内,a不会在任何地方使用。编译器会将a和b映射到同一个内存(堆栈或寄存器(,从而节省一点空间。