c++ - 局部变量的安全

标签 c++ c

<分区>

以下函数是否安全，返回一个指向局部变量的指针？

int * foo(void)
{
    int a = 6;
    int *p = &a;
    return p;
}

如果不是，在什么条件下？如果是，编译器如何保证安全性？

尝试过的测试用例:

int * foo(void)
{
    int a = 6;
    int *p = &a;
    return p;
}

int * bar(void)
{
    int b = 7;
    int *p = &b;
    return p;
}

int main()
{
    int a = *foo();
    int b = *bar();
    printf("%d, %d, %d\n", 1, 2, 3); //to mess up stack
    printf("%d, %d\n", a, b);
    return 0;
}

它将成功打印“6, 7”。然而，对于 -O2，它会打印“0, 0”

最佳答案

这样做的结果将是未定义的行为，而且绝对不安全。

a 是函数的局部变量(即:自动变量)，因此它存储在堆栈中。当函数返回时，栈帧被上移(或下移)，剩下的内存可能会被下一个调用的函数覆盖，因此指针将指向内存中的相同方向，但可以是任何随机字节。

关于c++ - 局部变量的安全，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/21955795/