堆栈和堆中的变量

Question

根据本文所写的内容

http://gribblelab.org/CBootcamp/7_Memory_Stack_vs_Heap.html#sec-6

理解堆栈的一个关键是，当一个函数 退出，它的所有变量都从堆栈中弹出（因此 永远失去）。因此堆栈变量本质上是局部的。

因此，堆栈中属于该函数的所有变量都被弹出，除了返回给函数的值（或者可能为父函数重新分配？），或者它不是静态的。

但是这个特殊的程序完全可以正常工作。

#include<stdio.h>

int* func()
{
int a=6;
int *b;
b=&a;
printf("in func - %d \n",*b);

return b;
}

void func2()
{
    int a,c;
    a=99;
    c=2*a;
    printf("in func 2 - %d \n",c);
}

void main()
{
int *b;
b=func();
func2();
printf("in main - %d",*b);
}

输出：

C:\Users\Shaurya\Desktop>gcc asw.c

C:\Users\Shaurya\Desktop>a
in func - 6
in func 2 - 198
in main - 6
C:\Users\Shaurya\Desktop>

我认为用户分配的变量（使用 calloc、malloc、realloc）可以被其他函数访问，因为它们在堆中，正如文章所说。 但是，如果我们创建一个指向堆栈中的局部变量的指针，并返回该指针，那么该变量也可以在其他函数中访问。

Answer 1

您正在返回地址，它看起来是正确的，因为没有任何东西可以替换该位置的内存内容。不保证会出现这种情况。如果你在 func 和 printf 之间调用一个函数，那么你可能会得到不同的结果

Answer 2

通过返回局部变量的地址（并尝试在调用者中取消引用它），您的程序会调用未定义的行为。未定义行为的一种可能结果是您的程序似乎可以正常工作。但是，如果您更改代码以在调用 func 和 printf 之间调用另一个函数（尤其是创建和设置局部变量的函数），您可能会得到不同的结果。

a 曾经占用的内存单元¹ 显然仍然存在，并且将包含a 的最后一个值，直到有其他东西覆盖它。你只是碰巧在其他任何东西到达之前访问了那个记忆单元。

---

^{1。我们在这里讨论的是虚拟内存，而不是物理内存。}