c语言函数返回数组的困惑和解读

#include<stdio.h>
int* function() {
	int a[5];
	a[0] = 1;
	a[1] = 2;
	a[2] = 3;
	return a;
}
int main() {
	int* b;
	b = function();
	//	printf("xxx\n");
	printf("第一次%d%d%d%d\n", b[0], b[1], b[2], b[3]);
	printf("第二次%d%d%d%d\n", b[0], b[1], b[2], b[3]);
}

第一次123-858993460
第二次-858993460-858993460-858993460-858993460

将注释的一行打开后：

xxx
第一次-858993460-858993460-858993460-858993460
第二次-858993460-858993460-858993460-858993460

好嘛，这次更是打印的和123毫无关系
接下来再看一个例子

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

int* createArray(int size) {
    int* arr = (int *)malloc(size * sizeof(int));  // 动态分配内存  
    if (arr == NULL) { // if malloc fails, arr will be NULL  
        printf("Memory allocation failed!\n");
        return 1; // return with error code  
    }
    for (int i = 0; i < size; i++) {
        arr[i] = i + 1; // 为数组元素赋值  
    }
    return arr;  // 返回指向动态分配内存的指针  
}

int main() {
    int* ptr = createArray(5);  // 接收指向动态分配内存的指针  
    for (int i = 0; i < 5; i++) {
        printf("%d ", ptr[i]);  // 打印数组元素  
    }
    free(ptr);  // 释放动态分配的内存  
    return 0;
}

解读

在C语言中，数组的生命周期取决于其定义方式。有两种常见的定义方式：在栈上定义数组和使用malloc在堆上定义数组。

在栈上定义数组：
当你在函数内部使用数组名和方括号[]来定义数组时，这个数组被创建在函数的栈帧上。这种类型的数组通常被称为局部变量。它们在函数被调用时创建，在函数返回时销毁。即使在函数调用期间对它们进行了修改，这些更改也仅在函数内部可见，对函数外部没有影响。

使用malloc在堆上定义数组：
当你使用malloc函数来分配数组时，这个数组是在堆上创建的。malloc会返回一个指向这块内存的指针。这种类型的数组的生命周期由程序员控制,显式地free掉。你需要在不再需要数组时显式地调用free来释放这块内存，否则可能会导致内存泄漏

除了使用malloc在堆上创建数组以外，还可以使用其它方式创建一个生命周期长的数组，比如使用static声明的静态变量，在C语言中，静态变量是存储在内存中的静态存储区（也称为静态内存区）中的。静态存储区是在程序执行期间一直存在的，即使程序结束，这些数据也不会被释放。