C++——变量的生命周期

1、栈上的变量

我们知道 局部变量、函数形参 都是分配到栈上面的。

比如下面 fun()函数中的变量，全都是分配到 栈 上面的，等到 fun()执行结束，对应的栈上的变量就自动销毁。

void fun(int x,int y){
    int a = 20;
    for(int i = 0;i < 5;i++){
        int b = 111;
    }
}

int main(){
    fun(10,20);
}

对应的汇编：

经过观察之后，我们会发现fun()函数内的所有变量，都存放在 $rbp+偏移量$ 的位置上。

这一块的内存，也就是我们所说的 栈 。

我们都知道，分配到栈上面的变量，都不需要我们手动销毁，编译器会自动帮我们回收这部分的内存（但实际上并没有被回收）。

比如说 b这个变量，按理来说，它的生命周期只有在 for循环的大括号内，出了大括号它就应该被销毁：

void fun(int x,int y){
    int a = 20;
    for(int i = 0;i < 5;i++){
        int b = 111;
    }
}

我们发现 b这个变量是存在 $[rbp-12]$ 这个位置中，而且也没有看到有对这个位置内存的回收动作，所以 b这个变量还是存在于内存中的。我们可以通过一个例子验证一下：

#include<iostream>
using namespace std;

void fun(int x,int y){
    int *p = nullptr;
    int a = 20;
    for(int i = 0;i < 5;i++){
        int b = 111;
        p = &b;
    }
    
    cout<<*p<<endl; //确实是打印出了变量 b 的值
}

int main(){
    fun(10,20);
}

另外也能解释为什么数组的大小需要是一个常量。

因为如果数组的大小是常量的话，我们就可以在编译阶段就计算出该数组需要开辟出多大的内存空间。

这个 sub rsp , 312就反应了我们定义的数组大小，如果我们再定义一个相同大小的数组，观察其变化：

我们发现其数字发生变化了，说明这个确实就是数组的大小。

2、堆上的变量

在C++中，如果我们想要使用动态内存，也就是想要使用堆空间的话，需要使用 new/malloc出来。

不过需要注意的一点是：new是C++中的一个运算符；而 malloc是 C/C++ 的标准库函数；

另外，编译器自己是不能申请动态内存的。必须由操作系统来申请动态内存。而对于操作系统分配的动态内存，编译器就不知道这些内存的位置，所以也就无法管理，所以动态内存才需要我们程序员手动管理（手动申请 和 释放），因为栈空间是由编译器管理的，所以我们不需要关心。

对于 new出来的动态内存，如果我们忘记了 delete就会造成内存泄漏。

对于 delete操作，我们虽然释放了对应的内存，但是操作系统只会把这块内存标记为没人使用了，并不会真正的删除该内存上的内容，等到下次再有人申请这块内存，操作系统直接给他就行，这样的话效率就高得多。

如果你不想手动释放，你可以将指针指向栈空间的变量上。

class Base{
    Base();
    int a = 10;
};

int main ()
{
  int arr[10];
  Base *p = (Base*)(arr + 1);
  
  return 0;
}

这样也能编译通过，但是不建议这么写。