将本地炭指针返回数组不会导致segmantation故障

Question

为什么此代码不引起细分故障？ 我认为函数返回后，将删除本地变量的内容。

char* test(){
    char buffer[BUFSIZ] = "Hello";
    char* word = buffer;

    return word;
}

int* test2(){
    int x = 10;
    int *ptr = &x;

    return ptr;
}

int main() {
    char* str = test();
    printf("str : %s\n", str);

    int *ptr = test2();
    printf("ptr : %d\n", *ptr);

    return 0;
}

Answer 1

该程序具有不确定的行为，因为在退出功能后，功能中声明的自动存储持续时间的变量尚未活着。

该程序可以输出预期的结果，因为变量占据的内存尚未覆盖。

例如，如果要更改程序以下方式

#include <stdio.h>

char* test(){
    char buffer[BUFSIZ] = "Hello";
    char* word = buffer;

    return word;
}

char* test1(){
    char buffer[BUFSIZ] = "Bye";
    char* word = buffer;

    return word;
}


int main( void ) {
    char* str = test();
    printf("str : %s\n", str);

    char* str1 = test1();
    printf("str1 : %s\n", str1);

    printf("str : %s\n", str);

    return 0;
}

，则其输出可能看起来像是

str : Hello
str1 : Bye
str : Bye

函数test1的调用，导致覆盖记忆的记忆，由指向指针指向的阵列占用的阵列> str。

Answer 2

我认为函数返回后，将删除本地变量的内容。

C没有这样的规则。它没有“删除”操作。

创建对象时，为其保留内存。这只是意味着可以安排一些特定的内存来存储对象的值，而其他任何内容都不会使用该内存。在典型的C实现中，硬件堆栈上的某些内存用于自动对象（自动对象（变量的对象定义了不是静态或线程局部的函数）。

当对象的寿命结束时，就像函数返回时，该内存不再保留。

这就是C标准的所有保证：内存不再保留。它不能保证将删除内存，清除内存或立即为其他目的重用内存。这就像在酒店房间里退房一样：您退房的那一刻，酒店的客房工作人员可能会冲进房间并清理房间，或者他们在做其他工作时可能会离开它。

当您使用不再保留的内存时，C标准不会定义行为。此外，如果您有指向对象的指针，则如果在对象结束后使用指针的值，则C标准将无法定义行为。

当C标准无法定义行为时，它对程序的行为没有任何要求。如果程序将数据留在内存中并在尝试使用时获取其值，则符合C标准。如果程序在函数退出时覆盖内存并且对象的值已消失，则还符合C标准。通常，C环境不会为您管理事情；编写符合规则的代码是您的工作。