我编写了一个返回数组的函数，但我知道应该返回动态分配的指针。然而，我仍然想知道当我返回在函数内部声明的数组（未将其声明为静态）时会发生什么，当我注意到内部数组的内存没有被释放并成功将这个数组返回给主函数时，感到很惊讶。
主函数：
int main()
{
int* arr_p;
arr_p = demo(10);
return 0;
}
并且这个函数：
int* demo(int i)
{
int arr[10] = { 0 };
for (int i = 0; i < 10; i++)
{
arr[i] = i;
}
return arr;
}
当我解引用arr_p，我可以在demo函数中看到0-9整数集。
arr_p时，我看到它的地址与demo函数中的arr相同？demo_p指向的数据（0-9数字）不是已经在demo函数中释放了？我期望demo内部的arr将在我们退出demo作用域时被释放。arr 是在函数 demo 中的一个本地变量，当你从函数返回时，它将被销毁。由于你返回了指向该变量的指针，所以该指针被称为“悬挂指针（dangling pointer）”。对指针进行间接引用会导致你的程序出现“未定义行为”。
修复这个问题的一种方法是使用 malloc 函数分配所需的内存。
例子：
#include <stdio.h>
#include <stdlib.h>
int* demo(int n) {
int* arr = malloc(sizeof(*arr) * n); // allocate
for (int i = 0; i < n; i++) {
arr[i] = i;
}
return arr;
}
int main() {
int* arr_p;
arr_p = demo(10);
printf("%d\n", arr_p[9]);
free(arr_p) // free the allocated memory
}
输出：
9
为什么
demo_p指向的数据(0-9数字)在demo之外已经被释放了，我原以为demo内部的arr会在我们退出demo作用域时被释放。
arr对象的生命周期已经结束，在读取先前由arr占用的内存地址时，程序将出现未定义行为。您可能能够看到旧数据，或者程序可能崩溃 - 或做完全不同的事情。 任何都有可能发生。
arr_p 中已经导致了未定义行为。悬空指针具有不确定的值，可能是陷阱表示。 - M.Mint arr[10] = { 0 }; 出现在函数内部时，它定义了一个在函数开始执行时自动分配的数组（或在某些嵌套作用域内部分别执行）。这通常通过调整堆栈指针来完成。在常见系统中，程序有一个称为堆栈的内存区域，堆栈指针包含一个地址，标记当前已为其保留使用的堆栈部分的末尾。 当函数开始执行时，堆栈指针被更改以为该函数的数据保留更多的内存。 当函数执行结束时，堆栈指针被更改以释放该内存。arr_p 的值是 arr 所具有的地址，并且在该内存中看到旧数据的原因。arr 中的数据将消失。初学者经常遇到的一个常见例子是：int main(void)
{
int *p = demo(10);
// p points to where arr started, and arr’s data is still there.
printf("arr[3] = %d.\n", p[3]);
// To execute this call, the program loads data from p[3]. Since it has
// not changed, 3 is loaded. This is passed to printf.
// Then printf prints “arr[3] = 3.\n”. In doing this, it uses memory
// on the stack. This changes the data in the memory that p points to.
printf("arr[3] = %d.\n", p[3]);
// When we try the same call again, the program loads data from p[3],
// but it has been changed, so something different is printed. Two
// different things are printed by the same printf statement even
// though there is no visible code changing p[3].
}
printf时，堆栈指针会发生变化。当printf返回时，它会返回到先前的值。Visual Studio在观察到本地对象的地址被返回时提供警告（C4172）。该警告包含在警告级别1（开关/W1）中，并且似乎已包含在默认设置中。使用/WX将警告提升为错误。 - Eric Postpischil因此，您可以通过在使用free()释放内存后重新初始化它来避免这种情况。或者，您还可以使用malloc()分配一些连续的内存块，或者在demo()中声明您的数组为静态数组。这将在局部函数成功退出时存储分配的内存常量。
谢谢您亲爱的。
#include<stdio.h>
#define N 10
int demo();
int main()
{
int* arr_p;
arr_p = demo();
printf("%d\n", *(arr_p+3));
}
int* demo()
{
static int arr[N];
for(i=0;i<N;i++)
{
arr[i] = i;
}
return arr;
}
OUTPUT : 3
#include <stdio.h>
#include <stdlib.h>
#define N 10
int* demo() {
int* arr = (int*)malloc(sizeof(arr) * N);
for(int i = 0; i < N; i++)
{
arr[i]=i;
}
return arr;
}
int main()
{
int* arr_p;
arr_p = demo();
printf("%d\n", *(arr_p+3));
free(arr_p);
return 0;
}
OUTPUT : 3
在尝试从函数中返回字符数组时，我也遇到了类似的情况。但我总是需要一个固定大小的数组。
通过声明一个具有固定大小字符数组的结构体并从函数中返回该结构体来解决了这个问题：
#include <time.h>
typedef struct TimeStamp
{
char Char[9];
} TimeStamp;
TimeStamp GetTimeStamp()
{
time_t CurrentCalendarTime;
time(&CurrentCalendarTime);
struct tm* LocalTime = localtime(&CurrentCalendarTime);
TimeStamp Time = { 0 };
strftime(Time.Char, 9, "%H:%M:%S", LocalTime);
return Time;
}