C语言读取二进制文件最后一项时文件指针变为NULL的原因排查

核心问题：返回栈局部变量指针引发未定义行为 #

func1里的long int numbers[5]是栈上的局部数组，当函数执行到return numbers;时，当前函数的栈帧会被销毁，这块内存会被操作系统回收或被后续函数调用覆盖。你看到的FILE指针在func2返回后变为NULL，本质是栈内存被破坏导致的未定义行为——栈上的FILE* fp变量所在内存区域，可能被后续栈操作（比如func2返回后的栈清理、func1返回后的栈复用）意外改写，从而出现指针变为NULL的诡异现象。

次要问题：文件句柄泄漏 #

func1中return numbers;之后的fclose(fp);永远不会被执行，这会导致文件句柄无法正常关闭，造成资源泄漏。

其他潜在风险（非直接诱因，但需修复） #

• 未对fopen返回值做检查：如果文件打开失败，fp本身就是NULL，后续操作会直接崩溃
• fseek和fread未做错误处理：比如文件长度不足时，fread会读取失败，但当前代码没有判断返回值，可能读到无效数据

1. 避免返回栈局部变量指针：
   改用动态内存分配（malloc）存储数组，内存会在堆上，函数返回后不会被回收：

   long int * func1(char * filename, int numOflogInts)
   {
       long int *numbers = malloc(sizeof(long int) * numOflogInts);
       if (!numbers) return NULL; // 检查内存分配是否成功
       FILE* fp = fopen(filename,"rb");
       if (!fp) { // 检查文件是否打开成功
           free(numbers);
           return NULL;
       }
       for (int i = 0; i < numOflogInts; i++) {
           numbers[i] = func2(fp, i);
       }
       fclose(fp); // 现在该语句会正常执行
       return numbers;
   }
   

   注意：调用func1的地方需要记得调用free释放内存，避免内存泄漏。

2. 添加错误检查：
   在func2中增加fseek和fread的错误判断，确保读取操作正常：

   long int func2(FILE * fp, int place)
   {
       long int num = 0;
       if (fseek(fp, sizeof(long int) * place, SEEK_SET) != 0) {
           // 处理定位失败的情况，比如返回错误值
           return -1;
       }
       if (fread(&num, sizeof(long int), 1, fp) != 1) {
           // 处理读取失败的情况
           return -1;
       }
       return num;
   }
   

内容的提问来源于stack exchange，提问作者NoamiA