局部变量&&malloc函数&&生命周期的一些见解

最近在温习指针的部分时发现了一个有趣的问题,先看以下程序:

//1.c
#include<stdio.h>
int* fun()
{
    int t = 567;
    return &t;
}
int main()
{
    int *p;
    p = fun();
    printf("%d",*p);
}

当我把1.c运行后，发现输出结果是:567。此时编译器给出警告信息：返回值是局部变量的地址。

    首先，我们知道操作系统给函数分配的内存空间都是在栈中，当函数调用结束后，操作系统就会回收其内存空间。当然，这个过程包括回收函数内部的局部变量(局部变量也是存储在栈空间中)，而此处的"回收"是指销去变量名/函数名，并把其内存空间标记为可用。即操作系统可对该部分内存空间重新利用。但既然变量已经被回收了，为什么还能输出其值？

  对于此问题，我是这样认为的：

1.当变量的生命周期结束后，虽然变量该变量已不存在，但其之前分配的内存空间还在，也就是其地址还是之前变量的地址，而如果该部分内存空间在main函数结束之前都一直未被操作系统重新利用的话，它的数据没有被改写，那么此时输出*p的值还是之前变量的值。

2.虽然我输出的*p是567，但是不能保证每次输出的*p都是567。因为编译器和操作系统都无法保证这部分内存空间在main函数结束前一直都不会被利用，所以这种输出是不稳定的。实际上，此时的指针p相当于一个野指针