关于 C 语言中指针和自动存储持续时间的问题-解网

问：

我正在自己研究指针，对寿命有疑问。请看这个例子：

int* fun(){
    int arr[10];
    for(size_t c = 0;c<10;c++){
        arr[c] = c + 10;
    }
    return arr;
}


int main() {
    int* p;
    p = fun();
    printf("%p",p);
}

这个例子显然会打印一个空地址，因为数组在函数完成后被释放了。为了修复它，我尝试了 malloc 并且它奏效了。

成功后，我尝试了另一种代码：

#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <stdbool.h>

int* fun(){
    int arr[10];
    for(size_t c = 0;c<10;c++){
        arr[c] = c + 10;
    }
    int* arr2 = arr;
    return arr2;
}


int main() {
    int* p;
    p = fun();
    printf("%p",p);

}

根据我的研究，这个例子应该再次打印一个空地址，但它和 malloc 解决方案一样有效。我不明白为什么会这样。如果被释放，它的指针应该指向 null，对吧？int arr[10]

C 指针生存期存储持续时间

不。从函数返回的地址将是不确定的，这意味着它没有确定性值。它可能与以前的位置相同，但编译器可以自由地打印任何它喜欢的东西，或者将整个东西视为“陷阱表示”，这意味着当这种情况发生时，它可能会抛出异常/信号等。arr

当我在 gcc 中运行您的代码时，它决定打印“（nil）”输出。虽然 clang 认为“明显”的结果应该是 .该程序还不如打印出来，这也符合要求。0x7ffef0b3c8700xDEADBEEF

根据我的研究，此示例应再次打印一个空地址

你的研究是基于错误的结论。你看了一场车祸，它倒置着地，然后得出结论，当车祸时，它们总是倒着地。

在任一示例中，返回的指针的值都是不确定的。

来源

C17 6.2.4/2：

如果在对象生存期之外引用对象，则行为是未定义的。当指针指向（或刚刚过去）的对象达到其生存期的末尾时，指针的值将变得不确定。

C17 3.19.2：

不确定值：未指定的值
或陷阱表示形式

上一个：函数范围之外的动态分配

下一个：数组的元素在C编程中什么时候存储垃圾值？[复制]

关于 C 语言中指针和自动存储持续时间的问题

Question about pointers and automatic storage duration in C

评论