C程序返回栈数组指针触发Valgrind条件跳转错误排查解决

DevOps 小满

2026-8-30

错误根因

代码触发C语言典型的*悬空指针（野指针）*错误，核心问题出在栈内存生命周期管理逻辑错误：

array函数内定义的int series[length]是变长局部数组，内存分配在array函数对应的栈帧上，生命周期仅在array函数执行期间有效。
array函数执行完成返回时，对应的栈帧会被系统自动回收，这块内存的所有权交还给系统，后续可被任意函数调用随意覆写。
返回的s指针指向已经被回收的栈内存地址，主函数中通过该指针访问内存属于标准未定义行为：
- 普通运行时能输出正确结果，只是因为函数返回初期栈上的旧数据未被新操作覆写，属于概率性现象，一旦中间插入其他栈操作（比如printf内部的执行逻辑），数据就会被篡改。
- Valgrind报出的Conditional jump or move depends on uninitialised value(s)和Use of uninitialised value of size 8两类错误，本质是检测到程序访问了已释放、不再合法持有的栈空间，该空间的内容逻辑上已经失效，因此判定为访问未初始化值。
- 改用malloc实现时无报错，是因为malloc分配的是堆内存，堆内存生命周期由程序员手动控制，不会随函数返回自动回收，指针指向的内存始终处于合法持有状态。

原始问题代码如下：

//creating array in a different function with pointer help//
#include<stdio.h>

int *array(int length);

int main(void)
{
 int i, length, *p = NULL;

 printf("enter array length:");
 scanf("%i", &length);

 //passing array length to function and receiving the pointer to first element of array//
 p = array(length);

 //printing array elements with pointer help//
 printf("created array:");

 for(i = 0; i < length; i++)
 {
     printf("%i ", *(p+i));
 }

 printf("\n");

}

//function to enter values in array//

int *array(int length)

{
 
 int i, *s = NULL, series[length];

 //asking user to put values in array//
 for(i = 0; i < length; i++)
 {
     printf("entry %i:", i+1);
     scanf("%i", &series[i]);
 }

 //pointer pointing to first element of array//
 s = &series[0];
 return s;
 }

可行修复方案

动态内存分配（已验证可行）
在array函数内用malloc申请堆内存存储数组，堆内存不会随函数返回自动释放。注意主函数使用完数组后必须调用free释放内存，避免内存泄漏。修改后的array函数核心逻辑：
```
int *array(int length)
{
  int i, *s = malloc(length * sizeof(int));
  for(i = 0; i < length; i++)
  {
      printf("entry %i:", i+1);
      scanf("%i", &s[i]);
  }
  return s;
}
// 主函数遍历打印完成后需追加 free(p); 释放堆内存
```

由调用方提供数组存储空间
把数组定义在主函数栈上，将数组地址作为参数传入填充函数，从根源上避免返回局部栈地址。修改后的核心逻辑：

// 修改函数签名，接收数组指针作为填充目标
void array(int length, int *series)
{
  int i;
  for(i = 0; i < length; i++)
  {
      printf("entry %i:", i+1);
      scanf("%i", &series[i]);
  }
}

int main(void)
{
  int i, length;
  printf("enter array length:");
  scanf("%i", &length);
  int series[length];
  array(length, series);
  // 后续直接遍历series数组即可，无需额外中转指针
  printf("created array:");
  for(i = 0; i < length; i++)
  {
      printf("%i ", *(series+i));
  }
  printf("\n");
  return 0;
}

静态局部数组（不推荐）
如果数组长度为编译期可确定的固定值，可以将series声明为static静态局部变量，静态变量存储在全局数据段，生命周期贯穿程序全程，返回的地址不会失效。但这种方式不支持C99变长数组，且多线程环境下存在数据竞争问题，仅适合单线程固定长度的极简场景。

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