C语言跨函数使用malloc初始化变量出现垃圾值问题求助

你的代码输出垃圾值的核心问题是：函数内部修改的是指针参数的副本，而非传入的原始变量的地址。

具体分析 #

当你在main里调用int_init(&x)时，是把栈变量x的地址传给了函数的形参x（这是一个独立的指针变量，只是拷贝了传入的地址）。但在int_init函数里执行x = malloc(sizeof(int));时，你把动态分配的内存地址赋值给了这个形参x——这时候形参x指向的已经是新的堆内存，和main里的栈变量x完全没关系了。后续的*x = 7只是给堆里的那块内存赋值，而main里的x还是未初始化的栈变量，自然输出随机的垃圾值。

针对需求的解决方案 #

场景1：需要使用malloc分配内存（符合项目要求）

如果你的目标是让程序使用动态分配的内存存储数值7，需要传递指针的指针（二级指针），这样才能修改main里指针变量的指向：

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

void int_init(int **x) {
    // 给main里的指针变量分配堆内存
    *x = malloc(sizeof(int));
    // 必须检查malloc是否成功，避免空指针访问
    if (*x == NULL) {
        perror("malloc failed");
        exit(EXIT_FAILURE);
    }
    // 给堆内存赋值
    **x = 7;
}

int main(void) {
    int *x; // 这里定义成指针，用来指向动态分配的内存
    int_init(&x);
    printf("X: %d", *x);
    free(x); // 动态分配的内存必须手动释放，防止内存泄漏
    return 0;
}

场景2：仅需修改栈变量的值（malloc无必要，但如果误读需求可用）

如果你的实际需求只是给main里的栈变量x赋值7，那完全不需要malloc，直接修改传入地址指向的变量即可：

#include <stdio.h>

void int_init(int *x) {
    *x = 7; // 直接修改传入地址对应的变量
}

int main(void) {
    int x;
    int_init(&x);
    printf("X: %d", x);
    return 0;
}

结合你项目的补充说明 #

你提到项目中是包含动态分配数组的结构体，正确的做法应该是动态分配结构体本身，或者结构体内部的数组成员。示例代码如下：

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

typedef struct {
    int *arr;    // 动态分配的数组
    int arr_size;// 数组大小
} MyStruct;

void init_struct(MyStruct **s, int size) {
    // 先分配结构体本身的内存
    *s = malloc(sizeof(MyStruct));
    if (*s == NULL) {
        perror("malloc struct failed");
        exit(EXIT_FAILURE);
    }
    // 再分配结构体内部数组的内存
    (*s)->arr = malloc(sizeof(int) * size);
    if ((*s)->arr == NULL) {
        perror("malloc array failed");
        free(*s); // 结构体分配成功但数组失败，要释放结构体避免泄漏
        exit(EXIT_FAILURE);
    }
    (*s)->arr_size = size;
    // 给数组赋值示例
    for (int i = 0; i < size; i++) {
        (*s)->arr[i] = i + 1;
    }
}

int main(void) {
    MyStruct *my_struct;
    init_struct(&my_struct, 5);
    
    printf("结构体数组内容：");
    for (int i = 0; i < my_struct->arr_size; i++) {
        printf("%d ", my_struct->arr[i]);
    }
    
    // 释放内存：先释放内部数组，再释放结构体
    free(my_struct->arr);
    free(my_struct);
    return 0;
}

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