通过双指针out参数获取结构体指针的输出异常问题

根本原因：野指针访问栈内存（未定义行为） #

你遇到的问题核心是函数返回了栈上局部结构体的地址，这是C语言里典型的未定义行为：

• 函数内部的局部变量存在于栈帧中，函数返回后，该栈帧会被标记为可复用。
• 最初能正确显示值，只是因为栈帧还没被新操作覆盖，属于“侥幸”的未定义行为表现。
• 当你取消注释printf("%s", "\n")后，printf函数的调用会创建新的栈帧，直接覆盖了原来存放结构体的内存区域，导致之前的指针变成野指针，访问到被篡改的脏数据。

关于内存泄漏的疑问 #

你的代码不存在内存泄漏问题：

• 如果是栈上分配的结构体，函数返回后栈帧自动释放，不会泄漏；
• 内存泄漏只发生在**堆上分配的内存未被free**的场景，但你的问题根源和泄漏无关，是非法的栈内存访问。

正确实现方案 #

要确保无论是否调用printf都能得到正确结果，有两种可靠的写法：

方案1：调用者提前分配结构体，函数负责初始化 #

让调用者在栈或堆上分配结构体，函数仅通过双指针填充数据：

#include <stdio.h>

typedef struct {
    int a;
    int b;
} TestStruct;

// 初始化调用者传入的结构体
void init_test_struct(TestStruct **out) {
    if (out == NULL || *out == NULL) {
        return; // 避免空指针访问
    }
    (*out)->a = -1313;
    (*out)->b = -1414;
}

int main() {
    TestStruct var1; // 栈上分配结构体，生命周期覆盖整个main函数
    init_test_struct(&(&var1));
    
    printf("%d %d\n", var1.a, var1.b);
    printf("%s", "\n");
    printf("%d %d\n", var1.a, var1.b); // 始终正确
    
    return 0;
}

方案2：函数在堆上分配结构体，调用者负责释放 #

如果需要结构体生命周期不受函数栈帧限制，可在函数内用malloc分配堆内存，调用者使用完后必须free：

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

typedef struct {
    int a;
    int b;
} TestStruct;

// 堆上分配并初始化结构体
void create_test_struct(TestStruct **out) {
    if (out == NULL) {
        return;
    }
    *out = malloc(sizeof(TestStruct));
    if (*out == NULL) {
        perror("malloc failed");
        return;
    }
    (*out)->a = -1313;
    (*out)->b = -1414;
}

int main() {
    TestStruct *var1 = NULL;
    create_test_struct(&var1);
    
    if (var1 != NULL) {
        printf("%d %d\n", var1->a, var1->b);
        printf("%s", "\n");
        printf("%d %d\n", var1->a, var1->b); // 始终正确
        free(var1); // 释放堆内存，避免泄漏
    }
    
    return 0;
}

总结 #

• 问题和printf的用法无关，完全是非法访问已释放的栈内存导致的未定义行为；
• 两种方案都能确保结构体数据的有效性，无论后续是否调用其他函数；
• 如果采用堆分配的方案，记得在使用完结构体后调用free，避免内存泄漏。

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