自定义函数返回数组基地址后，main函数打印值异常问题排查

一、编译警告：指针类型不兼容 #

代码中p = &one_arr;这一行触发警告，原因是：

• one_arr是a行b列的二维数组，&one_arr的类型是int (*)[a][b]（指向整个二维数组的指针）；而p的类型是int*（指向单个int的指针），两者类型完全不匹配，编译器自然会抛出类型兼容警告。
• 正确的赋值方式应该是取二维数组第一个元素的地址：p = &one_arr[0][0];，或者利用数组隐式转换规则，写成p = (int*)one_arr;（二维数组会隐式转为指向第一行的指针，再强制转为int*）。

二、main函数打印垃圾值的核心原因 #

这是C语言中典型的局部栈内存失效问题：

• one_arr是ones函数内的局部自动变量，存储在函数的栈帧中。当ones函数执行完毕返回时，系统会销毁这个栈帧，回收对应的内存空间——这块内存不再属于one_arr，后续可能被其他栈操作（比如main函数的执行）覆盖。
• 函数内部打印正常，是因为此时ones的栈帧还未销毁，one_arr的内存仍有效；而main函数中访问返回的指针时，内存已经被回收，读取到的就是被覆盖后的垃圾值。

三、修正后的代码 #

改用动态内存分配（堆内存）来创建数组，堆内存不会随函数返回而销毁，能保证返回的指针有效：

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

int *ones(int a, int b){
    // 动态分配a*b个int大小的内存
    int *one_arr = malloc(a * b * sizeof(int));
    if (!one_arr) { // 检查内存分配是否成功
        perror("malloc failed");
        exit(EXIT_FAILURE);
    }
    
    // 填充数组为1
    for(int i=0; i<a*b; i++){
        one_arr[i] = 1;
    }

    int *p = one_arr;
    for(int i=0; i<a*b; i++){
        printf("%p -- %d\n", p+i, *(p+i));
    }
    return p;
}

int main(){
    int a=3, b=3;
    int* p;
    p = ones(a,b);
    printf("\n");

    for(int i=0; i<a*b; i++){
        printf("%p -- %d\n", p+i, *(p+i));
    }
    free(p); // 记得释放动态分配的内存，避免内存泄漏
}

修正要点： #

1. 使用malloc在堆上分配内存，函数返回后内存依然有效；
2. 统一指针类型为int*，避免类型不兼容问题；
3. 添加内存分配失败的检查，增强代码健壮性；
4. main函数中使用完内存后调用free释放，避免内存泄漏。

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